class ACE
Summary
Overview
exported features
file_path: STRING
writable attribute
Non Void when a ACE file is in use (keep in mind that one can stil launch a compilation without any ACE file, passing all the information using command arguments only).
executable_name: STRING
writable attribute
The name of the executable to build (after the "system" keyword in the ACE file or after the -o flag in the command line).
root_class_name: HASHED_STRING
effective function
The name of the root class using only upper case letters.
root_procedure_name: STRING
effective function
The name of the procedure which is actually the main program.
root_class_names: FAST_ARRAY[HASHED_STRING]
once function
All the class names given on the command line
boost1: BOOLEAN
constant attribute
boost2: BOOLEAN
constant attribute
boost3: BOOLEAN
constant attribute
boost: BOOLEAN
effective function
no_check: BOOLEAN
effective function
The system level value (see also {CLASS_TEXT}.no_check).
require_check: BOOLEAN
effective function
ensure_check: BOOLEAN
effective function
invariant_check: BOOLEAN
effective function
loop_check: BOOLEAN
effective function
all_check: BOOLEAN
effective function
flat_check: BOOLEAN
writable attribute
Each assertion will be executed in no_check mode
no_main: BOOLEAN
writable attribute
Don't include a main() in the generated executable.
safety_check: BOOLEAN
writable attribute
manifest_string_trace: BOOLEAN
writable attribute
high_memory_compiler: BOOLEAN
writable attribute
profile: BOOLEAN
writable attribute
Is the -profile flag used?
relax: BOOLEAN
writable attribute
Is the -relax flag used?
precompile_header: BOOLEAN
writable attribute
Is the -precompile_header flag used ?
sedb: BOOLEAN
effective function
The -sedb flag is used or some class of the ACE file is in trace mode.
jar: BOOLEAN
writable attribute
run: BOOLEAN
writable attribute
use_jar: STRING
writable attribute
use_jvm: STRING
writable attribute
java_compiler: STRING
writable attribute
ss: STRING
writable attribute
mx: STRING
writable attribute
ms: STRING
writable attribute
classpath: STRING
writable attribute
clean_classes: BOOLEAN
writable attribute
hard_clean: BOOLEAN
writable attribute
has (class_name: HASHED_STRING): BOOLEAN
effective function
cluster_count: INTEGER_32
effective function
cluster_at (i: INTEGER_32): CLUSTER
effective function
for_all (action: PROCEDURE[TUPLE 1[CLASS_TEXT]])
effective procedure
for_all_clusters (action: PROCEDURE[TUPLE 1[CLUSTER]])
effective procedure
loaded_class_count: INTEGER_32
effective function
level_name (level: INTEGER_32): STRING
effective function
level_not_computed: INTEGER_32
constant attribute
To memorize the fact that the assertion level is not yet known.
level_boost: INTEGER_32
constant attribute
The -boost hight speed level.
level_no: INTEGER_32
constant attribute
No assertion checking of any kind.
level_require: INTEGER_32
constant attribute
Evaluate the preconditions.
level_ensure: INTEGER_32
constant attribute
Also evaluate postconditions.
level_invariant: INTEGER_32
constant attribute
Also evaluate the class invariant on entry to and return from.
level_loop: INTEGER_32
constant attribute
Also evaluate the loop variant and the loop invariant.
level_all: INTEGER_32
constant attribute
Also evaluate the check instruction.