/test/language/ace/ace_002.ace

 1system
 2    "test_002.exe" -- is the name for the executable
 3
 4root
 5    TEST_002: main
 6    -- To indicate that the execution will start in procedure "make" of
 7    -- class PYRAMID.
 8
 9default -- The default section:
10
11   -- To select the default assertion level to be verified:
12   assertion (loop) -- Try to change this "loop" keyword for example.
13
14   -- To include or to exclude the Garbage Collector:
15   collect (yes) -- Yes or No is a valid answer here.
16
17-- The default section is finished, the next keyword starts the
18-- cluster section.
19cluster
20   "."
21   -- The description of the first cluster starts with its name
22   -- just folowed by the path of the directory:
23   demos_cluster: "${path_tutorial}"
24             -- The ${path_tutorial} variable is set in the
25             -- configuration file (.serc or system.se)
26      end
27
28   -- The string cluster:
29   standard : "${path_liberty_core}/string"
30      default
31          assertion (require)
32      option
33          -- To override the previously defined level
34          -- for some classes of this cluster:
35          assertion (ensure): STRING
36      end
37
38   -- The io basic cluster:
39   standard : "${path_liberty_core}/io/basic"
40      default
41          assertion (ensure)
42      option
43          -- To override the previously defined level
44          -- for some classes of this cluster:
45          assertion (require): STD_INPUT
46      end
47
48   -- SmartEiffel's standard library. Always put this last so
49   -- that you can override options for parts of the library.
50   standard: "${path_liberty_core}/loadpath.se"
51      default
52          assertion (ensure)
53      end
54
55end