PageRenderTime 8ms CodeModel.GetById 1ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/ace/example2.ace

http://github.com/tybor/Liberty
Unknown | 70 lines | 61 code | 9 blank | 0 comment | 0 complexity | 6e1894a0575114a8e309b01465fc36dd MD5 | raw file
 1-- To launch the compilation with this file, just type:
 2--
 3--               compile example2.ace
 4--
 5-- This second example contains more constructs and options available to ACE
 6-- files.
 7--
 8-- In this example, classes are compiled with different levels of assertions
 9-- checking.  Most "pure" Eiffel project should be handled this way.
10--
11-- Also note that the -verbose option flag is compatible with the ACE file
12-- mode, hence the following command is also allowed:
13--
14--               compile -verbose example2.ace
15--
16system
17      -- The name for the executable
18   "pyramid"
19
20root
21      -- To indicate that the execution will start in procedure `make' of class
22      -- PYRAMID
23   PYRAMID: make
24
25default
26   assertion (loop)
27      -- To select the default assertion level to be verified
28      -- Try to change this "loop" keyword for example.
29
30   collect (yes)
31      -- To include or to exclude the Garbage Collector
32      -- Yes or No is a valid answer here.
33
34cluster
35
36   demos_cluster: "${path_tutorial}"
37         -- The description of the first cluster starts with its name just
38         -- followed by the path of the directory
39         -- The ${path_tutorial} variable is set in the configuration file
40         -- (liberty.se)
41      end
42
43   standard : "${path_liberty_core}/string"
44         -- The string cluster
45      default
46          assertion (require)
47      option
48          assertion (ensure): STRING
49             -- To override the previously defined level for some classes of
50             -- this cluster
51      end
52
53   basic_io : "${path_liberty_core}/io/basic"
54         -- The basic io cluster
55      default
56          assertion (ensure)
57      option
58          assertion (require): STD_INPUT
59             -- To override the previously defined level for some classes of
60             -- this cluster
61      end
62
63   standard: "${path_liberty_core}/loadpath.se"
64         -- Liberty Eiffel's standard library. Always put this last so that you
65         -- can override options for parts of the library.
66      default
67          assertion (ensure)
68      end
69
70end