class CLASS_TEXT
Summary
Class invariant
Overview
creation features
features
  • once_flag (mark: STRING): BOOLEAN
    Flag used to avoid double C definition of globals C variables for once routines.
  • is_launcher: BOOLEAN
    If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
Hard-coded class names:
The keywords section:
Most of them are message parts:
Some other names:
The known keys of the INI file:
writable attribute
To mangle the class (used to produce compact C code).
path: STRING
writable attribute
Access to the corresponding file (full file path).
cluster: CLUSTER
writable attribute
The cluster used to load the class (also gives acces to the directory path).
index_list: INDEX_LIST
writable attribute
For the indexing of the class.
heading_comment1: COMMENT
writable attribute
Comment before keyword class.
is_deferred: BOOLEAN
writable attribute
True if class itself is deferred or if at least one feature is deferred
is_expanded: BOOLEAN
writable attribute
True if class itself is expanded.
name: CLASS_NAME
writable attribute
The short name of the class (no cluster name included).
formal_generic_list: FORMAL_GENERIC_LIST
writable attribute
Formal generic args if any.
heading_comment2: COMMENT
writable attribute
Comment after class name.
obsolete_mark: MANIFEST_STRING
writable attribute
To warn user if any.
parent_lists: PARENT_LISTS
writable attribute
The contents of the inherit/insert lists if any.
creation_clause_list: CREATION_CLAUSE_LIST
writable attribute
Constructor list.
feature_clause_list: FEATURE_CLAUSE_LIST
writable attribute
Features.
class_invariant: CLASS_INVARIANT
writable attribute
If any, the class invariant.
end_comment: COMMENT
writable attribute
Comment after end of class.
sedb_trace: BOOLEAN
writable attribute
Is the -sedb run-time trace mechanism activated for the Current class?
no_check: BOOLEAN
effective function
Is Current in -no_check mode ?
require_check: BOOLEAN
effective function
Is Current in -require_check mode ?
ensure_check: BOOLEAN
effective function
Is Current in -ensure_check mode ?
invariant_check: BOOLEAN
effective function
Is Current in -invariant_check mode ?
loop_check: BOOLEAN
effective function
Is Current in -loop_check mode ?
all_check: BOOLEAN
effective function
Is Current in -all_check mode ?
has_creation_clause: BOOLEAN
effective function
is_generic: BOOLEAN
effective function
When class is defined with generic arguments.
proper_has (fn: FEATURE_NAME): BOOLEAN
effective function
True when fn is really written in current class.
proper_get (fn: FEATURE_NAME): ANONYMOUS_FEATURE
effective function
Returns the feature really written in current class if it exists.
proper_name_get (fn: FEATURE_NAME): FEATURE_NAME
effective function
Returns the feature name really written in current class.
get_export_permission_of (other: CLASS_TEXT): BOOLEAN
effective function
Do Current get permission of other to use some feature?
is_any: BOOLEAN
effective function
Is it the ANY class ?
hash_code: INTEGER_32
writable attribute
Actually, in order to speed up the compiler, this is a cache for value name.to_string.hash_code.
is_equal (other: CLASS_TEXT): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
pretty
effective procedure
accept (visitor: CLASS_TEXT_VISITOR)
effective procedure
Accept to be visited by the visitor.
declaration_type_of_like_current: TYPE
effective function
See also the comment of {TYPE_MARK}.declaration_type, because declaration_type_of_like_current is actually the implementation of declaration_type for the "like Current" type mark.
inherits_from (other: CLASS_TEXT): BOOLEAN
effective function
inserts (other: CLASS_TEXT): BOOLEAN
effective function
insert_inherit_test (other: CLASS_TEXT): INTEGER_8
effective function
Simple predicate (i.e. does not fill the error_handler).
obvious_resolve_static_binding (other: CLASS_TEXT, can_insert: BOOLEAN): BOOLEAN
effective function
Very common case which can avoid complex computations.
has_creation_check (procedure_name: FEATURE_NAME, call_site: POSITION): BOOLEAN
effective function
Check that the procedure_name is actually a creation procedure for Current.
set_heading_comment2 (hc: COMMENT)
effective procedure
extra_expanded_check (type: TYPE)
effective procedure
Performs extra check related to expanded type only.
user_expanded_default_create_stamp (type: TYPE): FEATURE_STAMP
effective function
Must be called after extra_expanded_check.
native_array_collector_memory: INTEGER_32
writable attribute
To cache is_native_array_collector_enabled computation.
is_native_array_collector_enabled: BOOLEAN
effective function
check_expanded_with_flag: TYPE
writable attribute
once_flag (mark: STRING): BOOLEAN
effective function
Flag used to avoid double C definition of globals C variables for once routines.
declaration_type_of_like_current_ (sp: POSITION): TYPE_MARK
effective function
Create a valid is_static one.
mapping_c_in (str: STRING)
effective procedure
set_name (new_name: STRING)
effective procedure
finish_create
effective procedure
Common part to finish all create procedure.
add_index_clause (index_clause: INDEX_CLAUSE)
effective procedure
add_creation_clause (cc: CREATION_CLAUSE)
effective procedure
add_feature_clause (fc: FEATURE_CLAUSE)
effective procedure
set_is_deferred
effective procedure
set_is_expanded
effective procedure
set_formal_generic_list (fgl: FORMAL_GENERIC_LIST)
effective procedure
set_heading_comment1 (hc: COMMENT)
effective procedure
set_end_comment (ec: COMMENT)
effective procedure
set_obsolete_mark (om: MANIFEST_STRING)
effective procedure
set_invariant (sp: POSITION, hc: COMMENT, al: FAST_ARRAY[ASSERTION])
effective procedure
create_parent_lists_using (inherit_hc: COMMENT, inherit_list: FAST_ARRAY[PARENT_EDGE], insert_hc: COMMENT, insert_list: FAST_ARRAY[PARENT_EDGE])
effective procedure
next_tuple: CLASS_TEXT
effective function
initialize_and_check_level_1
effective procedure
Called just after parsing to initialize and start checking.
check_level_2 (type: TYPE)
effective procedure
assertion_level_not_yet_computed: BOOLEAN
effective function
default_root_procedure_name: STRING
effective function
Return the default creation procedure name to be used as the root procedure (the execution entry point of the system).
root_creation_search (a_name: STRING): FEATURE_NAME
effective function
Check that a_name is actually member of some creation clause.
id_extra_information (tfw: TEXT_FILE_WRITE)
effective procedure
obsolete_warning_check (live_usage_site: POSITION)
effective procedure
has_simple_feature_name (sfn: STRING): BOOLEAN
effective function
Simple (and fast) look_up to see if one feature of name n exists here.
header_comment_for (ci: CLASS_INVARIANT)
effective procedure
effective function
Add fn / af as if it was written in Current (useful to create automatically generated features).
fatal_undefine (fn: FEATURE_NAME)
effective procedure
formal_generic_list_count_check (usage_position: POSITION, actual_list: ARRAY[TYPE_MARK])
effective procedure
To check that the number of elements in the actual_list is equal to the number of elements in the formal_generic_list (which may also be Void).
writable attribute
All features really defined in the current class.
any_copy_feature: ANONYMOUS_FEATURE
effective function
To get the original definition of feature copy from class ANY.
creation_list_check (type: TYPE)
effective procedure
declaration_type_of_like_current_memory: TYPE
writable attribute
To cache declaration_type value.
assertion_level: INTEGER_32
writable attribute
The one Current (mangled using ASSERTION_LEVEL_NUMBERING).
family_member: TYPE
writable attribute
once_mark_list: FAST_ARRAY[STRING]
writable attribute
When the tag is in the list, the corresponding routine does not use Current and C code is already written.
creation_list_check_done: BOOLEAN
writable attribute
See creation_list_check.
fn_buffer: FEATURE_NAME
once function
Dummy once name to avoid memory leaks.
error_vtec1
effective procedure
make (p: STRING, my_name: STRING, c: CLUSTER, i: INTEGER_16)
effective procedure
fatal_error_when_no_creation_clause
effective procedure
vdrd6 (lt: LIVE_TYPE, super: ANONYMOUS_FEATURE, redef: ANONYMOUS_FEATURE)
effective procedure
vdrd6_types: STRING
constant attribute
fatal_error_vdrd6 (super: ANONYMOUS_FEATURE, redef: ANONYMOUS_FEATURE, msg: STRING)
effective procedure
smart_eiffel: SMART_EIFFEL
frozen
once function
eiffel_parser: EIFFEL_PARSER
frozen
once function
ace: ACE
frozen
once function
ini_parser: INI_PARSER
frozen
once function
plugin_config: INI_PARSER
frozen
once function
error_handler: ERROR_HANDLER
frozen
once function
string_aliaser: STRING_ALIASER
frozen
once function
frozen
once function
pretty_printer: PRETTY_PRINTER
frozen
once function
jvm: JVM
frozen
once function
constant_pool: CONSTANT_POOL
frozen
once function
mini_buffer: MINI_BUFFER
frozen
once function
nb_errors: INTEGER_32
effective function
gc_handler: GC_HANDLER
frozen
once function
system_tools: SYSTEM_TOOLS
frozen
once function
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
install: INSTALL
frozen
effective function
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
jvm_tools: JVM_TOOLS
frozen
once function
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
is_launcher: BOOLEAN
effective function
If True, the clusters list will not be retrieved (it means that the tool is only used to start other tools; it does not load classes itself)
set_launcher
effective procedure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
install_memory: REFERENCE[INSTALL]
once function
parser_buffer: PARSER_BUFFER
frozen
once function
interface_info: INTERFACE_INFO
frozen
once function
id_provider: ID_PROVIDER
frozen
once function
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
agent_pool: AGENT_POOL
frozen
once function
cecil_pool: CECIL_POOL
frozen
effective function
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
set_cecil_pool
frozen
once procedure
address_of_pool: ADDRESS_OF_POOL
frozen
once function
short_printer: SHORT_PRINTER
frozen
once function
echo: ECHO
frozen
once function
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
switch_collection: SWITCH_COLLECTION
frozen
once function
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
classfile_attribute: CLASSFILE_ATTRIBUTE
frozen
once function
line_number_table: LINE_NUMBER_TABLE
frozen
once function
field_info: FIELD_INFO
frozen
once function
code_attribute: CODE_ATTRIBUTE
frozen
once function
method_info: METHOD_INFO
frozen
once function
nb_warnings: INTEGER_32
effective function
tmp_path: STRING
once function
tmp_file_read: TEXT_FILE_READ
once function
class_any: CLASS_TEXT
once function
omitted_client_list: CLIENT_LIST
frozen
once function
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
any_default_rescue_fs: FEATURE_STAMP
once function
any_copy_fs: FEATURE_STAMP
once function
any_deep_twin_fs: FEATURE_STAMP
once function
any_is_deep_equal_fs: FEATURE_STAMP
once function
boolean_and_then_fs: FEATURE_STAMP
once function
manifest_make_name: HASHED_STRING
once function
manifest_put_name: HASHED_STRING
once function
manifest_semicolon_check_name: HASHED_STRING
once function
manifest_initialize_name: HASHED_STRING
once function
calloc_name: HASHED_STRING
once function
put_name: HASHED_STRING
once function
item_name: HASHED_STRING
once function
make_name: HASHED_STRING
once function
count_name: HASHED_STRING
once function
storage_name: HASHED_STRING
once function
capacity_name: HASHED_STRING
once function
mark_item_name: HASHED_STRING
once function
mark_native_arrays_name: HASHED_STRING
once function
and_then_name: HASHED_STRING
once function
or_else_name: HASHED_STRING
once function
twin_name: HASHED_STRING
once function
copy_name: HASHED_STRING
once function
deep_twin_name: HASHED_STRING
once function
deep_twin_from_name: HASHED_STRING
once function
is_deep_equal_name: HASHED_STRING
once function
deep_memcmp_name: HASHED_STRING
once function
se_atexit_name: HASHED_STRING
once function
default_rescue_name: HASHED_STRING
once function
default_create_name: HASHED_STRING
once function
flush_name: HASHED_STRING
once function
clear_all_name: HASHED_STRING
once function
from_pointer_name: HASHED_STRING
once function
no_errors: BOOLEAN
effective function
character_coding (c: CHARACTER, str: STRING)
effective procedure
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
eiffel_suffix: STRING
constant attribute
Eiffel Source file suffix.
c_suffix: STRING
constant attribute
C files suffix.
h_suffix: STRING
constant attribute
Heading C files suffix.
c_plus_plus_suffix: STRING
constant attribute
C++ files suffix.
backup_suffix: STRING
constant attribute
Backup suffix for command pretty.
class_suffix: STRING
constant attribute
dot_precedence: INTEGER_32
constant attribute
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
constant attribute
Used for atomic elements.
jvm_root_class: STRING
once function
Fully qualified name for the jvm SmartEiffel object's added root : "<Package>/_any".
jvm_root_descriptor: STRING
once function
Descriptor for jvm_root_class: "L<jvm_root_class>;"
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
is_install: BOOLEAN
effective function
unrelated_code: INTEGER_8
constant attribute
inserts_code: INTEGER_8
constant attribute
inherits_code: INTEGER_8
constant attribute
as_any: STRING
constant attribute
as_array: STRING
constant attribute
as_boolean: STRING
constant attribute
as_character: STRING
constant attribute
as_disposable: STRING
constant attribute
as_exceptions: STRING
constant attribute
as_for_object: STRING
constant attribute
as_force_to_integer_16: STRING
constant attribute
as_force_to_integer_32: STRING
constant attribute
as_force_to_integer_64: STRING
constant attribute
as_force_to_real_32: STRING
constant attribute
as_force_to_real_64: STRING
constant attribute
as_fixed_array: STRING
constant attribute
as_function: STRING
constant attribute
as_integer_general: STRING
constant attribute
as_integer_8: STRING
constant attribute
as_integer_16: STRING
constant attribute
as_integer_32: STRING
constant attribute
as_integer: STRING
constant attribute
as_integer_64: STRING
constant attribute
as_internals: STRING
constant attribute
as_internals_handler: STRING
constant attribute
as_native_array: STRING
constant attribute
as_native_array_collector: STRING
constant attribute
as_native_array_internals: STRING
constant attribute
as_pointer: STRING
constant attribute
as_predicate: STRING
constant attribute
as_procedure: STRING
constant attribute
as_real_general: STRING
constant attribute
as_real_32: STRING
constant attribute
as_real: STRING
constant attribute
as_real_64: STRING
constant attribute
as_real_80: STRING
constant attribute
as_real_128: STRING
constant attribute
as_real_extended: STRING
constant attribute
as_routine: STRING
constant attribute
as_set: STRING
constant attribute
as_string: STRING
constant attribute
as_text_file_read: STRING
constant attribute
as_text_file_write: STRING
constant attribute
as_tuple: STRING
constant attribute
as_type: STRING
constant attribute
as_typed_internals: STRING
constant attribute
as_unicode_string: STRING
constant attribute
as_weak_reference: STRING
constant attribute
Operator/Infix/Prefix list:
as_and: STRING
constant attribute
as_and_then: STRING
constant attribute
as_at: STRING
constant attribute
as_backslash_backslash: STRING
constant attribute
as_bit_and: STRING
constant attribute
as_bit_clear: STRING
constant attribute
as_bit_not: STRING
constant attribute
as_bit_or: STRING
constant attribute
as_bit_put: STRING
constant attribute
as_bit_rotate: STRING
constant attribute
as_bit_rotate_left: STRING
constant attribute
as_bit_rotate_right: STRING
constant attribute
as_bit_set: STRING
constant attribute
as_bit_shift_right_unsigned: STRING
constant attribute
as_bit_xor: STRING
constant attribute
as_eq: STRING
constant attribute
as_ge: STRING
constant attribute
as_gt: STRING
constant attribute
as_implies: STRING
constant attribute
as_le: STRING
constant attribute
as_lt: STRING
constant attribute
as_minus: STRING
constant attribute
as_muls: STRING
constant attribute
as_neq: STRING
constant attribute
as_not: STRING
constant attribute
as_or: STRING
constant attribute
as_or_else: STRING
constant attribute
as_plus: STRING
constant attribute
as_pow: STRING
constant attribute
as_sharp_backslash_backslash: STRING
constant attribute
as_sharp_minus: STRING
constant attribute
as_sharp_muls: STRING
constant attribute
as_sharp_plus: STRING
constant attribute
as_sharp_slash_slash: STRING
constant attribute
as_shift_left: STRING
constant attribute
as_shift_right: STRING
constant attribute
as_slash: STRING
constant attribute
as_slash_slash: STRING
constant attribute
as_xor: STRING
constant attribute
Hard coded feature names:
as_a1: STRING
constant attribute
as_add_last: STRING
constant attribute
as_agent: STRING
constant attribute
as_as_16_ne: STRING
constant attribute
as_as_32_ne: STRING
constant attribute
as_atan2: STRING
constant attribute
as_blank: STRING
constant attribute
as_boolean_bits: STRING
constant attribute
as_call: STRING
constant attribute
as_calloc: STRING
constant attribute
as_capacity: STRING
constant attribute
as_ceiling: STRING
constant attribute
as_character_bits: STRING
constant attribute
as_clear_all: STRING
constant attribute
as_count: STRING
constant attribute
as_code: STRING
constant attribute
as_collecting: STRING
constant attribute
as_collection_off: STRING
constant attribute
as_collection_on: STRING
constant attribute
as_collector_counter: STRING
constant attribute
as_copy: STRING
constant attribute
as_c_inline_c: STRING
constant attribute
as_c_inline_h: STRING
constant attribute
as_default_create: STRING
constant attribute
as_default_rescue: STRING
constant attribute
as_deep_memcmp: STRING
constant attribute
as_deep_twin: STRING
constant attribute
as_deep_twin_from: STRING
constant attribute
as_dispose: STRING
constant attribute
as_die_with_code: STRING
constant attribute
as_element_sizeof: STRING
constant attribute
as_exception: STRING
constant attribute
as_type_can_be_assigned_to_attribute: STRING
constant attribute
as_type_can_be_assigned_to_item: STRING
constant attribute
as_type_attribute_count: STRING
constant attribute
as_type_attribute_generator: STRING
constant attribute
as_type_attribute_generating_type: STRING
constant attribute
as_type_attribute_is_expanded: STRING
constant attribute
as_type_attribute_name: STRING
constant attribute
as_fifth: STRING
constant attribute
as_first: STRING
constant attribute
as_floor: STRING
constant attribute
as_flush: STRING
constant attribute
as_fourth: STRING
constant attribute
as_from_pointer: STRING
constant attribute
as_full_collect: STRING
constant attribute
as_generating_type: STRING
constant attribute
as_generator: STRING
constant attribute
as_io: STRING
constant attribute
as_integer_bits: STRING
constant attribute
as_internals_from_generating_type: STRING
constant attribute
as_is_basic_expanded_type: STRING
constant attribute
as_is_deep_equal: STRING
constant attribute
as_is_equal: STRING
constant attribute
as_is_infinity: STRING
constant attribute
as_is_normal: STRING
constant attribute
as_is_not_a_number: STRING
constant attribute
as_is_not_null: STRING
constant attribute
as_is_subnormal: STRING
constant attribute
as_item: STRING
constant attribute
as_last: STRING
constant attribute
as_lower: STRING
constant attribute
as_low_8: STRING
constant attribute
as_low_16: STRING
constant attribute
as_low_32: STRING
constant attribute
as_native_array_internals_from_generating_type: STRING
constant attribute
as_make: STRING
constant attribute
as_make_blank: STRING
constant attribute
as_mark_item: STRING
constant attribute
as_mark_native_arrays: STRING
constant attribute
as_minimum_character_code: STRING
constant attribute
as_minimum_double: STRING
constant attribute
as_minimum_real: STRING
constant attribute
as_manifest_creation: STRING
constant attribute
as_manifest_initialize: STRING
constant attribute
as_manifest_make: STRING
constant attribute
as_manifest_put: STRING
constant attribute
as_manifest_semicolon_check: STRING
constant attribute
as_maximum_character_code: STRING
constant attribute
as_maximum_double: STRING
constant attribute
as_maximum_real: STRING
constant attribute
as_object_as_pointer: STRING
constant attribute
as_object_attribute: STRING
constant attribute
as_object_invariant: STRING
constant attribute
as_object_memory: STRING
constant attribute
as_object_size: STRING
constant attribute
as_pointer_bits: STRING
constant attribute
as_pow_postfix: STRING
constant attribute
as_print: STRING
constant attribute
as_print_on: STRING
constant attribute
as_print_run_time_stack: STRING
constant attribute
as_print_all_run_time_stacks: STRING
constant attribute
as_put: STRING
constant attribute
as_put_0: STRING
constant attribute
as_put_1: STRING
constant attribute
as_put_16_be: STRING
constant attribute
as_put_16_le: STRING
constant attribute
as_put_16_ne: STRING
constant attribute
as_put_32_be: STRING
constant attribute
as_put_32_le: STRING
constant attribute
as_put_32_ne: STRING
constant attribute
as_raise_exception: STRING
constant attribute
as_real_bits: STRING
constant attribute
as_realloc: STRING
constant attribute
as_rounded: STRING
constant attribute
as_same_dynamic_type: STRING
constant attribute
as_second: STRING
constant attribute
as_se_argc: STRING
constant attribute
as_se_argv: STRING
constant attribute
as_se_atexit: STRING
constant attribute
as_sedb_breakpoint: STRING
constant attribute
as_set_object_attribute: STRING
constant attribute
as_signal_number: STRING
constant attribute
as_standard_copy: STRING
constant attribute
as_standard_is_equal: STRING
constant attribute
as_standard_twin: STRING
constant attribute
as_std_error: STRING
constant attribute
as_std_input: STRING
constant attribute
as_std_output: STRING
constant attribute
as_stderr: STRING
constant attribute
as_stdin: STRING
constant attribute
as_stdout: STRING
constant attribute
as_storage: STRING
constant attribute
as_third: STRING
constant attribute
as_to_character: STRING
constant attribute
as_to_integer_8: STRING
constant attribute
as_to_integer_16: STRING
constant attribute
as_to_integer_32: STRING
constant attribute
as_to_internals: STRING
constant attribute
as_to_pointer: STRING
constant attribute
as_trace_switch: STRING
constant attribute
as_twin: STRING
constant attribute
as_type_generating_type: STRING
constant attribute
as_type_generator: STRING
constant attribute
as_type_is_expanded: STRING
constant attribute
as_type_item_generating_type: STRING
constant attribute
as_type_item_generator: STRING
constant attribute
as_type_item_is_expanded: STRING
constant attribute
as_upper: STRING
constant attribute
as_valid_generating_type_for_internals: STRING
constant attribute
as_valid_generating_type_for_native_array_internals: STRING
constant attribute
as_with_capacity: STRING
constant attribute
Other names:
as_arguments: STRING
constant attribute
as_current: STRING
constant attribute
as_native_array_character: STRING
constant attribute
as_last_result: STRING
constant attribute
as_like_current: STRING
constant attribute
as_method: STRING
constant attribute
as_open_arguments: STRING
constant attribute
as_open_argument_indices: STRING
constant attribute
as_open_argument_index: STRING
constant attribute
as_open_argument_count: STRING
constant attribute
as_precursor: STRING
constant attribute
as_result: STRING
constant attribute
as_target: STRING
constant attribute
as_void: STRING
constant attribute
fz_adapt: STRING
constant attribute
fz_alias: STRING
constant attribute
fz_all: STRING
constant attribute
fz_as: STRING
constant attribute
fz_assertion: STRING
constant attribute
fz_assertion_flat_check: STRING
constant attribute
fz_begin_c_compile: STRING
constant attribute
fz_boost: STRING
constant attribute
fz_check: STRING
constant attribute
fz_class: STRING
constant attribute
fz_cluster: STRING
constant attribute
fz_create: STRING
constant attribute
fz_creation: STRING
constant attribute
fz_debug: STRING
constant attribute
fz_default: STRING
constant attribute
fz_deferred: STRING
constant attribute
fz_do: STRING
constant attribute
fz_else: STRING
constant attribute
fz_elseif: STRING
constant attribute
fz_end: STRING
constant attribute
fz_end_c_compile: STRING
constant attribute
fz_ensure: STRING
constant attribute
fz_exclude: STRING
constant attribute
fz_expanded: STRING
constant attribute
fz_export: STRING
constant attribute
fz_external: STRING
constant attribute
fz_false: STRING
constant attribute
fz_feature: STRING
constant attribute
fz_from: STRING
constant attribute
fz_frozen: STRING
constant attribute
fz_generate: STRING
constant attribute
fz_if: STRING
constant attribute
fz_include: STRING
constant attribute
fz_indexing: STRING
constant attribute
fz_infix: STRING
constant attribute
fz_inherit: STRING
constant attribute
fz_insert: STRING
constant attribute
fz_inline: STRING
constant attribute
fz_inspect: STRING
constant attribute
fz_invariant: STRING
constant attribute
fz_is: STRING
constant attribute
fz_like: STRING
constant attribute
fz_local: STRING
constant attribute
fz_loop: STRING
constant attribute
fz_no: STRING
constant attribute
fz_obsolete: STRING
constant attribute
fz_old: STRING
constant attribute
fz_once: STRING
constant attribute
fz_option: STRING
constant attribute
fz_prefix: STRING
constant attribute
fz_redefine: STRING
constant attribute
fz_rename: STRING
constant attribute
fz_require: STRING
constant attribute
fz_rescue: STRING
constant attribute
fz_retry: STRING
constant attribute
fz_runtime: STRING
constant attribute
fz_separate: STRING
constant attribute
fz_reference: STRING
constant attribute
fz_then: STRING
constant attribute
fz_trace: STRING
constant attribute
fz_true: STRING
constant attribute
fz_undefine: STRING
constant attribute
fz_unique: STRING
constant attribute
fz_until: STRING
constant attribute
fz_use: STRING
constant attribute
fz_variant: STRING
constant attribute
fz_when: STRING
constant attribute
fz_yes: STRING
constant attribute
fz_cad: STRING
constant attribute
fz_dtideena: STRING
constant attribute
fz_error_stars: STRING
constant attribute
fz_jvm_error: STRING
constant attribute
fz_vuar4: STRING
constant attribute
fz_bin: STRING
constant attribute
fz_c_shift_left: STRING
constant attribute
fz_c_shift_right: STRING
constant attribute
fz_install: STRING
constant attribute
fz_jobs: STRING
constant attribute
fz_no_check: STRING
constant attribute
fz_none: STRING
constant attribute
fz_smarteiffel: STRING
constant attribute
fz_seconf: STRING
constant attribute
the environment name pointing on the config file
fz_se_runtime: STRING
constant attribute
fz_system_se: STRING
constant attribute
fz_section_java: STRING
constant attribute
fz_section_java_jar: STRING
constant attribute
fz_section_java_jvm: STRING
constant attribute
fz_section_java_java_compiler: STRING
constant attribute
fz_section_java_classpath: STRING
constant attribute
fz_conf_general: STRING
constant attribute
fz_conf_loadpath: STRING
constant attribute
fz_conf_environment: STRING
constant attribute
since version 2
fz_conf_se_tools: STRING
constant attribute
since version 3
fz_conf_java: STRING
constant attribute
since version 3
fz_conf_bin: STRING
constant attribute
fz_conf_lib: STRING
constant attribute
fz_conf_sys: STRING
constant attribute
fz_conf_short: STRING
constant attribute
fz_conf_tools: STRING
constant attribute
fz_conf_os: STRING
constant attribute
fz_conf_flavor: STRING
constant attribute
fz_conf_jobs: STRING
constant attribute
fz_conf_boost: STRING
constant attribute
fz_conf_no_check: STRING
constant attribute
fz_conf_require_check: STRING
constant attribute
fz_conf_ensure_check: STRING
constant attribute
fz_conf_invariant_check: STRING
constant attribute
fz_conf_loop_check: STRING
constant attribute
fz_conf_all_check: STRING
constant attribute
fz_conf_debug_check: STRING
constant attribute
fz_conf_flat_check: STRING
constant attribute
fz_conf_smarteiffel_options: STRING
constant attribute
fz_conf_undefined: STRING
constant attribute
fz_conf_tag: STRING
constant attribute
fz_conf_compiler_type: STRING
constant attribute
fz_conf_compiler_path: STRING
constant attribute
fz_conf_linker_path: STRING
constant attribute
fz_conf_strip_path: STRING
constant attribute
fz_conf_compiler_options: STRING
constant attribute
fz_conf_linker_options: STRING
constant attribute
fz_conf_cpp_compiler_type: STRING
constant attribute
fz_conf_cpp_compiler_path: STRING
constant attribute
fz_conf_cpp_compiler_options: STRING
constant attribute
fz_conf_cpp_linker_path: STRING
constant attribute
fz_conf_cpp_strip_path: STRING
constant attribute
fz_conf_cpp_linker_options: STRING
constant attribute
fz_conf_java_jar_binary: STRING
constant attribute
fz_conf_java_jvm_binary: STRING
constant attribute
fz_conf_java_java_compiler: STRING
constant attribute
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.