1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
-- To launch the compilation with this file, just type:
--
-- compile example2.ace
--
-- This second example contains more constructs and options of ACE files.
-- In this example, all classes are not compiled with the same level of
-- assertions checking.
-- Actually most "pure" Eiffel project should be handled this way.
-- Also note that the -verbose option flag is compatible with the
-- ACE file mode, hence the following command is also allowed:
--
-- compile -verbose example2.ace
--
system
pyramid -- is the name for the executable
root
PYRAMID: "make"
-- To indicate that the execution will start in procedure "make" of
-- class PYRAMID.
default -- The default section:
-- To select the default assertion level to be verified:
assertion (loop) -- Try to change this "loop" keyword for example.
-- To include or to exclude the Garbage Collector:
collect (yes) -- Yes or No is a valid answer here.
-- The default section is finished, the next keyword starts the
-- cluster section.
cluster
-- The description of the first cluster starts with its name
-- just folowed by the path of the directory:
demos_cluster: "${SmartEiffelDirectory}tutorial"
-- The ${SmartEiffelDirectory} variable is automatically
-- computed with the SmartEiffel directory value.
end
-- The kernel cluster:
standard : "${SmartEiffelDirectory}lib/kernel"
default
assertion (require)
option
-- To override the previously defined level
-- for some classes of this cluster:
assertion (ensure): STRING
end
-- The base cluster:
standard : "${SmartEiffelDirectory}lib/base"
default
assertion (require)
end
-- The io cluster:
standard : "${SmartEiffelDirectory}lib/io"
default
assertion (ensure)
option
-- To override the previously defined level
-- for some classes of this cluster:
assertion (require): STD_INPUT
end
end
|
