+
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