+
Point of view
All features
class X_GET_TEXT
Summary
top
Overview
top
Creation features
{}
Features
{ANY}
{}
{CLASS_TEXT}
{PRECURSOR_EXPRESSION}
{}
{}
{PARENT_LISTS}
{}
{PARENT_EDGE}
{}
{RENAME_LIST}
{}
{RENAME_PAIR}
{}
{EXPORT_LIST}
{}
{EXPORT_ITEM}
{}
{FEATURE_CLAUSE_LIST}
{}
{FEATURE_CLAUSE}
{}
{CREATION_CLAUSE_LIST}
{}
{CREATION_CLAUSE}
{}
{CLIENT_LIST}
{}
{TYPE_MARK_LIST}
{}
{CLASS_NAME}
{FEATURE_TEXT}
{}
{FORMAL_ARG_LIST}
{}
{LOCAL_VAR_LIST}
{}
{CLOSED_OPERAND}
{UNUSED_EXPRESSION}
{LOCAL_NAME_DEF}
{ARGUMENT_NAME_DEF}
{LOCAL_NAME_REF}
{ARGUMENT_NAME_REF}
{INTERNAL_LOCAL2}
{DYNAMIC_DISPATCH_TEMPORARY1}
{DYNAMIC_DISPATCH_TEMPORARY1_ID}
{DYNAMIC_DISPATCH_TEMPORARY2}
{SEDB}
{NO_DISPATCH}
{TYPE}
{}
{CLASS_TYPE_MARK}
{}
{CLIENT_TYPE_MARK}
{}
{LIKE_FEATURE_TYPE_MARK}
{}
{LIKE_ARGUMENT_TYPE_MARK}
{}
{LIKE_CURRENT_TYPE_MARK}
{AGENT_TYPE_MARK}
{}
{ANY_TYPE_MARK}
{STRING_TYPE_MARK}
{FORMAL_GENERIC_TYPE_MARK}
{}
{USER_GENERIC_TYPE_MARK}
{}
{EMPTY_TUPLE_TYPE_MARK}
{NON_EMPTY_TUPLE_TYPE_MARK}
{}
{ARRAY_TYPE_MARK}
{}
{NATIVE_ARRAY_TYPE_MARK}
{}
{WEAK_REFERENCE_TYPE_MARK}
{}
{BOOLEAN_TYPE_MARK}
{POINTER_TYPE_MARK}
{REAL_TYPE_MARK}
{INTEGER_TYPE_MARK}
{CHARACTER_TYPE_MARK}
{NATURAL_TYPE_MARK}
{WRITABLE_ATTRIBUTE}
{}
{CST_ATT_REAL}
{CST_ATT_INTEGER}
{CST_ATT_BOOLEAN}
{CST_ATT_UNIQUE}
{CST_ATT_STRING}
{CST_ATT_CHARACTER}
{}
{VOID_CALL}
{VOID_PROC_CALL}
{RUN_TIME_ERROR_INSTRUCTION}
{NON_VOID_NO_DISPATCH}
{NATIVE_ARRAY_ITEM}
{}
{NULL_POINTER}
{E_FUNCTION}
{}
{E_PROCEDURE}
{}
{ONCE_FUNCTION}
{}
{ONCE_PROCEDURE}
{}
{EXTERNAL_FUNCTION}
{}
{EXTERNAL_PROCEDURE}
{}
{DEFERRED_FUNCTION}
{}
{DEFERRED_PROCEDURE}
{}
{ASSERTION_LIST}
{REQUIRE_ASSERTION}
{}
{CLASS_INVARIANT}
{}
{LOOP_INVARIANT}
{}
{ENSURE_ASSERTION}
{}
{ASSERTION}
{}
{FEATURE_NAME}
{FAKE_TARGET}
{CREATE_EXPRESSION}
{}
{ABSTRACT_CURRENT}
{CREATE_WRITABLE}
{}
{PRECURSOR_EXPRESSION}
{}
{MANIFEST_GENERIC}
{}
{OLD_MANIFEST_ARRAY}
{}
{E_VOID}
{FAKE_ARGUMENT}
{}
{CHARACTER_CONSTANT}
{REAL_CONSTANT}
{INTEGER_CONSTANT}
{NATURAL_CONSTANT}
{FEATURE_NAME_LIST}
{}
{OPEN_OPERAND}
{ADDRESS_OF}
{}
{}
{EFFECTIVE_ARG_LIST_0}
{EFFECTIVE_ARG_LIST_N}
{FUNCTION_CALL_0}
{}
{STATIC_CALL_0_C}
{}
{CALL_PREFIX_NOT}
{}
{CALL_PREFIX_MINUS}
{}
{CALL_PREFIX_FREEOP}
{}
{CALL_PREFIX_PLUS}
{}
{FUNCTION_CALL_1}
{}
{CALL_INFIX_AND_THEN}
{}
{CALL_INFIX_MINUS}
{}
{CALL_INFIX_TIMES}
{}
{CALL_INFIX_INT_REM}
{}
{CALL_INFIX_OR}
{}
{CALL_INFIX_GT}
{}
{CALL_INFIX_LT}
{}
{CALL_INFIX_PLUS}
{}
{CALL_INFIX_INT_DIV}
{}
{CALL_INFIX_XOR}
{}
{CALL_INFIX_POWER}
{}
{CALL_INFIX_DIV}
{}
{CALL_INFIX_OR_ELSE}
{}
{CALL_INFIX_IMPLIES}
{}
{CALL_INFIX_LE}
{}
{CALL_INFIX_FREEOP}
{}
{CALL_INFIX_AND}
{}
{CALL_INFIX_GE}
{}
{BUILT_IN_EQ_NEQ}
{}
{FUNCTION_CALL_N}
{}
{MANIFEST_STRING}
{AGENT_ARGS}
{}
{AGENT_CREATION}
{}
{E_OLD}
{}
{FAKE_TUPLE}
{}
{MANIFEST_TUPLE}
{}
{IMPLICIT_CAST}
{GENERATOR_GENERATING_TYPE}
{AGENT_EXPRESSION}
{}
{RESULT}
{EXPRESSION_WITH_COMMENT}
{}
{COMMENT}
{IMPLICIT_CURRENT}
{WRITTEN_CURRENT}
{WRITABLE_ATTRIBUTE_NAME}
{}
{E_TRUE}
{E_FALSE}
{RETRY_INSTRUCTION}
{IFTHENELSE}
{}
{IFTHEN}
{}
{IFTHENELSE_EXP}
{}
{IFTHEN_EXP}
{}
{ASSIGNMENT}
{}
{ASSIGNMENT_CALL_ASSIGNER}
{}
{ASSIGNMENT_ATTEMPT}
{}
{ASSIGNMENT_TEST}
{}
{DEBUG_COMPOUND}
{}
{CHECK_COMPOUND}
{}
{PROCEDURE_CALL_0}
{}
{PROCEDURE_CALL_1}
{}
{PROCEDURE_CALL_N}
{}
{AGENT_INSTRUCTION}
{}
{CREATE_INSTRUCTION}
{}
{RAW_CREATE_INSTRUCTION}
{}
{PRECURSOR_INSTRUCTION}
{}
{LOOP_INSTRUCTION}
{}
{LOOP_VARIANT}
{}
{}
{OTHER_INSPECT_STATEMENT}
{MANIFEST_STRING_INSPECT_STATEMENT}
{C_INLINE}
{}
{WHEN_CLAUSE}
{}
{WHEN_ITEM_1}
{}
{WHEN_ITEM_2}
{}
{COMPOUND}
{COMPOUND_EXPRESSION}
{}
{NO_INVARIANT_WRAPPER}
{}
{DECLARATION_1}
{}
{DECLARATION_GROUP}
{}
{}
{ANY}
{ACE}
  • 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)
{SE, COMPILE}
{}
{SMART_EIFFEL, SYSTEM_TOOLS, VISITOR}
{ANY}
an option to minimize generic types
{}
Hard-coded class names:
{}
Hard coded feature names:
{}
Operator/Infix/Prefix/Alias list:
{}
Other names:
{}
The keywords section:
{}
Most of them are message parts:
{}
Some other names:
{}
The known keys of the INI file:
{}
{}
{ANY}
Context stacks:
{}
{ANY}
{}
{PRECURSOR_CALL}
{PRECURSOR_CALL}
{RUN_FEATURE_3}
{}
{}
{}
{ANY}
  • command_line_name: STRING
    Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
{}
{ANY}
{}
{ANY}
{}
Implementation of ARGUMENTS (do not use directly):
{}
Most of them are command flag names:
{}
make
effective procedure
{ANY}
top
parse_arguments
effective procedure
{ANY}
top
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.
At last, don't forget to fill in root_class_name and procedure_class_name if you don't use an ACE file.
ensure
  • root_class_name /= Void
is_valid_argument_for_ace_mode (arg: STRING): BOOLEAN
effective function
{ANY}
top
Is the arg command line argument allowed in ACE file mode ?
require
  • arg /= Void
compile
effective procedure
{ANY}
top
The real output is done here
valid_argument_for_ace_mode: STRING
is "Do not use arguments in ace mode"
constant attribute
{ANY}
top
An explanation to be given to the user when the call to is_valid_argument_for_ace_mode returns False.
use_short_mode: BOOLEAN
is False
constant attribute
{ANY}
top
The "compilation" mode of the compiler is maybe too strict.
In most cases, short is better suited. Hence you should redefine this feature as True. In some cases though you may want to set it to False and see what it brings.
To be more precise, when set to true, it: - bypasses the optimizer - doesn't warn about obsolete features - restricts VWEQ checks when we have sure positive (remember we don't scan all the program then) BUT: - keeps comments (otherwise they're cut out), and merges them in case of feature merge - keeps the real aspect of manifest strings as written in the code (otherwise, only a compiled 
  version is kept)
usage: STRING
is "x_get_text root_class"
constant attribute
{ANY}
top
The traditional "-help" flag summary of information about available options.
find_get_text_seeds
effective procedure
{}
top
find_get_text_stamps
effective procedure
{}
top
get_text_class: CLASS_TEXT
writable attribute
{}
top
get_text_seeds: DICTIONARY[ABSTRACT_GET_TEXT_DECLARATION, FEATURE_STAMP]
writable attribute
{}
top
do_compile
effective procedure
{}
top
print_info (output: OUTPUT_STREAM)
effective procedure
{}
top
visit_feature_stamp (visited: FEATURE_STAMP)
effective procedure
{}
top
require
  • visited /= Void
fz_found_at: STRING
is "#(1) found at #(2)"
constant attribute
{}
top
fz_found_as: STRING
is "#(1) found as #(2)(#(3))"
constant attribute
{}
top
fz_not_found: STRING
is "#(1) not found"
constant attribute
{}
top
fz_get_text_class: STRING
is "GET_TEXT"
constant attribute
{}
top
fz_number_get_text_class: STRING
is "NUMBER_GET_TEXT"
constant attribute
{}
top
fz_get_text: STRING
is "translation"
constant attribute
{}
top
fz_number_get_text: STRING
is "number_translation"
constant attribute
{}
top
visit_class_text (visited: CLASS_TEXT)
effective procedure
{CLASS_TEXT}
top
require
  • visited /= Void
exit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
{PRECURSOR_EXPRESSION}
top
current_type: TYPE
writable attribute
{}
top
current_routine_stamp: FEATURE_STAMP
writable attribute
{}
top
visit_call_support (visited: FEATURE_CALL)
effective procedure
{}
top
get_text_declarations: DICTIONARY[ABSTRACT_GET_TEXT_DECLARATION, FEATURE_STAMP]
writable attribute
{}
top
enter_class_text (visited: CLASS_TEXT): BOOLEAN
effective function
{}
top
exit_class_text (visited: CLASS_TEXT)
effective procedure
{}
top
visiting_class_texts: SET[CLASS_TEXT]
once function
{}
top
visitting_class_texts: SET[CLASS_TEXT]
once function
{}
top
This feature is obsolete: Use `visiting_class_texts' instead.
visit_parent_lists (visited: PARENT_LISTS)
effective procedure
{PARENT_LISTS}
top
require
  • visited /= Void
enter_parent_lists (visited: PARENT_LISTS): BOOLEAN
effective function
{}
top
exit_parent_lists (visited: PARENT_LISTS)
effective procedure
{}
top
visit_parent_edge (visited: PARENT_EDGE)
effective procedure
{PARENT_EDGE}
top
require
  • visited /= Void
enter_parent_edge (visited: PARENT_EDGE): BOOLEAN
effective function
{}
top
exit_parent_edge (visited: PARENT_EDGE)
effective procedure
{}
top
visit_rename_list (visited: RENAME_LIST)
effective procedure
{RENAME_LIST}
top
require
  • visited /= Void
enter_rename_list (visited: RENAME_LIST): BOOLEAN
effective function
{}
top
exit_rename_list (visited: RENAME_LIST)
effective procedure
{}
top
visit_rename_pair (visited: RENAME_PAIR)
effective procedure
{RENAME_PAIR}
top
require
  • visited /= Void
enter_rename_pair (visited: RENAME_PAIR): BOOLEAN
effective function
{}
top
exit_rename_pair (visited: RENAME_PAIR)
effective procedure
{}
top
visit_export_list (visited: EXPORT_LIST)
effective procedure
{EXPORT_LIST}
top
require
  • visited /= Void
enter_export_list (visited: EXPORT_LIST): BOOLEAN
effective function
{}
top
exit_export_list (visited: EXPORT_LIST)
effective procedure
{}
top
visit_export_item (visited: EXPORT_ITEM)
effective procedure
{EXPORT_ITEM}
top
require
  • visited /= Void
enter_export_item (visited: EXPORT_ITEM): BOOLEAN
effective function
{}
top
exit_export_item (visited: EXPORT_ITEM)
effective procedure
{}
top
visit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
{FEATURE_CLAUSE_LIST}
top
require
  • visited /= Void
enter_feature_clause_list (visited: FEATURE_CLAUSE_LIST): BOOLEAN
effective function
{}
top
exit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
{}
top
visit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
{FEATURE_CLAUSE}
top
require
  • visited /= Void
enter_feature_clause (visited: FEATURE_CLAUSE): BOOLEAN
effective function
{}
top
exit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
{}
top
visit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
{CREATION_CLAUSE_LIST}
top
require
  • visited /= Void
enter_creation_clause_list (visited: CREATION_CLAUSE_LIST): BOOLEAN
effective function
{}
top
exit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
{}
top
visit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
{CREATION_CLAUSE}
top
require
  • visited /= Void
enter_creation_clause (visited: CREATION_CLAUSE): BOOLEAN
effective function
{}
top
exit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
{}
top
visit_client_list (visited: CLIENT_LIST)
effective procedure
{CLIENT_LIST}
top
require
  • visited /= Void
enter_client_list (visited: CLIENT_LIST): BOOLEAN
effective function
{}
top
exit_client_list (visited: CLIENT_LIST)
effective procedure
{}
top
visit_type_mark_list (visited: TYPE_MARK_LIST)
effective procedure
{TYPE_MARK_LIST}
top
require
  • visited /= Void
enter_type_mark_list (visited: TYPE_MARK_LIST): BOOLEAN
effective function
{}
top
exit_type_mark_list (visited: TYPE_MARK_LIST)
effective procedure
{}
top
visit_class_name (visited: CLASS_NAME)
effective procedure
{CLASS_NAME}
top
require
  • visited /= Void
visit_feature_text (visited: FEATURE_TEXT)
effective procedure
{FEATURE_TEXT}
top
require
  • visited /= Void
enter_feature_text (visited: FEATURE_TEXT): BOOLEAN
effective function
{}
top
exit_feature_text (visited: FEATURE_TEXT)
effective procedure
{}
top
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
{FORMAL_ARG_LIST}
top
require
  • visited /= Void
enter_formal_arg_list (visited: FORMAL_ARG_LIST): BOOLEAN
effective function
{}
top
exit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
{}
top
visit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
{LOCAL_VAR_LIST}
top
require
  • visited /= Void
enter_local_var_list (visited: LOCAL_VAR_LIST): BOOLEAN
effective function
{}
top
exit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
{}
top
visit_closed_operand (visited: CLOSED_OPERAND)
effective procedure
{CLOSED_OPERAND}
top
require
  • visited /= Void
visit_unused_expression (visited: UNUSED_EXPRESSION)
effective procedure
{UNUSED_EXPRESSION}
top
require
  • visited /= Void
visit_local_name_def (visited: LOCAL_NAME_DEF)
effective procedure
{LOCAL_NAME_DEF}
top
require
  • visited /= Void
visit_argument_name_def (visited: ARGUMENT_NAME_DEF)
effective procedure
{ARGUMENT_NAME_DEF}
top
require
  • visited /= Void
visit_local_name_ref (visited: LOCAL_NAME_REF)
effective procedure
{LOCAL_NAME_REF}
top
require
  • visited /= Void
visit_argument_name_ref (visited: ARGUMENT_NAME_REF)
effective procedure
{ARGUMENT_NAME_REF}
top
require
  • visited /= Void
visit_internal_local2 (visited: INTERNAL_LOCAL2)
effective procedure
{INTERNAL_LOCAL2}
top
require
  • visited /= Void
visit_dynamic_dispatch_temporary1 (visited: DYNAMIC_DISPATCH_TEMPORARY1)
effective procedure
{DYNAMIC_DISPATCH_TEMPORARY1}
top
require
  • visited /= Void
visit_dynamic_dispatch_temporary1_id (visited: DYNAMIC_DISPATCH_TEMPORARY1_ID)
effective procedure
{DYNAMIC_DISPATCH_TEMPORARY1_ID}
top
require
  • visited /= Void
visit_dynamic_dispatch_temporary2 (visited: DYNAMIC_DISPATCH_TEMPORARY2)
effective procedure
{DYNAMIC_DISPATCH_TEMPORARY2}
top
require
  • visited /= Void
visit_sedb (visited: SEDB)
effective procedure
{SEDB}
top
require
  • visited /= Void
visit_no_dispatch (visited: NO_DISPATCH)
effective procedure
{NO_DISPATCH}
top
require
  • visited /= Void
visiting_types: SET[TYPE]
once function
{TYPE}
top
visitting_types: SET[TYPE]
once function
{TYPE}
top
This feature is obsolete: Use `visiting_types' instead.
visit_type (visited: TYPE)
effective procedure
{TYPE}
top
require
  • visited /= Void
enter_type (visited: TYPE): BOOLEAN
effective function
{}
top
exit_type (visited: TYPE)
effective procedure
{}
top
visit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
{CLASS_TYPE_MARK}
top
require
  • visited /= Void
enter_class_type_mark (visited: CLASS_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
{}
top
visit_client_type_mark (visited: CLIENT_TYPE_MARK)
effective procedure
{CLIENT_TYPE_MARK}
top
require
  • visited /= Void
enter_client_type_mark (visited: CLIENT_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_client_type_mark (visited: CLIENT_TYPE_MARK)
effective procedure
{}
top
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
{LIKE_FEATURE_TYPE_MARK}
top
require
  • visited /= Void
enter_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
{}
top
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
{LIKE_ARGUMENT_TYPE_MARK}
top
require
  • visited /= Void
enter_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
{}
top
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
effective procedure
{LIKE_CURRENT_TYPE_MARK}
top
require
  • visited /= Void
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
{AGENT_TYPE_MARK}
top
require
  • visited /= Void
enter_agent_type_mark (visited: AGENT_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
{}
top
visit_any_type_mark (visited: ANY_TYPE_MARK)
effective procedure
{ANY_TYPE_MARK}
top
require
  • visited /= Void
visit_string_type_mark (visited: STRING_TYPE_MARK)
effective procedure
{STRING_TYPE_MARK}
top
require
  • visited /= Void
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
effective procedure
{FORMAL_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
visit_generic_type_mark (visited: TYPE_MARK)
effective procedure
{}
top
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
{USER_GENERIC_TYPE_MARK}
top
require
  • visited /= Void
enter_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
{}
top
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
effective procedure
{EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
{NON_EMPTY_TUPLE_TYPE_MARK}
top
require
  • visited /= Void
enter_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_non_empty_tupe_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
{}
top
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
{ARRAY_TYPE_MARK}
top
require
  • visited /= Void
enter_array_type_mark (visited: ARRAY_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
{}
top
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
{NATIVE_ARRAY_TYPE_MARK}
top
require
  • visited /= Void
enter_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
{}
top
visit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
effective procedure
{WEAK_REFERENCE_TYPE_MARK}
top
require
  • visited /= Void
enter_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK): BOOLEAN
effective function
{}
top
exit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
effective procedure
{}
top
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
effective procedure
{BOOLEAN_TYPE_MARK}
top
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
effective procedure
{POINTER_TYPE_MARK}
top
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
effective procedure
{REAL_TYPE_MARK}
top
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
effective procedure
{INTEGER_TYPE_MARK}
top
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
effective procedure
{CHARACTER_TYPE_MARK}
top
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
effective procedure
{NATURAL_TYPE_MARK}
top
require
  • visited /= Void
visit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
{WRITABLE_ATTRIBUTE}
top
require
  • visited /= Void
enter_writable_attribute (visited: WRITABLE_ATTRIBUTE): BOOLEAN
effective function
{}
top
exit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
{}
top
visit_cst_att_real (visited: CST_ATT_REAL)
effective procedure
{CST_ATT_REAL}
top
require
  • visited /= Void
visit_cst_att_integer (visited: CST_ATT_INTEGER)
effective procedure
{CST_ATT_INTEGER}
top
require
  • visited /= Void
visit_cst_att_boolean (visited: CST_ATT_BOOLEAN)
effective procedure
{CST_ATT_BOOLEAN}
top
require
  • visited /= Void
visit_cst_att_unique (visited: CST_ATT_UNIQUE)
effective procedure
{CST_ATT_UNIQUE}
top
require
  • visited /= Void
visit_cst_att_string (visited: CST_ATT_STRING)
effective procedure
{CST_ATT_STRING}
top
require
  • visited /= Void
visit_cst_att_character (visited: CST_ATT_CHARACTER)
effective procedure
{CST_ATT_CHARACTER}
top
require
  • visited /= Void
visiting_anonymous_features: HASHED_SET[POINTER]
once function
{}
top
visitting_anonymous_features: HASHED_SET[POINTER]
once function
{}
top
This feature is obsolete: Use `visiting_anonymous_features' instead.
visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
{}
top
do_visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
{}
top
visiting_effective_routines: HASHED_SET[POINTER]
once function
{}
top
visitting_effective_routines: HASHED_SET[POINTER]
once function
{}
top
This feature is obsolete: Use `visiting_effective_routines' instead.
visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
{}
top
do_visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
{}
top
visit_void_call (visited: VOID_CALL)
effective procedure
{VOID_CALL}
top
require
  • visited /= Void
visit_void_proc_call (visited: VOID_PROC_CALL)
effective procedure
{VOID_PROC_CALL}
top
require
  • visited /= Void
visit_run_time_error_instruction (visited: RUN_TIME_ERROR_INSTRUCTION)
effective procedure
{RUN_TIME_ERROR_INSTRUCTION}
top
require
  • visited /= Void
visit_non_void_no_dispatch (visited: NON_VOID_NO_DISPATCH)
effective procedure
{NON_VOID_NO_DISPATCH}
top
require
  • visited /= Void
visit_native_array_item (visited: NATIVE_ARRAY_ITEM)
effective procedure
{NATIVE_ARRAY_ITEM}
top
require
  • visited /= Void
enter_native_array_item (visited: NATIVE_ARRAY_ITEM): BOOLEAN
effective function
{}
top
exit_native_array_item (visited: NATIVE_ARRAY_ITEM)
effective procedure
{}
top
visit_null_pointer (visited: NULL_POINTER)
effective procedure
{NULL_POINTER}
top
require
  • visited /= Void
visit_e_function (visited: E_FUNCTION)
effective procedure
{E_FUNCTION}
top
require
  • visited /= Void
enter_e_function (visited: E_FUNCTION): BOOLEAN
effective function
{}
top
exit_e_function (visited: E_FUNCTION)
effective procedure
{}
top
visit_e_procedure (visited: E_PROCEDURE)
effective procedure
{E_PROCEDURE}
top
require
  • visited /= Void
enter_e_procedure (visited: E_PROCEDURE): BOOLEAN
effective function
{}
top
exit_e_procedure (visited: E_PROCEDURE)
effective procedure
{}
top
visit_once_function (visited: ONCE_FUNCTION)
effective procedure
{ONCE_FUNCTION}
top
require
  • visited /= Void
enter_once_function (visited: ONCE_FUNCTION): BOOLEAN
effective function
{}
top
exit_once_function (visited: ONCE_FUNCTION)
effective procedure
{}
top
visit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
{ONCE_PROCEDURE}
top
require
  • visited /= Void
enter_once_procedure (visited: ONCE_PROCEDURE): BOOLEAN
effective function
{}
top
exit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
{}
top
visit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
{EXTERNAL_FUNCTION}
top
require
  • visited /= Void
enter_external_function (visited: EXTERNAL_FUNCTION): BOOLEAN
effective function
{}
top
exit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
{}
top
visit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
{EXTERNAL_PROCEDURE}
top
require
  • visited /= Void
enter_external_procedure (visited: EXTERNAL_PROCEDURE): BOOLEAN
effective function
{}
top
exit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
{}
top
visit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
{DEFERRED_FUNCTION}
top
require
  • visited /= Void
enter_deferred_function (visited: DEFERRED_FUNCTION): BOOLEAN
effective function
{}
top
exit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
{}
top
visit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
{DEFERRED_PROCEDURE}
top
require
  • visited /= Void
enter_deferred_procedure (visited: DEFERRED_PROCEDURE): BOOLEAN
effective function
{}
top
exit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
{}
top
visit_assertion_list (visited: ASSERTION_LIST)
effective procedure
{ASSERTION_LIST}
top
require
    • visited /= Void
    • visited /= Void
visit_require_assertion (visited: REQUIRE_ASSERTION)
effective procedure
{REQUIRE_ASSERTION}
top
require
    • visited /= Void
    • visited /= Void
enter_require_assertion (visited: REQUIRE_ASSERTION): BOOLEAN
effective function
{}
top
exit_require_assertion (visited: REQUIRE_ASSERTION)
effective procedure
{}
top
visit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
{CLASS_INVARIANT}
top
require
    • visited /= Void
    • visited /= Void
enter_class_invariant (visited: CLASS_INVARIANT): BOOLEAN
effective function
{}
top
exit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
{}
top
visit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
{LOOP_INVARIANT}
top
require
    • visited /= Void
    • visited /= Void
enter_loop_invariant (visited: LOOP_INVARIANT): BOOLEAN
effective function
{}
top
exit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
{}
top
visit_ensure_assertion (visited: ENSURE_ASSERTION)
effective procedure
{ENSURE_ASSERTION}
top
require
    • visited /= Void
    • visited /= Void
enter_ensure_assertion (visited: ENSURE_ASSERTION): BOOLEAN
effective function
{}
top
exit_ensure_assertion (visited: ENSURE_ASSERTION)
effective procedure
{}
top
visit_assertion (visited: ASSERTION)
effective procedure
{ASSERTION}
top
require
    • visited /= Void
    • visited /= Void
enter_assertion (visited: ASSERTION): BOOLEAN
effective function
{}
top
exit_assertion (visited: ASSERTION)
effective procedure
{}
top
visit_feature_name (visited: FEATURE_NAME)
effective procedure
{FEATURE_NAME}
top
require
  • visited /= Void
visit_fake_target (visited: FAKE_TARGET)
effective procedure
{FAKE_TARGET}
top
require
  • visited /= Void
visit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
{CREATE_EXPRESSION}
top
require
  • visited /= Void
enter_create_expression (visited: CREATE_EXPRESSION): BOOLEAN
effective function
{}
top
exit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
{}
top
visit_abstract_current (visited: ABSTRACT_CURRENT)
effective procedure
{ABSTRACT_CURRENT}
top
visit_create_writable (visited: CREATE_WRITABLE)
effective procedure
{CREATE_WRITABLE}
top
require
  • visited /= Void
enter_create_writable (visited: CREATE_WRITABLE): BOOLEAN
effective function
{}
top
exit_create_writable (visited: CREATE_WRITABLE)
effective procedure
{}
top
visit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
{PRECURSOR_EXPRESSION}
top
require
  • visited /= Void
enter_precursor_expression (visited: PRECURSOR_EXPRESSION): BOOLEAN
effective function
{}
top
visit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
{MANIFEST_GENERIC}
top
require
  • visited /= Void
enter_manifest_generic (visited: MANIFEST_GENERIC): BOOLEAN
effective function
{}
top
exit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
{}
top
visit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
{OLD_MANIFEST_ARRAY}
top
require
  • visited /= Void
enter_old_manifest_array (visited: OLD_MANIFEST_ARRAY): BOOLEAN
effective function
{}
top
exit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
{}
top
visit_e_void (visited: E_VOID)
effective procedure
{E_VOID}
top
require
  • visited /= Void
visit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
{FAKE_ARGUMENT}
top
require
  • visited /= Void
enter_fake_argument (visited: FAKE_ARGUMENT): BOOLEAN
effective function
{}
top
exit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
{}
top
visit_character_constant (visited: CHARACTER_CONSTANT)
effective procedure
{CHARACTER_CONSTANT}
top
require
  • visited /= Void
visit_real_constant (visited: REAL_CONSTANT)
effective procedure
{REAL_CONSTANT}
top
require
  • visited /= Void
visit_integer_constant (visited: INTEGER_CONSTANT)
effective procedure
{INTEGER_CONSTANT}
top
require
  • visited /= Void
visit_natural_constant (visited: NATURAL_CONSTANT)
effective procedure
{NATURAL_CONSTANT}
top
require
  • visited /= Void
visit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
{FEATURE_NAME_LIST}
top
require
  • visited /= Void
enter_feature_name_list (visited: FEATURE_NAME_LIST): BOOLEAN
effective function
{}
top
exit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
{}
top
visit_open_operand (visited: OPEN_OPERAND)
effective procedure
{OPEN_OPERAND}
top
require
  • visited /= Void
visit_address_of (visited: ADDRESS_OF)
effective procedure
{ADDRESS_OF}
top
require
  • visited /= Void
enter_address_of (visited: ADDRESS_OF): BOOLEAN
effective function
{}
top
exit_address_of (visited: ADDRESS_OF)
effective procedure
{}
top
visit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
{}
top
enter_effective_arg_list (visited: EFFECTIVE_ARG_LIST): BOOLEAN
effective function
{}
top
exit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
{}
top
visit_effective_arg_list_0 (visited: EFFECTIVE_ARG_LIST_0)
effective procedure
{EFFECTIVE_ARG_LIST_0}
top
require
  • visited /= Void
visit_effective_arg_list_n (visited: EFFECTIVE_ARG_LIST_N)
effective procedure
{EFFECTIVE_ARG_LIST_N}
top
require
  • visited /= Void
visit_function_call_0 (visited: FUNCTION_CALL_0)
effective procedure
{FUNCTION_CALL_0}
top
require
  • visited /= Void
enter_call_0_c (visited: FUNCTION_CALL_0): BOOLEAN
effective function
{}
top
exit_call_0_c (visited: FUNCTION_CALL_0)
effective procedure
{}
top
visit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
{STATIC_CALL_0_C}
top
require
  • visited /= Void
enter_static_call_0_c (visited: STATIC_CALL_0_C): BOOLEAN
effective function
{}
top
exit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
{}
top
visit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
{CALL_PREFIX_NOT}
top
require
  • visited /= Void
enter_call_prefix_not (visited: CALL_PREFIX_NOT): BOOLEAN
effective function
{}
top
exit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
{}
top
visit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
{CALL_PREFIX_MINUS}
top
require
  • visited /= Void
enter_call_prefix_minus (visited: CALL_PREFIX_MINUS): BOOLEAN
effective function
{}
top
exit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
{}
top
visit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
{CALL_PREFIX_FREEOP}
top
require
  • visited /= Void
enter_call_prefix_freeop (visited: CALL_PREFIX_FREEOP): BOOLEAN
effective function
{}
top
exit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
{}
top
visit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
{CALL_PREFIX_PLUS}
top
require
  • visited /= Void
enter_call_prefix_plus (visited: CALL_PREFIX_PLUS): BOOLEAN
effective function
{}
top
exit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
{}
top
visit_function_call_1 (visited: FUNCTION_CALL_1)
effective procedure
{FUNCTION_CALL_1}
top
require
  • visited /= Void
enter_call_1_c (visited: FUNCTION_CALL_1): BOOLEAN
effective function
{}
top
exit_call_1_c (visited: FUNCTION_CALL_1)
effective procedure
{}
top
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
{CALL_INFIX_AND_THEN}
top
require
  • visited /= Void
enter_call_infix_and_then (visited: CALL_INFIX_AND_THEN): BOOLEAN
effective function
{}
top
exit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
{}
top
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
{CALL_INFIX_MINUS}
top
require
  • visited /= Void
enter_call_infix_minus (visited: CALL_INFIX_MINUS): BOOLEAN
effective function
{}
top
exit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
{}
top
visit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
{CALL_INFIX_TIMES}
top
require
  • visited /= Void
enter_call_infix_times (visited: CALL_INFIX_TIMES): BOOLEAN
effective function
{}
top
exit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
{}
top
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
{CALL_INFIX_INT_REM}
top
require
  • visited /= Void
enter_call_infix_int_rem (visited: CALL_INFIX_INT_REM): BOOLEAN
effective function
{}
top
exit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
{}
top
visit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
{CALL_INFIX_OR}
top
require
  • visited /= Void
enter_call_infix_or (visited: CALL_INFIX_OR): BOOLEAN
effective function
{}
top
exit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
{}
top
visit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
{CALL_INFIX_GT}
top
require
  • visited /= Void
enter_call_infix_gt (visited: CALL_INFIX_GT): BOOLEAN
effective function
{}
top
exit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
{}
top
visit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
{CALL_INFIX_LT}
top
require
  • visited /= Void
enter_call_infix_lt (visited: CALL_INFIX_LT): BOOLEAN
effective function
{}
top
exit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
{}
top
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
{CALL_INFIX_PLUS}
top
require
  • visited /= Void
enter_call_infix_plus (visited: CALL_INFIX_PLUS): BOOLEAN
effective function
{}
top
exit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
{}
top
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
{CALL_INFIX_INT_DIV}
top
require
  • visited /= Void
enter_call_infix_int_div (visited: CALL_INFIX_INT_DIV): BOOLEAN
effective function
{}
top
exit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
{}
top
visit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
{CALL_INFIX_XOR}
top
require
  • visited /= Void
enter_call_infix_xor (visited: CALL_INFIX_XOR): BOOLEAN
effective function
{}
top
exit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
{}
top
visit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
{CALL_INFIX_POWER}
top
require
  • visited /= Void
enter_call_infix_power (visited: CALL_INFIX_POWER): BOOLEAN
effective function
{}
top
exit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
{}
top
visit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
{CALL_INFIX_DIV}
top
require
  • visited /= Void
enter_call_infix_div (visited: CALL_INFIX_DIV): BOOLEAN
effective function
{}
top
exit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
{}
top
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
{CALL_INFIX_OR_ELSE}
top
require
  • visited /= Void
enter_call_infix_or_else (visited: CALL_INFIX_OR_ELSE): BOOLEAN
effective function
{}
top
exit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
{}
top
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
{CALL_INFIX_IMPLIES}
top
require
  • visited /= Void
enter_call_infix_implies (visited: CALL_INFIX_IMPLIES): BOOLEAN
effective function
{}
top
exit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
{}
top
visit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
{CALL_INFIX_LE}
top
require
  • visited /= Void
enter_call_infix_le (visited: CALL_INFIX_LE): BOOLEAN
effective function
{}
top
exit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
{}
top
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
{CALL_INFIX_FREEOP}
top
require
  • visited /= Void
enter_call_infix_freeop (visited: CALL_INFIX_FREEOP): BOOLEAN
effective function
{}
top
exit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
{}
top
visit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
{CALL_INFIX_AND}
top
require
  • visited /= Void
enter_call_infix_and (visited: CALL_INFIX_AND): BOOLEAN
effective function
{}
top
exit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
{}
top
visit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
{CALL_INFIX_GE}
top
require
  • visited /= Void
enter_call_infix_ge (visited: CALL_INFIX_GE): BOOLEAN
effective function
{}
top
exit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
{}
top
visit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
{BUILT_IN_EQ_NEQ}
top
require
  • visited /= Void
enter_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ): BOOLEAN
effective function
{}
top
exit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
{}
top
visit_function_call_n (visited: FUNCTION_CALL_N)
effective procedure
{FUNCTION_CALL_N}
top
require
  • visited /= Void
enter_call_n (visited: FUNCTION_CALL_N): BOOLEAN
effective function
{}
top
exit_call_n (visited: FUNCTION_CALL_N)
effective procedure
{}
top
visit_manifest_string (visited: MANIFEST_STRING)
effective procedure
{MANIFEST_STRING}
top
require
  • visited /= Void
visit_agent_args (visited: AGENT_ARGS)
effective procedure
{AGENT_ARGS}
top
require
  • visited /= Void
enter_agent_args (visited: AGENT_ARGS): BOOLEAN
effective function
{}
top
exit_agent_args (visited: AGENT_ARGS)
effective procedure
{}
top
visit_agent_creation (visited: AGENT_CREATION)
effective procedure
{AGENT_CREATION}
top
require
  • visited /= Void
enter_agent_creation (visited: AGENT_CREATION): BOOLEAN
effective function
{}
top
exit_agent_creation (visited: AGENT_CREATION)
effective procedure
{}
top
visit_e_old (visited: E_OLD)
effective procedure
{E_OLD}
top
require
  • visited /= Void
enter_e_old (visited: E_OLD): BOOLEAN
effective function
{}
top
exit_e_old (visited: E_OLD)
effective procedure
{}
top
visit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
{FAKE_TUPLE}
top
require
  • visited /= Void
enter_fake_tuple (visited: FAKE_TUPLE): BOOLEAN
effective function
{}
top
exit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
{}
top
visit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
{MANIFEST_TUPLE}
top
require
  • visited /= Void
enter_manifest_tuple (visited: MANIFEST_TUPLE): BOOLEAN
effective function
{}
top
exit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
{}
top
visit_implicit_cast (visited: IMPLICIT_CAST)
effective procedure
{IMPLICIT_CAST}
top
require
  • visited /= Void
visit_generator_generating_type (visited: GENERATOR_GENERATING_TYPE)
effective procedure
{GENERATOR_GENERATING_TYPE}
top
require
  • visited /= Void
visit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
{AGENT_EXPRESSION}
top
require
    • visited /= Void
    • visited /= Void
enter_agent_expression (visited: AGENT_EXPRESSION): BOOLEAN
effective function
{}
top
exit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
{}
top
visit_result (visited: RESULT)
effective procedure
{RESULT}
top
require
  • visited /= Void
visit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
{EXPRESSION_WITH_COMMENT}
top
require
  • visited /= Void
enter_expression_with_comment (visited: EXPRESSION_WITH_COMMENT): BOOLEAN
effective function
{}
top
exit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
{}
top
visit_comment (visited: COMMENT)
effective procedure
{COMMENT}
top
require
  • visited /= Void
visit_implicit_current (visited: IMPLICIT_CURRENT)
effective procedure
{IMPLICIT_CURRENT}
top
require
  • visited /= Void
visit_written_current (visited: WRITTEN_CURRENT)
effective procedure
{WRITTEN_CURRENT}
top
require
  • visited /= Void
visit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
{WRITABLE_ATTRIBUTE_NAME}
top
require
  • visited /= Void
enter_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME): BOOLEAN
effective function
{}
top
exit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
{}
top
visit_e_true (visited: E_TRUE)
effective procedure
{E_TRUE}
top
require
  • visited /= Void
visit_e_false (visited: E_FALSE)
effective procedure
{E_FALSE}
top
require
  • visited /= Void
visit_retry_instruction (visited: RETRY_INSTRUCTION)
effective procedure
{RETRY_INSTRUCTION}
top
require
  • visited /= Void
visit_ifthenelse (visited: IFTHENELSE)
effective procedure
{IFTHENELSE}
top
require
  • visited /= Void
enter_ifthenelse (visited: IFTHENELSE): BOOLEAN
effective function
{}
top
exit_ifthenelse (visited: IFTHENELSE)
effective procedure
{}
top
visit_ifthen (visited: IFTHEN)
effective procedure
{IFTHEN}
top
require
  • visited /= Void
enter_ifthen (visited: IFTHEN): BOOLEAN
effective function
{}
top
exit_ifthen (visited: IFTHEN)
effective procedure
{}
top
visit_ifthenelse_exp (visited: IFTHENELSE_EXP)
effective procedure
{IFTHENELSE_EXP}
top
require
  • visited /= Void
enter_ifthenelse_exp (visited: IFTHENELSE_EXP): BOOLEAN
effective function
{}
top
exit_ifthenelse_exp (visited: IFTHENELSE_EXP)
effective procedure
{}
top
visit_ifthen_exp (visited: IFTHEN_EXP)
effective procedure
{IFTHEN_EXP}
top
require
  • visited /= Void
enter_ifthen_exp (visited: IFTHEN_EXP): BOOLEAN
effective function
{}
top
exit_ifthen_exp (visited: IFTHEN_EXP)
effective procedure
{}
top
visit_assignment (visited: ASSIGNMENT)
effective procedure
{ASSIGNMENT}
top
require
  • visited /= Void
enter_assignment (visited: ASSIGNMENT): BOOLEAN
effective function
{}
top
exit_assignment (visited: ASSIGNMENT)
effective procedure
{}
top
visit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
effective procedure
{ASSIGNMENT_CALL_ASSIGNER}
top
require
  • visited /= Void
enter_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER): BOOLEAN
effective function
{}
top
exit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
effective procedure
{}
top
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
{ASSIGNMENT_ATTEMPT}
top
require
  • visited /= Void
enter_assignment_attempt (visited: ASSIGNMENT_ATTEMPT): BOOLEAN
effective function
{}
top
exit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
{}
top
visit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
{ASSIGNMENT_TEST}
top
require
  • visited /= Void
enter_assignment_test (visited: ASSIGNMENT_TEST): BOOLEAN
effective function
{}
top
exit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
{}
top
visit_debug_compound (visited: DEBUG_COMPOUND)
effective procedure
{DEBUG_COMPOUND}
top
require
  • visited /= Void
enter_debug_compound (visited: DEBUG_COMPOUND): BOOLEAN
effective function
{}
top
exit_debug_compound (visited: DEBUG_COMPOUND)
effective procedure
{}
top
visit_check_compound (visited: CHECK_COMPOUND)
effective procedure
{CHECK_COMPOUND}
top
require
  • visited /= Void
enter_check_compound (visited: CHECK_COMPOUND): BOOLEAN
effective function
{}
top
exit_check_compound (visited: CHECK_COMPOUND)
effective procedure
{}
top
visit_procedure_call_0 (visited: PROCEDURE_CALL_0)
effective procedure
{PROCEDURE_CALL_0}
top
require
  • visited /= Void
enter_proc_call_0 (visited: PROCEDURE_CALL_0): BOOLEAN
effective function
{}
top
exit_proc_call_0 (visited: PROCEDURE_CALL_0)
effective procedure
{}
top
visit_procedure_call_1 (visited: PROCEDURE_CALL_1)
effective procedure
{PROCEDURE_CALL_1}
top
require
  • visited /= Void
enter_proc_call_1 (visited: PROCEDURE_CALL_1): BOOLEAN
effective function
{}
top
exit_proc_call_1 (visited: PROCEDURE_CALL_1)
effective procedure
{}
top
visit_procedure_call_n (visited: PROCEDURE_CALL_N)
effective procedure
{PROCEDURE_CALL_N}
top
require
  • visited /= Void
enter_proc_call_n (visited: PROCEDURE_CALL_N): BOOLEAN
effective function
{}
top
exit_proc_call_n (visited: PROCEDURE_CALL_N)
effective procedure
{}
top
visit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
{AGENT_INSTRUCTION}
top
require
    • visited /= Void
    • visited /= Void
enter_agent_instruction (visited: AGENT_INSTRUCTION): BOOLEAN
effective function
{}
top
exit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
{}
top
visit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
{CREATE_INSTRUCTION}
top
require
  • visited /= Void
enter_create_instruction (visited: CREATE_INSTRUCTION): BOOLEAN
effective function
{}
top
exit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
{}
top
visit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
effective procedure
{RAW_CREATE_INSTRUCTION}
top
require
  • visited /= Void
enter_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION): BOOLEAN
effective function
{}
top
exit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
effective procedure
{}
top
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
{PRECURSOR_INSTRUCTION}
top
require
  • visited /= Void
enter_precursor_instruction (visited: PRECURSOR_INSTRUCTION): BOOLEAN
effective function
{}
top
exit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
{}
top
visit_loop_instruction (visited: LOOP_INSTRUCTION)
effective procedure
{LOOP_INSTRUCTION}
top
require
  • visited /= Void
enter_e_loop (visited: LOOP_INSTRUCTION): BOOLEAN
effective function
{}
top
exit_e_loop (visited: LOOP_INSTRUCTION)
effective procedure
{}
top
visit_loop_variant (visited: LOOP_VARIANT)
effective procedure
{LOOP_VARIANT}
top
require
    • visited /= Void
    • visited /= Void
enter_loop_variant (visited: LOOP_VARIANT): BOOLEAN
effective function
{}
top
exit_loop_variant (visited: LOOP_VARIANT)
effective procedure
{}
top
visit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
{}
top
visit_other_inspect_statement (visited: OTHER_INSPECT_STATEMENT)
effective procedure
{OTHER_INSPECT_STATEMENT}
top
require
  • visited /= Void
visit_manifest_string_inspect_statement (visited: MANIFEST_STRING_INSPECT_STATEMENT)
effective procedure
{MANIFEST_STRING_INSPECT_STATEMENT}
top
require
  • visited /= Void
visit_c_inline (visited: C_INLINE)
effective procedure
{C_INLINE}
top
require
  • visited /= Void
enter_inspect_statement (visited: INSPECT_STATEMENT): BOOLEAN
effective function
{}
top
exit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
{}
top
visit_when_clause (visited: WHEN_CLAUSE)
effective procedure
{WHEN_CLAUSE}
top
require
    • visited /= Void
    • visited /= Void
enter_when_clause (visited: WHEN_CLAUSE): BOOLEAN
effective function
{}
top
exit_when_clause (visited: WHEN_CLAUSE)
effective procedure
{}
top
visit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
{WHEN_ITEM_1}
top
require
  • visited /= Void
enter_when_item_1 (visited: WHEN_ITEM_1): BOOLEAN
effective function
{}
top
exit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
{}
top
visit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
{WHEN_ITEM_2}
top
require
  • visited /= Void
enter_when_item_2 (visited: WHEN_ITEM_2): BOOLEAN
effective function
{}
top
exit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
{}
top
visit_compound (visited: COMPOUND)
effective procedure
{COMPOUND}
top
require
  • visited /= Void
visit_compound_expression (visited: COMPOUND_EXPRESSION)
effective procedure
{COMPOUND_EXPRESSION}
top
require
  • visited /= Void
enter_compound (visited: COMPOUND): BOOLEAN
effective function
{}
top
exit_compound (visited: COMPOUND)
effective procedure
{}
top
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
{NO_INVARIANT_WRAPPER}
top
require
  • visited /= Void
enter_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER): BOOLEAN
effective function
{}
top
exit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
{}
top
visit_declaration_1 (visited: DECLARATION_1)
effective procedure
{DECLARATION_1}
top
require
  • visited /= Void
enter_declaration_1 (visited: DECLARATION_1): BOOLEAN
effective function
{}
top
exit_declaration_1 (visited: DECLARATION_1)
effective procedure
{}
top
visit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
{DECLARATION_GROUP}
top
require
  • visited /= Void
enter_declaration_group (visited: DECLARATION_GROUP): BOOLEAN
effective function
{}
top
exit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
{}
top
messages: SET[HASHED_STRING]
once function
{}
top
number_messages: DICTIONARY[STRING, HASHED_STRING]
once function
{}
top
smart_eiffel: SMART_EIFFEL
frozen
once function
{ANY}
top
eiffel_parser: EIFFEL_PARSER
frozen
once function
{ANY}
top
ace: ACE
frozen
once function
{ANY}
top
ini_parser: INI_PARSER
frozen
once function
{ANY}
top
plugin_config: INI_PARSER
frozen
once function
{ANY}
top
error_handler: ERROR_HANDLER
frozen
once function
{ANY}
top
string_aliaser: STRING_ALIASER
frozen
once function
{ANY}
top
frozen
once function
{ANY}
top
pretty_printer: PRETTY_PRINTER
frozen
once function
{ANY}
top
mini_buffer: MINI_BUFFER
frozen
once function
{ANY}
top
nb_errors: INTEGER_32
effective function
{ANY}
top
ensure
  • Result >= 0
system_tools: SYSTEM_TOOLS
frozen
once function
{ANY}
top
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
{ANY}
top
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
{ANY}
top
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
{ANY}
top
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
{ANY}
top
live_type_extra_collectors: FAST_ARRAY[LIVE_TYPE_EXTRA_COLLECTOR]
frozen
once function
{ANY}
top
is_launcher: BOOLEAN
effective function
{ACE}
top
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
{SE, COMPILE}
top
ensure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
{}
top
parser_buffer: PARSER_BUFFER
frozen
once function
{SMART_EIFFEL, SYSTEM_TOOLS, VISITOR}
top
id_provider: ID_PROVIDER
frozen
once function
{ANY}
top
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
{ANY}
top
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
{ANY}
top
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
{ANY}
top
agent_pool: AGENT_POOL
frozen
once function
{ANY}
top
cecil_pool: CECIL_POOL
frozen
effective function
{ANY}
top
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
{ANY}
top
set_cecil_pool
frozen
once procedure
{ANY}
top
ensure
short_printer: SHORT_PRINTER
frozen
once function
{ANY}
top
echo: ECHO
frozen
once function
{ANY}
top
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
{ANY}
top
thread_pool: THREAD_POOL
frozen
once function
{ANY}
top
exceptions: EXCEPTIONS
frozen
writable attribute
{ANY}
top
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
{ANY}
top
nb_warnings: INTEGER_32
effective function
{ANY}
top
ensure
  • Result >= 0
tmp_path: STRING
once function
{ANY}
top
tmp_file_read: TEXT_FILE_READ
once function
{ANY}
top
class_any: CLASS_TEXT
once function
{ANY}
top
omitted_client_list: CLIENT_LIST
frozen
once function
{ANY}
top
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
{ANY}
top
any_default_rescue_fs: FEATURE_STAMP
once function
{ANY}
top
any_copy_fs: FEATURE_STAMP
once function
{ANY}
top
any_is_equal_fs: FEATURE_STAMP
once function
{ANY}
top
any_deep_twin_fs: FEATURE_STAMP
once function
{ANY}
top
any_is_deep_equal_fs: FEATURE_STAMP
once function
{ANY}
top
boolean_and_then_fs: FEATURE_STAMP
once function
{ANY}
top
manifest_make_name: HASHED_STRING
once function
{ANY}
top
manifest_put_name: HASHED_STRING
once function
{ANY}
top
manifest_semicolon_check_name: HASHED_STRING
once function
{ANY}
top
manifest_initialize_name: HASHED_STRING
once function
{ANY}
top
calloc_name: HASHED_STRING
once function
{ANY}
top
put_name: HASHED_STRING
once function
{ANY}
top
item_name: HASHED_STRING
once function
{ANY}
top
is_empty_name: HASHED_STRING
once function
{ANY}
top
make_name: HASHED_STRING
once function
{ANY}
top
from_external_sized_copy_name: HASHED_STRING
once function
{ANY}
top
count_name: HASHED_STRING
once function
{ANY}
top
storage_name: HASHED_STRING
once function
{ANY}
top
capacity_name: HASHED_STRING
once function
{ANY}
top
storage_lower_name: HASHED_STRING
once function
{ANY}
top
mark_item_name: HASHED_STRING
once function
{ANY}
top
mark_native_arrays_name: HASHED_STRING
once function
{ANY}
top
and_then_name: HASHED_STRING
once function
{ANY}
top
or_else_name: HASHED_STRING
once function
{ANY}
top
twin_name: HASHED_STRING
once function
{ANY}
top
copy_name: HASHED_STRING
once function
{ANY}
top
is_equal_name: HASHED_STRING
once function
{ANY}
top
deep_twin_name: HASHED_STRING
once function
{ANY}
top
deep_twin_from_name: HASHED_STRING
once function
{ANY}
top
is_deep_equal_name: HASHED_STRING
once function
{ANY}
top
deep_memcmp_name: HASHED_STRING
once function
{ANY}
top
se_atexit_name: HASHED_STRING
once function
{ANY}
top
default_rescue_name: HASHED_STRING
once function
{ANY}
top
default_create_name: HASHED_STRING
once function
{ANY}
top
flush_name: HASHED_STRING
once function
{ANY}
top
clear_all_name: HASHED_STRING
once function
{ANY}
top
from_pointer_name: HASHED_STRING
once function
{ANY}
top
no_errors: BOOLEAN
effective function
{ANY}
top
character_coding (c: CHARACTER, str: STRING)
effective procedure
{ANY}
top
Append in str the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
When the % letter notation exists, it is returned in priority: '%N' gives "%N", '%T' gives "%T", etc. When % letter notation does not exists (not in the ETL table), numbered coding used ("%/1/", "%/2/" etc).
eiffel_suffix: STRING
is ".e"
constant attribute
{ANY}
top
Eiffel Source file suffix.
c_suffix: STRING
is ".c"
constant attribute
{ANY}
top
C files suffix.
h_suffix: STRING
is ".h"
constant attribute
{ANY}
top
Heading C files suffix.
c_plus_plus_suffix: STRING
is ".cpp"
constant attribute
{ANY}
top
C++ files suffix.
backup_suffix: STRING
is ".bak"
constant attribute
{ANY}
top
Backup suffix for command pretty.
class_suffix: STRING
is ".class"
constant attribute
{ANY}
top
dot_precedence: INTEGER_32
is 12
constant attribute
{ANY}
top
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
is 13
constant attribute
{ANY}
top
Used for atomic elements.
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
{ANY}
top
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
{ANY}
top
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
{ANY}
top
is_install: BOOLEAN
effective function
{ANY}
top
set_install
effective procedure
{ANY}
top
ensure
install_memory: REFERENCE[BOOLEAN]
once function
{ANY}
top
unrelated_code: INTEGER_8
is 0
constant attribute
{ANY}
top
inserts_code: INTEGER_8
is 1
constant attribute
{ANY}
top
inherits_code: INTEGER_8
is 2
constant attribute
{ANY}
top
once function
{ANY}
top
shrink_generic_types: BOOLEAN
effective function
{}
top
shrink_generic_types_memory: REFERENCE[BOOLEAN]
once function
{}
top
Set the item to True if you want less generic type duplication
as_any: STRING
is "ANY"
constant attribute
{}
top
as_array: STRING
is "ARRAY"
constant attribute
{}
top
as_boolean: STRING
is "BOOLEAN"
constant attribute
{}
top
as_character: STRING
is "CHARACTER"
constant attribute
{}
top
as_disposable: STRING
is "DISPOSABLE"
constant attribute
{}
top
as_exceptions: STRING
is "EXCEPTIONS"
constant attribute
{}
top
as_fixed_array: STRING
is "FAST_ARRAY"
constant attribute
{}
top
as_function: STRING
is "FUNCTION"
constant attribute
{}
top
as_integer_general: STRING
is "INTEGER_GENERAL"
constant attribute
{}
top
as_integer_8: STRING
is "INTEGER_8"
constant attribute
{}
top
as_integer_16: STRING
is "INTEGER_16"
constant attribute
{}
top
as_integer_32: STRING
is "INTEGER_32"
constant attribute
{}
top
as_integer: STRING
is "INTEGER"
constant attribute
{}
top
as_integer_64: STRING
is "INTEGER_64"
constant attribute
{}
top
as_internals: STRING
is "INTERNALS"
constant attribute
{}
top
as_internals_handler: STRING
is "INTERNALS_HANDLER"
constant attribute
{}
top
as_native_array: STRING
is "NATIVE_ARRAY"
constant attribute
{}
top
as_native_array_collector: STRING
is "NATIVE_ARRAY_COLLECTOR"
constant attribute
{}
top
as_native_array_internals: STRING
is "NATIVE_ARRAY_INTERNALS"
constant attribute
{}
top
as_natural: STRING
is "NATURAL"
constant attribute
{}
top
as_natural_8: STRING
is "NATURAL_8"
constant attribute
{}
top
as_natural_16: STRING
is "NATURAL_16"
constant attribute
{}
top
as_natural_32: STRING
is "NATURAL_32"
constant attribute
{}
top
as_natural_64: STRING
is "NATURAL_64"
constant attribute
{}
top
as_natural_general: STRING
is "NATURAL_GENERAL"
constant attribute
{}
top
as_platform: STRING
is "PLATFORM"
constant attribute
{}
top
as_pointer: STRING
is "POINTER"
constant attribute
{}
top
as_predicate: STRING
is "PREDICATE"
constant attribute
{}
top
as_procedure: STRING
is "PROCEDURE"
constant attribute
{}
top
as_real_general: STRING
is "REAL_GENERAL"
constant attribute
{}
top
as_real_32: STRING
is "REAL_32"
constant attribute
{}
top
as_real: STRING
is "REAL"
constant attribute
{}
top
as_real_64: STRING
is "REAL_64"
constant attribute
{}
top
as_real_80: STRING
is "REAL_80"
constant attribute
{}
top
as_real_128: STRING
is "REAL_128"
constant attribute
{}
top
as_real_extended: STRING
is "REAL_EXTENDED"
constant attribute
{}
top
as_routine: STRING
is "ROUTINE"
constant attribute
{}
top
as_set: STRING
is "SET"
constant attribute
{}
top
as_string: STRING
is "STRING"
constant attribute
{}
top
as_text_file_read: STRING
is "TEXT_FILE_READ"
constant attribute
{}
top
as_text_file_write: STRING
is "TEXT_FILE_WRITE"
constant attribute
{}
top
as_thread_context: STRING
is "THREAD_CONTEXT"
constant attribute
{}
top
as_thread_lock: STRING
is "THREAD_LOCK"
constant attribute
{}
top
as_tuple: STRING
is "TUPLE"
constant attribute
{}
top
as_type: STRING
is "TYPE"
constant attribute
{}
top
as_typed_internals: STRING
is "TYPED_INTERNALS"
constant attribute
{}
top
as_unicode_string: STRING
is "UNICODE_STRING"
constant attribute
{}
top
as_weak_reference: STRING
is "WEAK_REFERENCE"
constant attribute
{}
top
as_a1: STRING
is "a1"
constant attribute
{}
top
as_add_last: STRING
is "add_last"
constant attribute
{}
top
as_agent: STRING
is "agent"
constant attribute
{}
top
as_allocated_bytes: STRING
is "allocated_bytes"
constant attribute
{}
top
as_alloc_native_data: STRING
is "alloc_native_data"
constant attribute
{}
top
as_as_16_ne: STRING
is "as_16_ne"
constant attribute
{}
top
as_as_32_ne: STRING
is "as_32_ne"
constant attribute
{}
top
as_atan2: STRING
is "atan2"
constant attribute
{}
top
as_blank: STRING
is "blank"
constant attribute
{}
top
as_bit_clear: STRING
is "bit_clear"
constant attribute
{}
top
as_bit_put: STRING
is "bit_put"
constant attribute
{}
top
as_bit_rotate: STRING
is "bit_rotate"
constant attribute
{}
top
as_bit_set: STRING
is "bit_set"
constant attribute
{}
top
as_bit_xor: STRING
is "bit_xor"
constant attribute
{}
top
as_boolean_bits: STRING
is "Boolean_bits"
constant attribute
{}
top
as_call: STRING
is "call"
constant attribute
{}
top
as_calloc: STRING
is "calloc"
constant attribute
{}
top
as_capacity: STRING
is "capacity"
constant attribute
{}
top
as_ceiling: STRING
is "ceiling"
constant attribute
{}
top
as_character_bits: STRING
is "Character_bits"
constant attribute
{}
top
as_clear_all: STRING
is "clear_all"
constant attribute
{}
top
as_count: STRING
is "count"
constant attribute
{}
top
as_code: STRING
is "code"
constant attribute
{}
top
as_collecting: STRING
is "collecting"
constant attribute
{}
top
as_collection_off: STRING
is "collection_off"
constant attribute
{}
top
as_collection_on: STRING
is "collection_on"
constant attribute
{}
top
as_collector_counter: STRING
is "collector_counter"
constant attribute
{}
top
as_copy: STRING
is "copy"
constant attribute
{}
top
as_c_inline_c: STRING
is "c_inline_c"
constant attribute
{}
top
as_c_inline_h: STRING
is "c_inline_h"
constant attribute
{}
top
as_default_create: STRING
is "default_create"
constant attribute
{}
top
as_default_rescue: STRING
is "default_rescue"
constant attribute
{}
top
as_deep_memcmp: STRING
is "deep_memcmp"
constant attribute
{}
top
as_deep_twin: STRING
is "deep_twin"
constant attribute
{}
top
as_deep_twin_from: STRING
is "deep_twin_from"
constant attribute
{}
top
as_dispose: STRING
is "dispose"
constant attribute
{}
top
as_die_with_code: STRING
is "die_with_code"
constant attribute
{}
top
as_element_sizeof: STRING
is "element_sizeof"
constant attribute
{}
top
as_exception: STRING
is "exception"
constant attribute
{}
top
as_for_object: STRING
is "for_object"
constant attribute
{}
top
as_type_can_be_assigned_to_attribute: STRING
is "type_can_be_assigned_to_attribute"
constant attribute
{}
top
as_type_can_be_assigned_to_item: STRING
is "type_can_be_assigned_to_item"
constant attribute
{}
top
as_type_attribute_count: STRING
is "type_attribute_count"
constant attribute
{}
top
as_type_attribute_generator: STRING
is "type_attribute_generator"
constant attribute
{}
top
as_type_attribute_generating_type: STRING
is "type_attribute_generating_type"
constant attribute
{}
top
as_type_attribute_is_expanded: STRING
is "type_attribute_is_expanded"
constant attribute
{}
top
as_type_attribute_name: STRING
is "type_attribute_name"
constant attribute
{}
top
as_fifth: STRING
is "fifth"
constant attribute
{}
top
as_first: STRING
is "first"
constant attribute
{}
top
as_floor: STRING
is "floor"
constant attribute
{}
top
as_flush: STRING
is "flush"
constant attribute
{}
top
as_fourth: STRING
is "fourth"
constant attribute
{}
top
as_force_to_integer_16: STRING
is "force_to_integer_16"
constant attribute
{}
top
as_force_to_integer_32: STRING
is "force_to_integer_32"
constant attribute
{}
top
as_force_to_integer_64: STRING
is "force_to_integer_64"
constant attribute
{}
top
as_force_to_natural_16: STRING
is "force_to_natural_16"
constant attribute
{}
top
as_force_to_natural_32: STRING
is "force_to_natural_32"
constant attribute
{}
top
as_force_to_natural_64: STRING
is "force_to_natural_64"
constant attribute
{}
top
as_force_to_real_32: STRING
is "force_to_real_32"
constant attribute
{}
top
as_force_to_real_64: STRING
is "force_to_real_64"
constant attribute
{}
top
as_free_native_data: STRING
is "free_native_data"
constant attribute
{}
top
as_from_external_sized_copy: STRING
is "from_external_sized_copy"
constant attribute
{}
top
as_from_pointer: STRING
is "from_pointer"
constant attribute
{}
top
as_full_collect: STRING
is "full_collect"
constant attribute
{}
top
as_generating_type: STRING
is "generating_type"
constant attribute
{}
top
as_generator: STRING
is "generator"
constant attribute
{}
top
as_io: STRING
is "io"
constant attribute
{}
top
as_integer_bits: STRING
is "Integer_bits"
constant attribute
{}
top
as_internals_from_generating_type: STRING
is "internals_from_generating_type"
constant attribute
{}
top
as_is_basic_expanded_type: STRING
is "is_basic_expanded_type"
constant attribute
{}
top
as_is_deep_equal: STRING
is "is_deep_equal"
constant attribute
{}
top
as_is_equal: STRING
is "is_equal"
constant attribute
{}
top
as_do_at_exit: STRING
is "do_at_exit"
constant attribute
{}
top
as_is_empty: STRING
is "is_empty"
constant attribute
{}
top
as_is_finished: STRING
is "is_finished"
constant attribute
{}
top
as_is_infinity: STRING
is "is_infinity"
constant attribute
{}
top
as_is_locked: STRING
is "is_locked"
constant attribute
{}
top
as_is_normal: STRING
is "is_normal"
constant attribute
{}
top
as_is_not_a_number: STRING
is "is_not_a_number"
constant attribute
{}
top
as_is_not_null: STRING
is "is_not_null"
constant attribute
{}
top
as_is_started: STRING
is "is_started"
constant attribute
{}
top
as_is_subnormal: STRING
is "is_subnormal"
constant attribute
{}
top
as_item: STRING
is "item"
constant attribute
{}
top
as_last: STRING
is "last"
constant attribute
{}
top
as_lock: STRING
is "lock"
constant attribute
{}
top
as_lower: STRING
is "lower"
constant attribute
{}
top
as_low_8: STRING
is "low_8"
constant attribute
{}
top
as_low_16: STRING
is "low_16"
constant attribute
{}
top
as_low_32: STRING
is "low_32"
constant attribute
{}
top
as_native_array_internals_from_generating_type: STRING
is "native_array_internals_from_generating_type"
constant attribute
{}
top
as_make: STRING
is "make"
constant attribute
{}
top
as_make_blank: STRING
is "make_blank"
constant attribute
{}
top
as_mark_item: STRING
is "mark_item"
constant attribute
{}
top
as_mark_native_arrays: STRING
is "mark_native_arrays"
constant attribute
{}
top
as_minimum_character_code: STRING
is "Minimum_character_code"
constant attribute
{}
top
as_minimum_double: STRING
is "Minimum_double"
constant attribute
{}
top
as_minimum_real: STRING
is "Minimum_real"
constant attribute
{}
top
as_manifest_creation: STRING
is "manifest_creation"
constant attribute
{}
top
as_manifest_initialize: STRING
is "manifest_initialize"
constant attribute
{}
top
as_manifest_make: STRING
is "manifest_make"
constant attribute
{}
top
as_manifest_put: STRING
is "manifest_put"
constant attribute
{}
top
as_manifest_semicolon_check: STRING
is "manifest_semicolon_check"
constant attribute
{}
top
as_maximum_character_code: STRING
is "Maximum_character_code"
constant attribute
{}
top
as_maximum_double: STRING
is "Maximum_double"
constant attribute
{}
top
as_maximum_real: STRING
is "Maximum_real"
constant attribute
{}
top
as_native_data: STRING
is "native_data"
constant attribute
{}
top
as_notify: STRING
is "notify"
constant attribute
{}
top
as_notify_all: STRING
is "notify_all"
constant attribute
{}
top
as_object_as_pointer: STRING
is "object_as_pointer"
constant attribute
{}
top
as_object_attribute: STRING
is "object_attribute"
constant attribute
{}
top
as_object_invariant: STRING
is "object_invariant"
constant attribute
{}
top
as_object_memory: STRING
is "object_memory"
constant attribute
{}
top
as_object_size: STRING
is "object_size"
constant attribute
{}
top
as_pointer_bits: STRING
is "Pointer_bits"
constant attribute
{}
top
as_pow_postfix: STRING
is "pow"
constant attribute
{}
top
as_print: STRING
is "print"
constant attribute
{}
top
as_print_on: STRING
is "print_on"
constant attribute
{}
top
as_print_run_time_stack: STRING
is "print_run_time_stack"
constant attribute
{}
top
as_put: STRING
is "put"
constant attribute
{}
top
as_put_0: STRING
is "put_0"
constant attribute
{}
top
as_put_1: STRING
is "put_1"
constant attribute
{}
top
as_put_16_be: STRING
is "put_16_be"
constant attribute
{}
top
as_put_16_le: STRING
is "put_16_le"
constant attribute
{}
top
as_put_16_ne: STRING
is "put_16_ne"
constant attribute
{}
top
as_put_32_be: STRING
is "put_32_be"
constant attribute
{}
top
as_put_32_le: STRING
is "put_32_le"
constant attribute
{}
top
as_put_32_ne: STRING
is "put_32_ne"
constant attribute
{}
top
as_raise_exception: STRING
is "raise_exception"
constant attribute
{}
top
as_real_bits: STRING
is "Real_bits"
constant attribute
{}
top
as_realloc: STRING
is "realloc"
constant attribute
{}
top
as_rounded: STRING
is "rounded"
constant attribute
{}
top
as_run: STRING
is "run"
constant attribute
{}
top
as_same_dynamic_type: STRING
is "same_dynamic_type"
constant attribute
{}
top
as_second: STRING
is "second"
constant attribute
{}
top
as_se_argc: STRING
is "se_argc"
constant attribute
{}
top
as_se_argv: STRING
is "se_argv"
constant attribute
{}
top
as_se_atexit: STRING
is "se_atexit"
constant attribute
{}
top
as_se_fault: STRING
is "se_fault"
constant attribute
{}
top
as_sedb_breakpoint: STRING
is "sedb_breakpoint"
constant attribute
{}
top
as_set_item: STRING
is "set_item"
constant attribute
{}
top
as_set_object_attribute: STRING
is "set_object_attribute"
constant attribute
{}
top
as_signal_number: STRING
is "signal_number"
constant attribute
{}
top
as_slice_copy: STRING
is "slice_copy"
constant attribute
{}
top
as_standard_copy: STRING
is "standard_copy"
constant attribute
{}
top
as_standard_is_equal: STRING
is "standard_is_equal"
constant attribute
{}
top
as_standard_twin: STRING
is "standard_twin"
constant attribute
{}
top
as_status: STRING
is "status"
constant attribute
{}
top
as_std_error: STRING
is "std_error"
constant attribute
{}
top
as_std_input: STRING
is "std_input"
constant attribute
{}
top
as_std_output: STRING
is "std_output"
constant attribute
{}
top
as_stderr: STRING
is "stderr"
constant attribute
{}
top
as_stdin: STRING
is "stdin"
constant attribute
{}
top
as_stdout: STRING
is "stdout"
constant attribute
{}
top
as_storage: STRING
is "storage"
constant attribute
{}
top
as_storage_lower: STRING
is "storage_lower"
constant attribute
{}
top
as_third: STRING
is "third"
constant attribute
{}
top
as_timed_wait: STRING
is "timed_wait"
constant attribute
{}
top
as_to_character: STRING
is "to_character"
constant attribute
{}
top
as_to_integer_8: STRING
is "to_integer_8"
constant attribute
{}
top
as_to_integer_16: STRING
is "to_integer_16"
constant attribute
{}
top
as_to_integer_32: STRING
is "to_integer_32"
constant attribute
{}
top
as_to_integer_64: STRING
is "to_integer_64"
constant attribute
{}
top
as_to_internals: STRING
is "to_internals"
constant attribute
{}
top
as_to_natural_8: STRING
is "to_natural_8"
constant attribute
{}
top
as_to_natural_16: STRING
is "to_natural_16"
constant attribute
{}
top
as_to_natural_32: STRING
is "to_natural_32"
constant attribute
{}
top
as_to_natural_64: STRING
is "to_natural_64"
constant attribute
{}
top
as_to_pointer: STRING
is "to_pointer"
constant attribute
{}
top
as_trace_switch: STRING
is "trace_switch"
constant attribute
{}
top
as_twin: STRING
is "twin"
constant attribute
{}
top
as_type_generating_type: STRING
is "type_generating_type"
constant attribute
{}
top
as_type_generator: STRING
is "type_generator"
constant attribute
{}
top
as_type_is_expanded: STRING
is "type_is_expanded"
constant attribute
{}
top
as_type_item_generating_type: STRING
is "type_item_generating_type"
constant attribute
{}
top
as_type_item_generator: STRING
is "type_item_generator"
constant attribute
{}
top
as_type_item_is_expanded: STRING
is "type_item_is_expanded"
constant attribute
{}
top
as_unlock: STRING
is "unlock"
constant attribute
{}
top
as_upper: STRING
is "upper"
constant attribute
{}
top
as_valid_generating_type_for_internals: STRING
is "valid_generating_type_for_internals"
constant attribute
{}
top
as_valid_generating_type_for_native_array_internals: STRING
is "valid_generating_type_for_native_array_internals"
constant attribute
{}
top
as_wait: STRING
is "wait"
constant attribute
{}
top
as_with_capacity: STRING
is "with_capacity"
constant attribute
{}
top
as_and: STRING
is "and"
constant attribute
{}
top
as_and_then: STRING
is "and then"
constant attribute
{}
top
as_at: STRING
is "@"
constant attribute
{}
top
as_backslash_backslash: STRING
is "\\"
constant attribute
{}
top
as_bit_and: STRING
is "&"
constant attribute
{}
top
as_bit_not: STRING
is "~"
constant attribute
{}
top
as_bit_or: STRING
is "|"
constant attribute
{}
top
as_bit_rotate_left: STRING
is "#<<"
constant attribute
{}
top
as_bit_rotate_right: STRING
is "#>>"
constant attribute
{}
top
as_bit_shift_right_unsigned: STRING
is "|>>>"
constant attribute
{}
top
as_brackets: STRING
is "[]"
constant attribute
{}
top
as_eq: STRING
is "="
constant attribute
{}
top
as_ge: STRING
is ">="
constant attribute
{}
top
as_gt: STRING
is ">"
constant attribute
{}
top
as_implies: STRING
is "implies"
constant attribute
{}
top
as_le: STRING
is "<="
constant attribute
{}
top
as_lt: STRING
is "<"
constant attribute
{}
top
as_minus: STRING
is "-"
constant attribute
{}
top
as_muls: STRING
is "*"
constant attribute
{}
top
as_neq: STRING
is "/="
constant attribute
{}
top
as_not: STRING
is "not"
constant attribute
{}
top
as_or: STRING
is "or"
constant attribute
{}
top
as_or_else: STRING
is "or else"
constant attribute
{}
top
as_parentheses: STRING
is "()"
constant attribute
{}
top
as_plus: STRING
is "+"
constant attribute
{}
top
as_pow: STRING
is "^"
constant attribute
{}
top
as_sharp_backslash_backslash: STRING
is "#\\"
constant attribute
{}
top
as_sharp_minus: STRING
is "#-"
constant attribute
{}
top
as_sharp_muls: STRING
is "#*"
constant attribute
{}
top
as_sharp_plus: STRING
is "#+"
constant attribute
{}
top
as_sharp_slash_slash: STRING
is "#//"
constant attribute
{}
top
as_bit_shift_left: STRING
is "|<<"
constant attribute
{}
top
as_bit_shift_right: STRING
is "|>>"
constant attribute
{}
top
as_slash: STRING
is "/"
constant attribute
{}
top
as_slash_slash: STRING
is "//"
constant attribute
{}
top
as_xor: STRING
is "xor"
constant attribute
{}
top
as_arguments: STRING
is "arguments"
constant attribute
{}
top
as_current: STRING
is "Current"
constant attribute
{}
top
as_native_array_character: STRING
is "NATIVE_ARRAY[CHARACTER]"
constant attribute
{}
top
as_last_result: STRING
is "last_result"
constant attribute
{}
top
as_like_current: STRING
is "like Current"
constant attribute
{}
top
as_method: STRING
is "method"
constant attribute
{}
top
as_open_arguments: STRING
is "open_arguments"
constant attribute
{}
top
as_open_argument_indices: STRING
is "open_argument_indices"
constant attribute
{}
top
as_open_argument_index: STRING
is "open_argument_index"
constant attribute
{}
top
as_open_argument_count: STRING
is "open_argument_count"
constant attribute
{}
top
as_precursor: STRING
is "Precursor"
constant attribute
{}
top
as_result: STRING
is "Result"
constant attribute
{}
top
as_target: STRING
is "target"
constant attribute
{}
top
as_void: STRING
is "Void"
constant attribute
{}
top
fz_adapt: STRING
is "adapt"
constant attribute
{}
top
fz_alias: STRING
is "alias"
constant attribute
{}
top
fz_all: STRING
is "all"
constant attribute
{}
top
fz_as: STRING
is "as"
constant attribute
{}
top
fz_assertion: STRING
is "assertion"
constant attribute
{}
top
fz_assertion_flat_check: STRING
is "assertion_flat_check"
constant attribute
{}
top
fz_assign: STRING
is "assign"
constant attribute
{}
top
fz_begin_c_compile: STRING
is "# Beginning of parallelizable section"
constant attribute
{}
top
fz_boost: STRING
is "boost"
constant attribute
{}
top
fz_check: STRING
is "check"
constant attribute
{}
top
fz_class: STRING
is "class"
constant attribute
{}
top
fz_cluster: STRING
is "cluster"
constant attribute
{}
top
fz_convert: STRING
is "convert"
constant attribute
{}
top
fz_create: STRING
is "create"
constant attribute
{}
top
fz_creation: STRING
is "creation"
constant attribute
{}
top
fz_debug: STRING
is "debug"
constant attribute
{}
top
fz_default: STRING
is "default"
constant attribute
{}
top
fz_deferred: STRING
is "deferred"
constant attribute
{}
top
fz_do: STRING
is "do"
constant attribute
{}
top
fz_else: STRING
is "else"
constant attribute
{}
top
fz_elseif: STRING
is "elseif"
constant attribute
{}
top
fz_end: STRING
is "end"
constant attribute
{}
top
fz_end_c_compile: STRING
is "# End of parallelizable section"
constant attribute
{}
top
fz_ensure: STRING
is "ensure"
constant attribute
{}
top
fz_exclude: STRING
is "exclude"
constant attribute
{}
top
fz_expanded: STRING
is "expanded"
constant attribute
{}
top
fz_export: STRING
is "export"
constant attribute
{}
top
fz_external: STRING
is "external"
constant attribute
{}
top
fz_false: STRING
is "False"
constant attribute
{}
top
fz_feature: STRING
is "feature"
constant attribute
{}
top
fz_from: STRING
is "from"
constant attribute
{}
top
fz_frozen: STRING
is "frozen"
constant attribute
{}
top
fz_generate: STRING
is "generate"
constant attribute
{}
top
fz_if: STRING
is "if"
constant attribute
{}
top
fz_include: STRING
is "include"
constant attribute
{}
top
fz_indexing: STRING
is "indexing"
constant attribute
{}
top
fz_infix: STRING
is "infix"
constant attribute
{}
top
fz_inherit: STRING
is "inherit"
constant attribute
{}
top
fz_insert: STRING
is "insert"
constant attribute
{}
top
fz_inline: STRING
is "inline"
constant attribute
{}
top
fz_inspect: STRING
is "inspect"
constant attribute
{}
top
fz_invariant: STRING
is "invariant"
constant attribute
{}
top
fz_is: STRING
is "is"
constant attribute
{}
top
fz_like: STRING
is "like"
constant attribute
{}
top
fz_local: STRING
is "local"
constant attribute
{}
top
fz_loop: STRING
is "loop"
constant attribute
{}
top
fz_no: STRING
is "no"
constant attribute
{}
top
fz_note: STRING
is "note"
constant attribute
{}
top
fz_obsolete: STRING
is "obsolete"
constant attribute
{}
top
fz_old: STRING
is "old"
constant attribute
{}
top
fz_once: STRING
is "once"
constant attribute
{}
top
fz_option: STRING
is "option"
constant attribute
{}
top
fz_prefix: STRING
is "prefix"
constant attribute
{}
top
fz_redefine: STRING
is "redefine"
constant attribute
{}
top
fz_rename: STRING
is "rename"
constant attribute
{}
top
fz_require: STRING
is "require"
constant attribute
{}
top
fz_rescue: STRING
is "rescue"
constant attribute
{}
top
fz_retry: STRING
is "retry"
constant attribute
{}
top
fz_runtime: STRING
is "runtime"
constant attribute
{}
top
fz_separate: STRING
is "separate"
constant attribute
{}
top
fz_reference: STRING
is "reference"
constant attribute
{}
top
fz_then: STRING
is "then"
constant attribute
{}
top
fz_trace: STRING
is "trace"
constant attribute
{}
top
fz_true: STRING
is "True"
constant attribute
{}
top
fz_undefine: STRING
is "undefine"
constant attribute
{}
top
fz_unique: STRING
is "unique"
constant attribute
{}
top
fz_until: STRING
is "until"
constant attribute
{}
top
fz_use: STRING
is "use"
constant attribute
{}
top
fz_variant: STRING
is "variant"
constant attribute
{}
top
fz_when: STRING
is "when"
constant attribute
{}
top
fz_yes: STRING
is "yes"
constant attribute
{}
top
fz_cad: STRING
is "Cyclic anchored definition."
constant attribute
{}
top
fz_dtideena: STRING
is " has no compiler-defined `deep_twin' or `is_deep_equal' because the corresponding allocated size is not part of the NATIVE_ARRAY object. The client class of this NATIVE_ARRAY type is supposed to use a `capacity' attribute which contains the corresponding number of allocated items (see STRING or ARRAY for example)."
constant attribute
{}
top
fz_error_stars: STRING
is "****** "
constant attribute
{}
top
fz_vuar4: STRING
is "The $ operator must be followed by the final name of a feature which is not a constant attribute or by the name of some local variable as well."
constant attribute
{}
top
fz_bin: STRING
is "bin"
constant attribute
{}
top
fz_c_shift_left: STRING
is "<<"
constant attribute
{}
top
fz_c_shift_right: STRING
is ">>"
constant attribute
{}
top
fz_install: STRING
is "install"
constant attribute
{}
top
fz_jobs: STRING
is "jobs"
constant attribute
{}
top
fz_no_check: STRING
is "no_check"
constant attribute
{}
top
fz_none: STRING
is "none"
constant attribute
{}
top
fz_libertyeiffel: STRING
is "LibertyEiffel"
constant attribute
{}
top
fz_seconf: STRING
is "LIBERTY_CONF"
constant attribute
{}
top
The environment name pointing to the config file.
fz_conf_general: STRING
is "General"
constant attribute
{}
top
fz_conf_loadpath: STRING
is "Loadpath"
constant attribute
{}
top
fz_conf_environment: STRING
is "Environment"
constant attribute
{}
top
since version 2
fz_conf_se_tools: STRING
is "Tools"
constant attribute
{}
top
since version 3
fz_conf_bin: STRING
is "bin"
constant attribute
{}
top
fz_conf_lib: STRING
is "lib"
constant attribute
{}
top
fz_conf_sys: STRING
is "sys"
constant attribute
{}
top
fz_conf_short: STRING
is "short"
constant attribute
{}
top
fz_conf_tools: STRING
is "tools"
constant attribute
{}
top
fz_conf_os: STRING
is "os"
constant attribute
{}
top
fz_conf_flavor: STRING
is "flavor"
constant attribute
{}
top
fz_conf_jobs: STRING
is "jobs"
constant attribute
{}
top
fz_conf_boost: STRING
is "boost"
constant attribute
{}
top
fz_conf_no_check: STRING
is "no_check"
constant attribute
{}
top
fz_conf_require_check: STRING
is "require_check"
constant attribute
{}
top
fz_conf_ensure_check: STRING
is "ensure_check"
constant attribute
{}
top
fz_conf_invariant_check: STRING
is "invariant_check"
constant attribute
{}
top
fz_conf_loop_check: STRING
is "loop_check"
constant attribute
{}
top
fz_conf_all_check: STRING
is "all_check"
constant attribute
{}
top
fz_conf_debug_check: STRING
is "debug_check"
constant attribute
{}
top
fz_conf_flat_check: STRING
is "flat_check"
constant attribute
{}
top
fz_conf_smarteiffel_options: STRING
is "smarteiffel_options"
constant attribute
{}
top
fz_conf_undefined: STRING
is "undefined"
constant attribute
{}
top
fz_conf_tag: STRING
is "tag"
constant attribute
{}
top
fz_conf_compiler_type: STRING
is "c_compiler_type"
constant attribute
{}
top
fz_conf_compiler_path: STRING
is "c_compiler_path"
constant attribute
{}
top
fz_conf_linker_path: STRING
is "c_linker_path"
constant attribute
{}
top
fz_conf_strip_path: STRING
is "c_strip_path"
constant attribute
{}
top
fz_conf_compiler_options: STRING
is "c_compiler_options"
constant attribute
{}
top
fz_conf_linker_options: STRING
is "c_linker_options"
constant attribute
{}
top
fz_conf_cpp_compiler_type: STRING
is "cpp_compiler_type"
constant attribute
{}
top
fz_conf_cpp_compiler_path: STRING
is "cpp_compiler_path"
constant attribute
{}
top
fz_conf_cpp_compiler_options: STRING
is "cpp_compiler_options"
constant attribute
{}
top
fz_conf_cpp_linker_path: STRING
is "cpp_linker_path"
constant attribute
{}
top
fz_conf_cpp_strip_path: STRING
is "cpp_strip_path"
constant attribute
{}
top
fz_conf_cpp_linker_options: STRING
is "cpp_linker_options"
constant attribute
{}
top
procedure_count: INTEGER_32
writable attribute
{}
top
function_count: INTEGER_32
writable attribute
{}
top
precursor_routine_count: INTEGER_32
writable attribute
{}
top
real_procedure_count: INTEGER_32
writable attribute
{}
top
real_function_count: INTEGER_32
writable attribute
{}
top
static_expression_count: INTEGER_32
writable attribute
{}
top
incr_real_procedure_count
effective procedure
{ANY}
top
incr_procedure_count
effective procedure
{ANY}
top
incr_real_function_count
effective procedure
{ANY}
top
incr_function_count
effective procedure
{ANY}
top
incr_precursor_routine_count
effective procedure
{ANY}
top
writable attribute
{}
top
Index for top of followings stacks.
context_stack: FAST_ARRAY[CODE_CONTEXT]
once function
{}
top
The indicating stack.
It contains only one of the following unique code.
stack_top: CODE_CONTEXT
effective function
{}
top
require ensure
  • Result.valid
stack_first_size: INTEGER_32
is 12
constant attribute
{}
top
stack_push (code: INTEGER_32)
effective procedure
{}
top
Push the code and resize all stacks if needed.
ensure
unused_contexts: ARRAY[FAST_ARRAY[CODE_CONTEXT]]
writable attribute
{}
top
reserve_context (code: INTEGER_32): CODE_CONTEXT
effective function
{}
top
ensure
  • Result.code = code
  • Result.valid
free_context (ctx: CODE_CONTEXT)
effective procedure
{}
top
require
  • ctx.valid
ensure
  • not ctx.valid
pop
effective procedure
{ANY}
top
ensure
  • old top = top + 1
  • context_stack.valid_index(top) implies stack_top.valid
        • not (old stack_top).valid
        • Well, at time being, the previous assertion cannot be compiled....
        • Dom. june 8th 2008 ***

check_top (st: CODE_CONTEXT): BOOLEAN
effective function
{}
top
To make checks coherent, the stack must be cleaned
push_direct (rf: RUN_FEATURE, type: TYPE, target: EXPRESSION, args: EFFECTIVE_ARG_LIST)
effective procedure
{PRECURSOR_CALL}
top
require
  • rf /= Void
  • type /= Void
push_precursor (type: TYPE, rf: RUN_FEATURE, args: EFFECTIVE_ARG_LIST)
effective procedure
{PRECURSOR_CALL}
top
require
  • rf /= Void
stack_not_full: BOOLEAN
effective function
{RUN_FEATURE_3}
top
stack_overflow
effective procedure
{}
top
new_context (code: INTEGER_32): CODE_CONTEXT
effective function
{}
top
ensure
  • not Result.valid
C_direct_call: INTEGER_32
is 5
constant attribute
{}
top
Target is sure not to be Void and there is only one possible type (target often Current, a manifest string or some expanded).
C_create_instruction: INTEGER_32
is 6
constant attribute
{}
top
Target has just been created with a create instruction and needs to be initialised with some create procedure call.
C_create_expression: INTEGER_32
is 7
constant attribute
{}
top
Target has just been created with a create expression and needs to be initialized inside the create function.
C_inside_twin: INTEGER_32
is 8
constant attribute
{}
top
In order to call the user's copy.
C_precursor: INTEGER_32
is 9
constant attribute
{}
top
For Precursor calls.
C_inside_some_wrapper: INTEGER_32
is 10
constant attribute
{}
top
The feature to be called is inside some wrapper using the most general convention.
C_cecil_create: INTEGER_32
is 11
constant attribute
{}
top
The target has just been created, the create instruction is called via CECIL
command_line_name: STRING
effective function
{ANY}
top
Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
bootstrap
effective procedure
{}
top
root_class_name: STRING
writable attribute
{}
top
The name of the root class, if an ACE file is not used.
root_procedure_name: STRING
writable attribute
{}
top
The name of the root procedure, if an ACE file is not used.
command_line_help_summary: STRING
deferred function
{ANY}
top
The traditional "-help" flag summary of information about available options.
flag_match (flag: STRING, arg: STRING): BOOLEAN
effective function
{}
top
Does arg smoothly match with the flag model?
 Where arg can be like -flag or --flag as
well as the classic Windows notation /flag too.
GNU-style hyphens are also accepted in place of underscores.
require
  • not flag.is_empty and arg /= Void
is_help_flag (flag: STRING): BOOLEAN
effective function
{}
top
Is it like some traditional help flag?
help_flag: BOOLEAN
writable attribute
{}
top
Memory of is_help_flag.
search_for_echo_redirect_flag: STRING
effective function
{}
top
Search for the -output_error_warning_on flag among arguments in order to apply redirection as early as possible (should be called first when the command accept this flag).
A non Void Result indicates the redirection path.
search_for_verbose_flag
effective procedure
{}
top
Search the -verbose flag among 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).
valid_arg_index (i: INTEGER_32): BOOLEAN
effective function
{}
top
search_for_cc_flag
effective procedure
{}
top
To know about the C compiler as soon as possible.
ace_file_mode: BOOLEAN
effective function
{}
top
Search for some ACE file name in the command line arguments.
 When some argument has the
appropriate suffix (ie. ".ace" or ".ACE"), the ace parser is automatically launched in order to
parse this configuration file. The caller is then notified that we are now in ACE mode (the result
is True). When we are in ACE mode, remaining allowed arguments are automatically handled.
is_some_flag (arg: STRING): BOOLEAN
effective function
{}
top
is_relax_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_case_insensitive_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_style_warning_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_flymake_mode_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_no_warning_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_trace_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_verbose_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_clean_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_version_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_version_flag_no_exit (flag: STRING): BOOLEAN
effective function
{}
top
version_flag: BOOLEAN
writable attribute
{}
top
Memory of is_version_flag.
is_a_compilation_level_flag (flag: STRING): BOOLEAN
effective function
{}
top
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
{}
top
Is the flag "-debug"
is_flat_check_flag (flag: STRING): BOOLEAN
effective function
{}
top
Is the flag "-flat_check"
is_output_error_warning_on_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
top
is_cecil_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
top
is_o_flag (flag: STRING, argi: INTEGER_32): BOOLEAN
effective function
{}
top
is_safety_check_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_manifest_string_trace_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_no_rescue_flag (flag: STRING): BOOLEAN
effective function
{}
top
is_high_memory_compiler (flag: STRING): BOOLEAN
effective function
{}
top
is_profile (flag: STRING): BOOLEAN
effective function
{}
top
is_run (flag: STRING): BOOLEAN
effective function
{}
top
level_flag: STRING
writable attribute
{}
top
check_for_level (new_level_flag: STRING)
effective procedure
{}
top
unknown_flag_exit (flag: STRING)
effective procedure
{}
top
fatal_bad_usage
effective procedure
{}
top
argument_count: INTEGER_32
effective function
{ANY}
top
Number of arguments given to command that started system execution (command name does not count).
ensure
  • Result >= 0
argument (i: INTEGER_32): STRING
effective function
{ANY}
top
i th argument of command that started system execution Gives the command name if i is 0.
require ensure
  • Result /= Void
command_name: STRING
effective function
{ANY}
top
command_arguments: FAST_ARRAY[STRING]
frozen
once function
{}
top
Give access to arguments command line including the command name at index 0.
This is a once function, so you can modify command-line arguments! (NOTE: just be sure not to remove the first argument, although you may change it)
ensure
  • not Result.is_empty
se_argc: INTEGER_32
{}
top
To implement command_arguments
se_argv (i: INTEGER_32): STRING
{}
top
To implement command_arguments
fz_case_insensitive: STRING
is "case_insensitive"
constant attribute
{}
top
fz_cc: STRING
is "cc"
constant attribute
{}
top
fz_cecil: STRING
is "cecil"
constant attribute
{}
top
fz_clean: STRING
is "clean"
constant attribute
{}
top
fz_c_mode: STRING
is "c_mode"
constant attribute
{}
top
fz_expect: STRING
is "expect"
constant attribute
{}
top
fz_flymake_mode: STRING
is "flymake_mode"
constant attribute
{}
top
fz_gc_info: STRING
is "gc_info"
constant attribute
{}
top
fz_help: STRING
is "help"
constant attribute
{}
top
fz_high_memory_compiler: STRING
is "high_memory_compiler"
constant attribute
{}
top
fz_loadpath: STRING
is "loadpath"
constant attribute
{}
top
fz_manifest_string_trace: STRING
is "manifest_string_trace"
constant attribute
{}
top
fz_mock: STRING
is "mock"
constant attribute
{}
top
fz_no_main: STRING
is "no_main"
constant attribute
{}
top
fz_no_split: STRING
is "no_split"
constant attribute
{}
top
fz_no_strip: STRING
is "no_strip"
constant attribute
{}
top
fz_style_warning: STRING
is "style_warning"
constant attribute
{}
top
fz_no_warning: STRING
is "no_warning"
constant attribute
{}
top
fz_o: STRING
is "-o"
constant attribute
{}
top
fz_profile: STRING
is "profile"
constant attribute
{}
top
fz_relax: STRING
is "relax"
constant attribute
{}
top
fz_safety_check: STRING
is "safety_check"
constant attribute
{}
top
fz_sedb: STRING
is "sedb"
constant attribute
{}
top
fz_split: STRING
is "split"
constant attribute
{}
top
fz_verbose: STRING
is "verbose"
constant attribute
{}
top
fz_version: STRING
is "version"
constant attribute
{}
top
fz_flag_run: STRING
is "run"
constant attribute
{}
top
fz_flag_clean_classes: STRING
is "clean_classes"
constant attribute
{}
top
fz_flag_hard_clean: STRING
is "hard_clean"
constant attribute
{}
top