+
Point of view
All features
class X_GET_TEXT
Summary
Overview
creation features
features
  • 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:
Context stacks:
  • command_line_name: STRING
    Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
Implementation of ARGUMENTS (do not use directly):
Most of them are command flag names:
make
effective procedure
parse_arguments
effective procedure
You can use flag_match and the like (many features are predefined to help parsing)
Be sure, also, to correctly define is_valid_argument_for_ace_mode if some arguments must be used in ACE file mode.
is_valid_argument_for_ace_mode (arg: STRING): BOOLEAN
effective function
Is the arg command line argument allowed in ACE file mode ?
compile
effective procedure
The real output is done here
valid_argument_for_ace_mode: STRING
constant attribute
An explanation to be given to the user when the call to is_valid_argument_for_ace_mode returns False.
use_short_mode: BOOLEAN
constant attribute
The "compilation" mode of the compiler is maybe too strict.
usage: STRING
constant attribute
The traditional "-help" flag summary of information about available options.
find_get_text_seeds
effective procedure
find_get_text_stamps
effective procedure
get_text_class: CLASS_TEXT
writable attribute
writable attribute
do_compile
effective procedure
print_info (output: OUTPUT_STREAM)
effective procedure
visit_feature_stamp (visited: FEATURE_STAMP)
effective procedure
fz_found_at: STRING
constant attribute
fz_found_as: STRING
constant attribute
fz_not_found: STRING
constant attribute
fz_get_text_class: STRING
constant attribute
fz_number_get_text_class: STRING
constant attribute
fz_get_text: STRING
constant attribute
fz_number_get_text: STRING
constant attribute
new_echo: NEW_ECHO
once function
visit_class_text (visited: CLASS_TEXT)
effective procedure
exit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
current_type: TYPE
writable attribute
current_routine_stamp: FEATURE_STAMP
writable attribute
visit_call_support (visited: CALL_SUPPORT)
effective procedure
writable attribute
enter_class_text (visited: CLASS_TEXT): BOOLEAN
effective function
exit_class_text (visited: CLASS_TEXT)
effective procedure
visitting_class_texts: SET[CLASS_TEXT]
once function
visit_parent_lists (visited: PARENT_LISTS)
effective procedure
enter_parent_lists (visited: PARENT_LISTS): BOOLEAN
effective function
exit_parent_lists (visited: PARENT_LISTS)
effective procedure
visit_parent_edge (visited: PARENT_EDGE)
effective procedure
enter_parent_edge (visited: PARENT_EDGE): BOOLEAN
effective function
exit_parent_edge (visited: PARENT_EDGE)
effective procedure
visit_rename_list (visited: RENAME_LIST)
effective procedure
enter_rename_list (visited: RENAME_LIST): BOOLEAN
effective function
exit_rename_list (visited: RENAME_LIST)
effective procedure
visit_rename_pair (visited: RENAME_PAIR)
effective procedure
enter_rename_pair (visited: RENAME_PAIR): BOOLEAN
effective function
exit_rename_pair (visited: RENAME_PAIR)
effective procedure
visit_export_list (visited: EXPORT_LIST)
effective procedure
enter_export_list (visited: EXPORT_LIST): BOOLEAN
effective function
exit_export_list (visited: EXPORT_LIST)
effective procedure
visit_export_item (visited: EXPORT_ITEM)
effective procedure
enter_export_item (visited: EXPORT_ITEM): BOOLEAN
effective function
exit_export_item (visited: EXPORT_ITEM)
effective procedure
visit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
enter_feature_clause_list (visited: FEATURE_CLAUSE_LIST): BOOLEAN
effective function
exit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
visit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
enter_feature_clause (visited: FEATURE_CLAUSE): BOOLEAN
effective function
exit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
visit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
enter_creation_clause_list (visited: CREATION_CLAUSE_LIST): BOOLEAN
effective function
exit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
visit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
enter_creation_clause (visited: CREATION_CLAUSE): BOOLEAN
effective function
exit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
visit_client_list (visited: CLIENT_LIST)
effective procedure
enter_client_list (visited: CLIENT_LIST): BOOLEAN
effective function
exit_client_list (visited: CLIENT_LIST)
effective procedure
visit_class_name_list (visited: CLASS_NAME_LIST)
effective procedure
enter_class_name_list (visited: CLASS_NAME_LIST): BOOLEAN
effective function
exit_class_name_list (visited: CLASS_NAME_LIST)
effective procedure
visit_class_name (visited: CLASS_NAME)
effective procedure
visit_feature_text (visited: FEATURE_TEXT)
effective procedure
enter_feature_text (visited: FEATURE_TEXT): BOOLEAN
effective function
exit_feature_text (visited: FEATURE_TEXT)
effective procedure
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
enter_formal_arg_list (visited: FORMAL_ARG_LIST): BOOLEAN
effective function
exit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
visit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
enter_local_var_list (visited: LOCAL_VAR_LIST): BOOLEAN
effective function
exit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
visit_local_name1 (visited: LOCAL_NAME1)
effective procedure
visit_argument_name1 (visited: ARGUMENT_NAME1)
effective procedure
visit_local_name2 (visited: LOCAL_NAME2)
effective procedure
visit_argument_name2 (visited: ARGUMENT_NAME2)
effective procedure
visit_internal_local (visited: INTERNAL_LOCAL)
effective procedure
visitting_types: SET[TYPE]
once function
visit_type (visited: TYPE)
effective procedure
enter_type (visited: TYPE): BOOLEAN
effective function
exit_type (visited: TYPE)
effective procedure
visit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
enter_class_type_mark (visited: CLASS_TYPE_MARK): BOOLEAN
effective function
exit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
enter_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK): BOOLEAN
effective function
exit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
enter_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK): BOOLEAN
effective function
exit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
effective procedure
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
enter_agent_type_mark (visited: AGENT_TYPE_MARK): BOOLEAN
effective function
exit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
visit_any_type_mark (visited: ANY_TYPE_MARK)
effective procedure
visit_string_type_mark (visited: STRING_TYPE_MARK)
effective procedure
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
effective procedure
visit_generic_type_mark (visited: TYPE_MARK)
effective procedure
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
enter_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK): BOOLEAN
effective function
exit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
effective procedure
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
enter_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK): BOOLEAN
effective function
exit_non_empty_tupe_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
enter_array_type_mark (visited: ARRAY_TYPE_MARK): BOOLEAN
effective function
exit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
enter_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK): BOOLEAN
effective function
exit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
effective procedure
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
effective procedure
visit_real_type_mark (visited: REAL_TYPE_MARK)
effective procedure
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
effective procedure
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
effective procedure
visit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
enter_writable_attribute (visited: WRITABLE_ATTRIBUTE): BOOLEAN
effective function
exit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
visit_cst_att_real (visited: CST_ATT_REAL)
effective procedure
visit_cst_att_integer (visited: CST_ATT_INTEGER)
effective procedure
visit_cst_att_boolean (visited: CST_ATT_BOOLEAN)
effective procedure
visit_cst_att_unique (visited: CST_ATT_UNIQUE)
effective procedure
visit_cst_att_string (visited: CST_ATT_STRING)
effective procedure
visit_cst_att_character (visited: CST_ATT_CHARACTER)
effective procedure
visitting_anonymous_features: HASHED_SET[POINTER]
once function
visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
do_visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
visitting_effective_routines: HASHED_SET[POINTER]
once function
visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
do_visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
visit_void_call (visited: VOID_CALL)
effective procedure
visit_void_proc_call (visited: VOID_PROC_CALL)
effective procedure
visit_non_void_no_dispatch (visited: NON_VOID_NO_DISPATCH)
effective procedure
visit_null_pointer (visited: NULL_POINTER)
effective procedure
visit_e_function (visited: E_FUNCTION)
effective procedure
enter_e_function (visited: E_FUNCTION): BOOLEAN
effective function
exit_e_function (visited: E_FUNCTION)
effective procedure
visit_e_procedure (visited: E_PROCEDURE)
effective procedure
enter_e_procedure (visited: E_PROCEDURE): BOOLEAN
effective function
exit_e_procedure (visited: E_PROCEDURE)
effective procedure
visit_once_function (visited: ONCE_FUNCTION)
effective procedure
enter_once_function (visited: ONCE_FUNCTION): BOOLEAN
effective function
exit_once_function (visited: ONCE_FUNCTION)
effective procedure
visit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
enter_once_procedure (visited: ONCE_PROCEDURE): BOOLEAN
effective function
exit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
visit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
enter_external_function (visited: EXTERNAL_FUNCTION): BOOLEAN
effective function
exit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
visit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
enter_external_procedure (visited: EXTERNAL_PROCEDURE): BOOLEAN
effective function
exit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
visit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
enter_deferred_function (visited: DEFERRED_FUNCTION): BOOLEAN
effective function
exit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
visit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
enter_deferred_procedure (visited: DEFERRED_PROCEDURE): BOOLEAN
effective function
exit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
visit_assertion_list (visited: ASSERTION_LIST)
effective procedure
visit_e_require (visited: E_REQUIRE)
effective procedure
enter_e_require (visited: E_REQUIRE): BOOLEAN
effective function
exit_e_require (visited: E_REQUIRE)
effective procedure
visit_require_item (visited: REQUIRE_ITEM)
effective procedure
enter_require_item (visited: REQUIRE_ITEM): BOOLEAN
effective function
exit_require_item (visited: REQUIRE_ITEM)
effective procedure
visit_e_ensure (visited: E_ENSURE)
effective procedure
enter_e_ensure (visited: E_ENSURE): BOOLEAN
effective function
exit_e_ensure (visited: E_ENSURE)
effective procedure
visit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
enter_class_invariant (visited: CLASS_INVARIANT): BOOLEAN
effective function
exit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
visit_check_invariant (visited: CHECK_INVARIANT)
effective procedure
enter_check_invariant (visited: CHECK_INVARIANT): BOOLEAN
effective function
exit_check_invariant (visited: CHECK_INVARIANT)
effective procedure
visit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
enter_loop_invariant (visited: LOOP_INVARIANT): BOOLEAN
effective function
exit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
visit_assertion (visited: ASSERTION)
effective procedure
enter_assertion (visited: ASSERTION): BOOLEAN
effective function
exit_assertion (visited: ASSERTION)
effective procedure
visit_feature_name (visited: FEATURE_NAME)
effective procedure
visit_fake_target (visited: FAKE_TARGET)
effective procedure
visit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
enter_create_expression (visited: CREATE_EXPRESSION): BOOLEAN
effective function
exit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
visit_abstract_current (visited: ABSTRACT_CURRENT)
effective procedure
visit_create_writable (visited: CREATE_WRITABLE)
effective procedure
enter_create_writable (visited: CREATE_WRITABLE): BOOLEAN
effective function
exit_create_writable (visited: CREATE_WRITABLE)
effective procedure
visit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
enter_precursor_expression (visited: PRECURSOR_EXPRESSION): BOOLEAN
effective function
visit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
enter_manifest_generic (visited: MANIFEST_GENERIC): BOOLEAN
effective function
exit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
visit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
enter_old_manifest_array (visited: OLD_MANIFEST_ARRAY): BOOLEAN
effective function
exit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
visit_e_void (visited: E_VOID)
effective procedure
visit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
enter_fake_argument (visited: FAKE_ARGUMENT): BOOLEAN
effective function
exit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
visit_character_constant (visited: CHARACTER_CONSTANT)
effective procedure
visit_real_constant (visited: REAL_CONSTANT)
effective procedure
visit_integer_constant (visited: INTEGER_CONSTANT)
effective procedure
visit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
enter_feature_name_list (visited: FEATURE_NAME_LIST): BOOLEAN
effective function
exit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
visit_open_operand (visited: OPEN_OPERAND)
effective procedure
visit_address_of (visited: ADDRESS_OF)
effective procedure
enter_address_of (visited: ADDRESS_OF): BOOLEAN
effective function
exit_address_of (visited: ADDRESS_OF)
effective procedure
visit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
enter_effective_arg_list (visited: EFFECTIVE_ARG_LIST): BOOLEAN
effective function
exit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
visit_call_0_c (visited: CALL_0_C)
effective procedure
enter_call_0_c (visited: CALL_0_C): BOOLEAN
effective function
exit_call_0_c (visited: CALL_0_C)
effective procedure
visit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
enter_static_call_0_c (visited: STATIC_CALL_0_C): BOOLEAN
effective function
exit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
visit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
enter_call_prefix_not (visited: CALL_PREFIX_NOT): BOOLEAN
effective function
exit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
visit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
enter_call_prefix_minus (visited: CALL_PREFIX_MINUS): BOOLEAN
effective function
exit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
visit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
enter_call_prefix_freeop (visited: CALL_PREFIX_FREEOP): BOOLEAN
effective function
exit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
visit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
enter_call_prefix_plus (visited: CALL_PREFIX_PLUS): BOOLEAN
effective function
exit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
visit_call_1_c (visited: CALL_1_C)
effective procedure
enter_call_1_c (visited: CALL_1_C): BOOLEAN
effective function
exit_call_1_c (visited: CALL_1_C)
effective procedure
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
enter_call_infix_and_then (visited: CALL_INFIX_AND_THEN): BOOLEAN
effective function
exit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
enter_call_infix_minus (visited: CALL_INFIX_MINUS): BOOLEAN
effective function
exit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
visit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
enter_call_infix_times (visited: CALL_INFIX_TIMES): BOOLEAN
effective function
exit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
enter_call_infix_int_rem (visited: CALL_INFIX_INT_REM): BOOLEAN
effective function
exit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
visit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
enter_call_infix_or (visited: CALL_INFIX_OR): BOOLEAN
effective function
exit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
visit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
enter_call_infix_gt (visited: CALL_INFIX_GT): BOOLEAN
effective function
exit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
visit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
enter_call_infix_lt (visited: CALL_INFIX_LT): BOOLEAN
effective function
exit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
enter_call_infix_plus (visited: CALL_INFIX_PLUS): BOOLEAN
effective function
exit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
enter_call_infix_int_div (visited: CALL_INFIX_INT_DIV): BOOLEAN
effective function
exit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
visit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
enter_call_infix_xor (visited: CALL_INFIX_XOR): BOOLEAN
effective function
exit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
visit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
enter_call_infix_power (visited: CALL_INFIX_POWER): BOOLEAN
effective function
exit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
visit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
enter_call_infix_div (visited: CALL_INFIX_DIV): BOOLEAN
effective function
exit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
enter_call_infix_or_else (visited: CALL_INFIX_OR_ELSE): BOOLEAN
effective function
exit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
enter_call_infix_implies (visited: CALL_INFIX_IMPLIES): BOOLEAN
effective function
exit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
visit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
enter_call_infix_le (visited: CALL_INFIX_LE): BOOLEAN
effective function
exit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
enter_call_infix_freeop (visited: CALL_INFIX_FREEOP): BOOLEAN
effective function
exit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
visit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
enter_call_infix_and (visited: CALL_INFIX_AND): BOOLEAN
effective function
exit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
visit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
enter_call_infix_ge (visited: CALL_INFIX_GE): BOOLEAN
effective function
exit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
visit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
enter_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ): BOOLEAN
effective function
exit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
visit_call_n (visited: CALL_N)
effective procedure
enter_call_n (visited: CALL_N): BOOLEAN
effective function
exit_call_n (visited: CALL_N)
effective procedure
visit_manifest_string (visited: MANIFEST_STRING)
effective procedure
visit_agent_args (visited: AGENT_ARGS)
effective procedure
enter_agent_args (visited: AGENT_ARGS): BOOLEAN
effective function
exit_agent_args (visited: AGENT_ARGS)
effective procedure
visit_agent_creation (visited: AGENT_CREATION)
effective procedure
enter_agent_creation (visited: AGENT_CREATION): BOOLEAN
effective function
exit_agent_creation (visited: AGENT_CREATION)
effective procedure
visit_e_old (visited: E_OLD)
effective procedure
enter_e_old (visited: E_OLD): BOOLEAN
effective function
exit_e_old (visited: E_OLD)
effective procedure
visit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
enter_fake_tuple (visited: FAKE_TUPLE): BOOLEAN
effective function
exit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
visit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
enter_manifest_tuple (visited: MANIFEST_TUPLE): BOOLEAN
effective function
exit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
visit_implicit_cast (visited: IMPLICIT_CAST)
effective procedure
visit_generator_generating_type (visited: GENERATOR_GENERATING_TYPE)
effective procedure
visit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
enter_agent_expression (visited: AGENT_EXPRESSION): BOOLEAN
effective function
exit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
visit_result (visited: RESULT)
effective procedure
visit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
enter_expression_with_comment (visited: EXPRESSION_WITH_COMMENT): BOOLEAN
effective function
exit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
visit_comment (visited: COMMENT)
effective procedure
visit_implicit_current (visited: IMPLICIT_CURRENT)
effective procedure
visit_written_current (visited: WRITTEN_CURRENT)
effective procedure
visit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
enter_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME): BOOLEAN
effective function
exit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
visit_e_true (visited: E_TRUE)
effective procedure
visit_e_false (visited: E_FALSE)
effective procedure
visit_e_retry (visited: E_RETRY)
effective procedure
visit_ifthenelse (visited: IFTHENELSE)
effective procedure
enter_ifthenelse (visited: IFTHENELSE): BOOLEAN
effective function
exit_ifthenelse (visited: IFTHENELSE)
effective procedure
visit_ifthen (visited: IFTHEN)
effective procedure
enter_ifthen (visited: IFTHEN): BOOLEAN
effective function
exit_ifthen (visited: IFTHEN)
effective procedure
visit_assignment (visited: ASSIGNMENT)
effective procedure
enter_assignment (visited: ASSIGNMENT): BOOLEAN
effective function
exit_assignment (visited: ASSIGNMENT)
effective procedure
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
enter_assignment_attempt (visited: ASSIGNMENT_ATTEMPT): BOOLEAN
effective function
exit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
visit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
enter_assignment_test (visited: ASSIGNMENT_TEST): BOOLEAN
effective function
exit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
visit_e_debug (visited: E_DEBUG)
effective procedure
enter_e_debug (visited: E_DEBUG): BOOLEAN
effective function
exit_e_debug (visited: E_DEBUG)
effective procedure
visit_e_check (visited: E_CHECK)
effective procedure
enter_e_check (visited: E_CHECK): BOOLEAN
effective function
exit_e_check (visited: E_CHECK)
effective procedure
visit_proc_call_0 (visited: PROC_CALL_0)
effective procedure
enter_proc_call_0 (visited: PROC_CALL_0): BOOLEAN
effective function
exit_proc_call_0 (visited: PROC_CALL_0)
effective procedure
visit_proc_call_1 (visited: PROC_CALL_1)
effective procedure
enter_proc_call_1 (visited: PROC_CALL_1): BOOLEAN
effective function
exit_proc_call_1 (visited: PROC_CALL_1)
effective procedure
visit_proc_call_n (visited: PROC_CALL_N)
effective procedure
enter_proc_call_n (visited: PROC_CALL_N): BOOLEAN
effective function
exit_proc_call_n (visited: PROC_CALL_N)
effective procedure
visit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
enter_agent_instruction (visited: AGENT_INSTRUCTION): BOOLEAN
effective function
exit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
visit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
enter_create_instruction (visited: CREATE_INSTRUCTION): BOOLEAN
effective function
exit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
enter_precursor_instruction (visited: PRECURSOR_INSTRUCTION): BOOLEAN
effective function
exit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
visit_e_loop (visited: E_LOOP)
effective procedure
enter_e_loop (visited: E_LOOP): BOOLEAN
effective function
exit_e_loop (visited: E_LOOP)
effective procedure
visit_loop_variant (visited: LOOP_VARIANT)
effective procedure
enter_loop_variant (visited: LOOP_VARIANT): BOOLEAN
effective function
exit_loop_variant (visited: LOOP_VARIANT)
effective procedure
visit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
enter_inspect_statement (visited: INSPECT_STATEMENT): BOOLEAN
effective function
exit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
visit_when_clause (visited: WHEN_CLAUSE)
effective procedure
enter_when_clause (visited: WHEN_CLAUSE): BOOLEAN
effective function
exit_when_clause (visited: WHEN_CLAUSE)
effective procedure
visit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
enter_when_item_1 (visited: WHEN_ITEM_1): BOOLEAN
effective function
exit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
visit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
enter_when_item_2 (visited: WHEN_ITEM_2): BOOLEAN
effective function
exit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
visit_compound (visited: COMPOUND)
effective procedure
enter_compound (visited: COMPOUND): BOOLEAN
effective function
exit_compound (visited: COMPOUND)
effective procedure
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
enter_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER): BOOLEAN
effective function
exit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
visit_declaration_1 (visited: DECLARATION_1)
effective procedure
enter_declaration_1 (visited: DECLARATION_1): BOOLEAN
effective function
exit_declaration_1 (visited: DECLARATION_1)
effective procedure
visit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
enter_declaration_group (visited: DECLARATION_GROUP): BOOLEAN
effective function
exit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
visit_numbered_capture (visited: NUMBERED_CAPTURE)
effective procedure
as_visitor: VISITOR
effective function
visit_agent_launcher (visited: AGENT_LAUNCHER)
effective procedure
messages: SET[HASHED_STRING]
once function
number_messages: DICTIONARY[STRING, HASHED_STRING]
once function
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
inlined_procedure_count: INTEGER_32
writable attribute
inlined_function_count: INTEGER_32
writable attribute
procedure_count: INTEGER_32
writable attribute
function_count: INTEGER_32
writable attribute
precursor_routine_count: INTEGER_32
writable attribute
real_procedure_count: INTEGER_32
writable attribute
real_function_count: INTEGER_32
writable attribute
static_expression_count: INTEGER_32
writable attribute
incr_inlined_procedure_count
effective procedure
incr_real_procedure_count
effective procedure
incr_procedure_count
effective procedure
incr_inlined_function_count
effective procedure
incr_real_function_count
effective procedure
incr_function_count
effective procedure
incr_precursor_routine_count
effective procedure
writable attribute
Index for top of followings stacks.
context_stack: FAST_ARRAY[CODE_CONTEXT]
once function
The indicating stack.
stack_top: CODE_CONTEXT
effective function
stack_first_size: INTEGER_32
constant attribute
stack_push (code: INTEGER_32)
effective procedure
Push the code and resize all stacks if needed.
unused_contexts: ARRAY[FAST_ARRAY[CODE_CONTEXT]]
writable attribute
reserve_context (code: INTEGER_32): CODE_CONTEXT
effective function
free_context (ctx: CODE_CONTEXT)
effective procedure
pop
effective procedure
check_top (st: CODE_CONTEXT): BOOLEAN
effective function
To make checks coherent, the stack must be cleaned
push_check (rf: RUN_FEATURE, type: TYPE, t: EXPRESSION, args: EFFECTIVE_ARG_LIST)
effective procedure
push_precursor (type: TYPE, rf: RUN_FEATURE, args: EFFECTIVE_ARG_LIST)
effective procedure
stack_not_full: BOOLEAN
effective function
push_direct (rf: RUN_FEATURE, type: TYPE, t: EXPRESSION, args: EFFECTIVE_ARG_LIST)
effective procedure
stack_overflow
effective procedure
direct_call_count: INTEGER_32
writable attribute
check_id_call_count: INTEGER_32
writable attribute
sure_void_count: INTEGER_32
writable attribute
switched_call_count: INTEGER_32
writable attribute
incr_direct_call_count
effective procedure
incr_switched_call_count
effective procedure
new_context (code: INTEGER_32): CODE_CONTEXT
effective function
dispatch_special (type: TYPE, feature_stamp: FEATURE_STAMP, target: EXPRESSION): BOOLEAN
effective function
For some very special cases, we must not use e switch.
C_direct_call: INTEGER_32
constant attribute
Target is sure not to be Void and there is only one possible type (target is often Current, a manifest string or some expanded).
C_check_id: INTEGER_32
constant attribute
Target is a reference type which can be Void but only one type is the good one.
C_switch: INTEGER_32
constant attribute
Target is a reference type with more than one possibility.
C_create_instruction: INTEGER_32
constant attribute
Target has been just created with a create instruction and need to be initialized with some create procedure call.
C_create_expression: INTEGER_32
constant attribute
Target has been just created with a create expression and need to be initialized inside the create function.
C_inside_twin: INTEGER_32
constant attribute
In order to call the user's copy.
C_precursor: INTEGER_32
constant attribute
For Precursor calls.
command_line_name: STRING
effective function
Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
bootstrap
effective procedure
root_class_name: STRING
writable attribute
The name of the root class, if an ACE file is not used.
root_procedure_name: STRING
writable attribute
The name of the root procedure, if an ACE file is not used.
command_line_help_summary: STRING
deferred function
The traditional "-help" flag summary of information about available options.
flag_match (flag: STRING, arg: STRING): BOOLEAN
effective function
Does arg smoothly match with the flag model?
is_help_flag (flag: STRING): BOOLEAN
effective function
Is it like some traditional help flag?
help_flag: BOOLEAN
writable attribute
Memory of is_help_flag.
search_for_echo_redirect_flag: STRING
effective function
Seach for the -output_error_warning_on flag amongs arguments in order to apply redirection as early as possible (should be called first when the command accept this flag).
search_for_verbose_flag
effective procedure
Seach the -verbose flag amongs arguments in order to become verbose as soon as possible (should be called after search_for_echo_redirect_flag when the command accept this flag).
search_for_cc_flag
effective procedure
To know about the C compiler as soon as possible.
ace_file_mode: BOOLEAN
effective function
Search for some ACE file name in the command line arguments.
is_some_flag (arg: STRING): BOOLEAN
effective function
is_relax_flag (flag: STRING): BOOLEAN
effective function
is_case_insensitive_flag (flag: STRING): BOOLEAN
effective function
is_no_style_warning_flag (flag: STRING): BOOLEAN
effective function
is_no_warning_flag (flag: STRING): BOOLEAN
effective function
is_trace_flag (flag: STRING): BOOLEAN
effective function
is_verbose_flag (flag: STRING): BOOLEAN
effective function
is_clean_flag (flag: STRING): BOOLEAN
effective function
is_version_flag (flag: STRING): BOOLEAN
effective function
is_version_flag_no_exit (flag: STRING): BOOLEAN
effective function
version_flag: BOOLEAN
writable attribute
Memory of is_version_flag.
is_a_compilation_level_flag (flag: STRING): BOOLEAN
effective function
Is the flag one of this list: "-boost", "-no_check", "-require_check", "-ensure_check", "-invariant_check", "-loop_check", "-all_check", or "-debug_check" ?
is_debug_flag (flag: STRING): BOOLEAN
effective function
Is the flag "-debug"
is_flat_check_flag (flag: STRING): BOOLEAN
effective function
Is the flag "-flat_check"
is_output_error_warning_on_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_cecil_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_o_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_safety_check_flag (flag: STRING): BOOLEAN
effective function
is_manifest_string_trace_flag (flag: STRING): BOOLEAN
effective function
is_high_memory_compiler (flag: STRING): BOOLEAN
effective function
is_profile (flag: STRING): BOOLEAN
effective function
is_jar (flag: STRING): BOOLEAN
effective function
is_run (flag: STRING): BOOLEAN
effective function
is_use_jar (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_use_jvm (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_java_compiler (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_ss (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_mx (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_ms (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
is_classpath (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
level_flag: STRING
writable attribute
check_for_level (new_level_flag: STRING)
effective procedure
unknown_flag_exit (flag: STRING)
effective procedure
argument_count: INTEGER_32
effective function
Number of arguments given to command that started system execution (command name does not count).
argument (i: INTEGER_32): STRING
effective function
i th argument of command that started system execution Gives the command name if i is 0.
command_name: STRING
effective function
command_arguments: FAST_ARRAY[STRING]
frozen
once function
Give acces to arguments command line including the command name at index 0.
se_argc: INTEGER_32
To implement command_arguments
se_argv (i: INTEGER_32): STRING
To implement command_arguments
fz_case_insensitive: STRING
constant attribute
fz_cc: STRING
constant attribute
fz_cecil: STRING
constant attribute
fz_clean: STRING
constant attribute
fz_c_mode: STRING
constant attribute
fz_gc_info: STRING
constant attribute
fz_help: STRING
constant attribute
fz_high_memory_compiler: STRING
constant attribute
fz_loadpath: STRING
constant attribute
fz_manifest_string_trace: STRING
constant attribute
fz_no_main: STRING
constant attribute
fz_no_split: STRING
constant attribute
fz_no_strip: STRING
constant attribute
fz_no_style_warning: STRING
constant attribute
fz_no_warning: STRING
constant attribute
fz_o: STRING
constant attribute
fz_profile: STRING
constant attribute
fz_relax: STRING
constant attribute
fz_safety_check: STRING
constant attribute
fz_sedb: STRING
constant attribute
fz_verbose: STRING
constant attribute
fz_version: STRING
constant attribute
fz_flag_jar: STRING
constant attribute
fz_flag_run: STRING
constant attribute
fz_flag_use_jar: STRING
constant attribute
fz_flag_use_jvm: STRING
constant attribute
fz_flag_java_compiler: STRING
constant attribute
fz_flag_ss: STRING
constant attribute
      • NOT A GOOD FLAG NAME.
fz_flag_mx: STRING
constant attribute
      • NOT A GOOD FLAG NAME.
fz_flag_ms: STRING
constant attribute
      • NOT A GOOD FLAG NAME.
fz_flag_classpath: STRING
constant attribute
fz_flag_clean_classes: STRING
constant attribute
fz_flag_hard_clean: STRING
constant attribute