+
Point of view
All features
deferred class EIFFELDOC_COMMENT_STATE_IN_LIST
Summary
Class invariant
Overview
Features
{}
{EIFFELDOC_COMMENT_WRITER, EIFFELDOC_COMMENT_STATE}
{}
{}
{CLASS_TEXT}
{}
{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:
{}
is_list_marker (c: CHARACTER): BOOLEAN
deferred function
{}
True if the character at the beginning of the line is a list marker (bullet, number, and so forth)
open_lists (how_many: INTEGER_32)
deferred procedure
{}
Open new lists.
Also open a list item.
require
  • how_many > 0
close_lists (how_many: INTEGER_32)
deferred procedure
{}
Close lists.
If how_many < depth, also open a new list item.
require
  • how_many.in_range(1, depth)
next_list_item
deferred procedure
{}
Open another list item
can_handle (comment: STRING, offset: INTEGER_32): BOOLEAN
effective function
True if this state can handle the characters starting at the offset point
handle (comment: STRING, offset: INTEGER_32, for_feature: ANONYMOUS_FEATURE, states: STACK[EIFFELDOC_COMMENT_STATE]): INTEGER_32
effective function
Handle the comment; returns the next offset where a new state can be considered.
Can also remove an element of the stack or add itself.
require
  • can_handle(comment, offset)
  • offset > comment.count implies states.top = Current
  • not_done_to_report_errors: error_handler.is_empty
ensure
  • Result = offset = depth = 0
  • Result >= offset
  • offset > comment.count implies Result = offset and then states.count < old states.count
  • states.count <= old states.count + 1
  • states.count > old states.count implies states.top = Current
  • not_done_to_report_errors: error_handler.is_empty
require
  • states /= Void
  • not states.is_empty
  • states.top = Current
ensure
  • states.count = old states.count - 1
handle_first: BOOLEAN
is True
constant attribute
True if use the EIFFELDOC_COMMENT_WRITER optimisation that makes this object be handled first if it is at the top of the states stack
list_marker_offset: INTEGER_32
writable attribute
{}
depth: INTEGER_32
writable attribute
{}
newline: BOOLEAN
writable attribute
{}
writable attribute
{}
effective function
{}
type: TYPE
effective function
{}
class_type: TYPE
effective function
{}
class_text: CLASS_TEXT
effective function
{}
visit_class_text (visited: CLASS_TEXT)
effective procedure
require
  • visited /= Void
enter_class_text (visited: CLASS_TEXT): BOOLEAN
effective function
{}
exit_class_text (visited: CLASS_TEXT)
effective procedure
{}
visiting_class_texts: SET[CLASS_TEXT]
once function
{}
visitting_class_texts: SET[CLASS_TEXT]
once function
{}
This feature is obsolete: Use `visiting_class_texts' instead.
visit_parent_lists (visited: PARENT_LISTS)
effective procedure
require
  • visited /= Void
enter_parent_lists (visited: PARENT_LISTS): BOOLEAN
effective function
{}
exit_parent_lists (visited: PARENT_LISTS)
effective procedure
{}
visit_parent_edge (visited: PARENT_EDGE)
effective procedure
require
  • visited /= Void
enter_parent_edge (visited: PARENT_EDGE): BOOLEAN
effective function
{}
exit_parent_edge (visited: PARENT_EDGE)
effective procedure
{}
visit_rename_list (visited: RENAME_LIST)
effective procedure
require
  • visited /= Void
enter_rename_list (visited: RENAME_LIST): BOOLEAN
effective function
{}
exit_rename_list (visited: RENAME_LIST)
effective procedure
{}
visit_rename_pair (visited: RENAME_PAIR)
effective procedure
require
  • visited /= Void
enter_rename_pair (visited: RENAME_PAIR): BOOLEAN
effective function
{}
exit_rename_pair (visited: RENAME_PAIR)
effective procedure
{}
visit_export_list (visited: EXPORT_LIST)
effective procedure
require
  • visited /= Void
enter_export_list (visited: EXPORT_LIST): BOOLEAN
effective function
{}
exit_export_list (visited: EXPORT_LIST)
effective procedure
{}
visit_export_item (visited: EXPORT_ITEM)
effective procedure
require
  • visited /= Void
enter_export_item (visited: EXPORT_ITEM): BOOLEAN
effective function
{}
exit_export_item (visited: EXPORT_ITEM)
effective procedure
{}
visit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
require
  • visited /= Void
enter_feature_clause_list (visited: FEATURE_CLAUSE_LIST): BOOLEAN
effective function
{}
exit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
{}
visit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
require
  • visited /= Void
enter_feature_clause (visited: FEATURE_CLAUSE): BOOLEAN
effective function
{}
exit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
{}
visit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
require
  • visited /= Void
enter_creation_clause_list (visited: CREATION_CLAUSE_LIST): BOOLEAN
effective function
{}
exit_creation_clause_list (visited: CREATION_CLAUSE_LIST)
effective procedure
{}
visit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
require
  • visited /= Void
enter_creation_clause (visited: CREATION_CLAUSE): BOOLEAN
effective function
{}
exit_creation_clause (visited: CREATION_CLAUSE)
effective procedure
{}
visit_client_list (visited: CLIENT_LIST)
effective procedure
require
  • visited /= Void
enter_client_list (visited: CLIENT_LIST): BOOLEAN
effective function
{}
exit_client_list (visited: CLIENT_LIST)
effective procedure
{}
visit_type_mark_list (visited: TYPE_MARK_LIST)
effective procedure
require
  • visited /= Void
enter_type_mark_list (visited: TYPE_MARK_LIST): BOOLEAN
effective function
{}
exit_type_mark_list (visited: TYPE_MARK_LIST)
effective procedure
{}
visit_class_name (visited: CLASS_NAME)
effective procedure
require
  • visited /= Void
visit_feature_text (visited: FEATURE_TEXT)
effective procedure
require
  • visited /= Void
enter_feature_text (visited: FEATURE_TEXT): BOOLEAN
effective function
{}
exit_feature_text (visited: FEATURE_TEXT)
effective procedure
{}
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
require
  • visited /= Void
enter_formal_arg_list (visited: FORMAL_ARG_LIST): BOOLEAN
effective function
{}
exit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
{}
visit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
require
  • visited /= Void
enter_local_var_list (visited: LOCAL_VAR_LIST): BOOLEAN
effective function
{}
exit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
{}
visit_closed_operand (visited: CLOSED_OPERAND)
effective procedure
require
  • visited /= Void
visit_unused_expression (visited: UNUSED_EXPRESSION)
effective procedure
require
  • visited /= Void
visit_local_name_def (visited: LOCAL_NAME_DEF)
effective procedure
require
  • visited /= Void
visit_argument_name_def (visited: ARGUMENT_NAME_DEF)
effective procedure
require
  • visited /= Void
visit_local_name_ref (visited: LOCAL_NAME_REF)
effective procedure
require
  • visited /= Void
visit_argument_name_ref (visited: ARGUMENT_NAME_REF)
effective procedure
require
  • visited /= Void
visit_internal_local2 (visited: INTERNAL_LOCAL2)
effective procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary1 (visited: DYNAMIC_DISPATCH_TEMPORARY1)
effective procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary1_id (visited: DYNAMIC_DISPATCH_TEMPORARY1_ID)
effective procedure
require
  • visited /= Void
visit_dynamic_dispatch_temporary2 (visited: DYNAMIC_DISPATCH_TEMPORARY2)
effective procedure
require
  • visited /= Void
visit_sedb (visited: SEDB)
effective procedure
require
  • visited /= Void
visit_no_dispatch (visited: NO_DISPATCH)
effective procedure
require
  • visited /= Void
visiting_types: SET[TYPE]
once function
visitting_types: SET[TYPE]
once function
This feature is obsolete: Use `visiting_types' instead.
visit_type (visited: TYPE)
effective procedure
require
  • visited /= Void
enter_type (visited: TYPE): BOOLEAN
effective function
{}
exit_type (visited: TYPE)
effective procedure
{}
visit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_class_type_mark (visited: CLASS_TYPE_MARK): BOOLEAN
effective function
{}
exit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
{}
visit_client_type_mark (visited: CLIENT_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_client_type_mark (visited: CLIENT_TYPE_MARK): BOOLEAN
effective function
{}
exit_client_type_mark (visited: CLIENT_TYPE_MARK)
effective procedure
{}
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK): BOOLEAN
effective function
{}
exit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
{}
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK): BOOLEAN
effective function
{}
exit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
{}
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_agent_type_mark (visited: AGENT_TYPE_MARK): BOOLEAN
effective function
{}
exit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
{}
visit_any_type_mark (visited: ANY_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_string_type_mark (visited: STRING_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_generic_type_mark (visited: TYPE_MARK)
effective procedure
{}
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK): BOOLEAN
effective function
{}
exit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
{}
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK): BOOLEAN
effective function
{}
exit_non_empty_tupe_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
{}
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_array_type_mark (visited: ARRAY_TYPE_MARK): BOOLEAN
effective function
{}
exit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
{}
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK): BOOLEAN
effective function
{}
exit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
{}
visit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
effective procedure
require
  • visited /= Void
enter_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK): BOOLEAN
effective function
{}
exit_weak_reference_type_mark (visited: WEAK_REFERENCE_TYPE_MARK)
effective procedure
{}
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_real_type_mark (visited: REAL_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_natural_type_mark (visited: NATURAL_TYPE_MARK)
effective procedure
require
  • visited /= Void
visit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
require
  • visited /= Void
enter_writable_attribute (visited: WRITABLE_ATTRIBUTE): BOOLEAN
effective function
{}
exit_writable_attribute (visited: WRITABLE_ATTRIBUTE)
effective procedure
{}
visit_cst_att_real (visited: CST_ATT_REAL)
effective procedure
require
  • visited /= Void
visit_cst_att_integer (visited: CST_ATT_INTEGER)
effective procedure
require
  • visited /= Void
visit_cst_att_boolean (visited: CST_ATT_BOOLEAN)
effective procedure
require
  • visited /= Void
visit_cst_att_unique (visited: CST_ATT_UNIQUE)
effective procedure
require
  • visited /= Void
visit_cst_att_string (visited: CST_ATT_STRING)
effective procedure
require
  • visited /= Void
visit_cst_att_character (visited: CST_ATT_CHARACTER)
effective procedure
require
  • visited /= Void
visiting_anonymous_features: HASHED_SET[POINTER]
once function
{}
visitting_anonymous_features: HASHED_SET[POINTER]
once function
{}
This feature is obsolete: Use `visiting_anonymous_features' instead.
visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
{}
do_visit_anonymous_feature (visited: ANONYMOUS_FEATURE)
effective procedure
{}
visiting_effective_routines: HASHED_SET[POINTER]
once function
{}
visitting_effective_routines: HASHED_SET[POINTER]
once function
{}
This feature is obsolete: Use `visiting_effective_routines' instead.
visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
{}
do_visit_effective_routine (visited: EFFECTIVE_ROUTINE)
effective procedure
{}
visit_void_call (visited: VOID_CALL)
effective procedure
require
  • visited /= Void
visit_void_proc_call (visited: VOID_PROC_CALL)
effective procedure
require
  • visited /= Void
visit_run_time_error_instruction (visited: RUN_TIME_ERROR_INSTRUCTION)
effective procedure
require
  • visited /= Void
visit_non_void_no_dispatch (visited: NON_VOID_NO_DISPATCH)
effective procedure
require
  • visited /= Void
visit_native_array_item (visited: NATIVE_ARRAY_ITEM)
effective procedure
require
  • visited /= Void
enter_native_array_item (visited: NATIVE_ARRAY_ITEM): BOOLEAN
effective function
{}
exit_native_array_item (visited: NATIVE_ARRAY_ITEM)
effective procedure
{}
visit_null_pointer (visited: NULL_POINTER)
effective procedure
require
  • visited /= Void
visit_e_function (visited: E_FUNCTION)
effective procedure
require
  • visited /= Void
enter_e_function (visited: E_FUNCTION): BOOLEAN
effective function
{}
exit_e_function (visited: E_FUNCTION)
effective procedure
{}
visit_e_procedure (visited: E_PROCEDURE)
effective procedure
require
  • visited /= Void
enter_e_procedure (visited: E_PROCEDURE): BOOLEAN
effective function
{}
exit_e_procedure (visited: E_PROCEDURE)
effective procedure
{}
visit_once_function (visited: ONCE_FUNCTION)
effective procedure
require
  • visited /= Void
enter_once_function (visited: ONCE_FUNCTION): BOOLEAN
effective function
{}
exit_once_function (visited: ONCE_FUNCTION)
effective procedure
{}
visit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
require
  • visited /= Void
enter_once_procedure (visited: ONCE_PROCEDURE): BOOLEAN
effective function
{}
exit_once_procedure (visited: ONCE_PROCEDURE)
effective procedure
{}
visit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
require
  • visited /= Void
enter_external_function (visited: EXTERNAL_FUNCTION): BOOLEAN
effective function
{}
exit_external_function (visited: EXTERNAL_FUNCTION)
effective procedure
{}
visit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
require
  • visited /= Void
enter_external_procedure (visited: EXTERNAL_PROCEDURE): BOOLEAN
effective function
{}
exit_external_procedure (visited: EXTERNAL_PROCEDURE)
effective procedure
{}
visit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
require
  • visited /= Void
enter_deferred_function (visited: DEFERRED_FUNCTION): BOOLEAN
effective function
{}
exit_deferred_function (visited: DEFERRED_FUNCTION)
effective procedure
{}
visit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
require
  • visited /= Void
enter_deferred_procedure (visited: DEFERRED_PROCEDURE): BOOLEAN
effective function
{}
exit_deferred_procedure (visited: DEFERRED_PROCEDURE)
effective procedure
{}
visit_assertion_list (visited: ASSERTION_LIST)
effective procedure
require
    • visited /= Void
    • visited /= Void
visit_require_assertion (visited: REQUIRE_ASSERTION)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_require_assertion (visited: REQUIRE_ASSERTION): BOOLEAN
effective function
{}
exit_require_assertion (visited: REQUIRE_ASSERTION)
effective procedure
{}
visit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_class_invariant (visited: CLASS_INVARIANT): BOOLEAN
effective function
{}
exit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
{}
visit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_loop_invariant (visited: LOOP_INVARIANT): BOOLEAN
effective function
{}
exit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
{}
visit_ensure_assertion (visited: ENSURE_ASSERTION)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_ensure_assertion (visited: ENSURE_ASSERTION): BOOLEAN
effective function
{}
exit_ensure_assertion (visited: ENSURE_ASSERTION)
effective procedure
{}
visit_assertion (visited: ASSERTION)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_assertion (visited: ASSERTION): BOOLEAN
effective function
{}
exit_assertion (visited: ASSERTION)
effective procedure
{}
visit_feature_name (visited: FEATURE_NAME)
effective procedure
require
  • visited /= Void
visit_fake_target (visited: FAKE_TARGET)
effective procedure
require
  • visited /= Void
visit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
require
  • visited /= Void
enter_create_expression (visited: CREATE_EXPRESSION): BOOLEAN
effective function
{}
exit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
{}
visit_abstract_current (visited: ABSTRACT_CURRENT)
effective procedure
visit_create_writable (visited: CREATE_WRITABLE)
effective procedure
require
  • visited /= Void
enter_create_writable (visited: CREATE_WRITABLE): BOOLEAN
effective function
{}
exit_create_writable (visited: CREATE_WRITABLE)
effective procedure
{}
visit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
require
  • visited /= Void
enter_precursor_expression (visited: PRECURSOR_EXPRESSION): BOOLEAN
effective function
{}
exit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
{}
visit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
require
  • visited /= Void
enter_manifest_generic (visited: MANIFEST_GENERIC): BOOLEAN
effective function
{}
exit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
{}
visit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
require
  • visited /= Void
enter_old_manifest_array (visited: OLD_MANIFEST_ARRAY): BOOLEAN
effective function
{}
exit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
{}
visit_e_void (visited: E_VOID)
effective procedure
require
  • visited /= Void
visit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
require
  • visited /= Void
enter_fake_argument (visited: FAKE_ARGUMENT): BOOLEAN
effective function
{}
exit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
{}
visit_character_constant (visited: CHARACTER_CONSTANT)
effective procedure
require
  • visited /= Void
visit_real_constant (visited: REAL_CONSTANT)
effective procedure
require
  • visited /= Void
visit_integer_constant (visited: INTEGER_CONSTANT)
effective procedure
require
  • visited /= Void
visit_natural_constant (visited: NATURAL_CONSTANT)
effective procedure
require
  • visited /= Void
visit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
require
  • visited /= Void
enter_feature_name_list (visited: FEATURE_NAME_LIST): BOOLEAN
effective function
{}
exit_feature_name_list (visited: FEATURE_NAME_LIST)
effective procedure
{}
visit_open_operand (visited: OPEN_OPERAND)
effective procedure
require
  • visited /= Void
visit_address_of (visited: ADDRESS_OF)
effective procedure
require
  • visited /= Void
enter_address_of (visited: ADDRESS_OF): BOOLEAN
effective function
{}
exit_address_of (visited: ADDRESS_OF)
effective procedure
{}
visit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
{}
enter_effective_arg_list (visited: EFFECTIVE_ARG_LIST): BOOLEAN
effective function
{}
exit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
{}
visit_effective_arg_list_0 (visited: EFFECTIVE_ARG_LIST_0)
effective procedure
require
  • visited /= Void
visit_effective_arg_list_n (visited: EFFECTIVE_ARG_LIST_N)
effective procedure
require
  • visited /= Void
visit_call_support (visited: FEATURE_CALL)
effective procedure
{}
visit_function_call_0 (visited: FUNCTION_CALL_0)
effective procedure
require
  • visited /= Void
enter_call_0_c (visited: FUNCTION_CALL_0): BOOLEAN
effective function
{}
exit_call_0_c (visited: FUNCTION_CALL_0)
effective procedure
{}
visit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
require
  • visited /= Void
enter_static_call_0_c (visited: STATIC_CALL_0_C): BOOLEAN
effective function
{}
exit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
{}
visit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
require
  • visited /= Void
enter_call_prefix_not (visited: CALL_PREFIX_NOT): BOOLEAN
effective function
{}
exit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
{}
visit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
require
  • visited /= Void
enter_call_prefix_minus (visited: CALL_PREFIX_MINUS): BOOLEAN
effective function
{}
exit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
{}
visit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
require
  • visited /= Void
enter_call_prefix_freeop (visited: CALL_PREFIX_FREEOP): BOOLEAN
effective function
{}
exit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
{}
visit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
require
  • visited /= Void
enter_call_prefix_plus (visited: CALL_PREFIX_PLUS): BOOLEAN
effective function
{}
exit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
{}
visit_function_call_1 (visited: FUNCTION_CALL_1)
effective procedure
require
  • visited /= Void
enter_call_1_c (visited: FUNCTION_CALL_1): BOOLEAN
effective function
{}
exit_call_1_c (visited: FUNCTION_CALL_1)
effective procedure
{}
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
require
  • visited /= Void
enter_call_infix_and_then (visited: CALL_INFIX_AND_THEN): BOOLEAN
effective function
{}
exit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
{}
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
require
  • visited /= Void
enter_call_infix_minus (visited: CALL_INFIX_MINUS): BOOLEAN
effective function
{}
exit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
{}
visit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
require
  • visited /= Void
enter_call_infix_times (visited: CALL_INFIX_TIMES): BOOLEAN
effective function
{}
exit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
{}
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
require
  • visited /= Void
enter_call_infix_int_rem (visited: CALL_INFIX_INT_REM): BOOLEAN
effective function
{}
exit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
{}
visit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
require
  • visited /= Void
enter_call_infix_or (visited: CALL_INFIX_OR): BOOLEAN
effective function
{}
exit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
{}
visit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
require
  • visited /= Void
enter_call_infix_gt (visited: CALL_INFIX_GT): BOOLEAN
effective function
{}
exit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
{}
visit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
require
  • visited /= Void
enter_call_infix_lt (visited: CALL_INFIX_LT): BOOLEAN
effective function
{}
exit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
{}
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
require
  • visited /= Void
enter_call_infix_plus (visited: CALL_INFIX_PLUS): BOOLEAN
effective function
{}
exit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
{}
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
require
  • visited /= Void
enter_call_infix_int_div (visited: CALL_INFIX_INT_DIV): BOOLEAN
effective function
{}
exit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
{}
visit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
require
  • visited /= Void
enter_call_infix_xor (visited: CALL_INFIX_XOR): BOOLEAN
effective function
{}
exit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
{}
visit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
require
  • visited /= Void
enter_call_infix_power (visited: CALL_INFIX_POWER): BOOLEAN
effective function
{}
exit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
{}
visit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
require
  • visited /= Void
enter_call_infix_div (visited: CALL_INFIX_DIV): BOOLEAN
effective function
{}
exit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
{}
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
require
  • visited /= Void
enter_call_infix_or_else (visited: CALL_INFIX_OR_ELSE): BOOLEAN
effective function
{}
exit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
{}
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
require
  • visited /= Void
enter_call_infix_implies (visited: CALL_INFIX_IMPLIES): BOOLEAN
effective function
{}
exit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
{}
visit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
require
  • visited /= Void
enter_call_infix_le (visited: CALL_INFIX_LE): BOOLEAN
effective function
{}
exit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
{}
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
require
  • visited /= Void
enter_call_infix_freeop (visited: CALL_INFIX_FREEOP): BOOLEAN
effective function
{}
exit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
{}
visit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
require
  • visited /= Void
enter_call_infix_and (visited: CALL_INFIX_AND): BOOLEAN
effective function
{}
exit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
{}
visit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
require
  • visited /= Void
enter_call_infix_ge (visited: CALL_INFIX_GE): BOOLEAN
effective function
{}
exit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
{}
visit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
require
  • visited /= Void
enter_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ): BOOLEAN
effective function
{}
exit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
{}
visit_function_call_n (visited: FUNCTION_CALL_N)
effective procedure
require
  • visited /= Void
enter_call_n (visited: FUNCTION_CALL_N): BOOLEAN
effective function
{}
exit_call_n (visited: FUNCTION_CALL_N)
effective procedure
{}
visit_manifest_string (visited: MANIFEST_STRING)
effective procedure
require
  • visited /= Void
visit_agent_args (visited: AGENT_ARGS)
effective procedure
require
  • visited /= Void
enter_agent_args (visited: AGENT_ARGS): BOOLEAN
effective function
{}
exit_agent_args (visited: AGENT_ARGS)
effective procedure
{}
visit_agent_creation (visited: AGENT_CREATION)
effective procedure
require
  • visited /= Void
enter_agent_creation (visited: AGENT_CREATION): BOOLEAN
effective function
{}
exit_agent_creation (visited: AGENT_CREATION)
effective procedure
{}
visit_e_old (visited: E_OLD)
effective procedure
require
  • visited /= Void
enter_e_old (visited: E_OLD): BOOLEAN
effective function
{}
exit_e_old (visited: E_OLD)
effective procedure
{}
visit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
require
  • visited /= Void
enter_fake_tuple (visited: FAKE_TUPLE): BOOLEAN
effective function
{}
exit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
{}
visit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
require
  • visited /= Void
enter_manifest_tuple (visited: MANIFEST_TUPLE): BOOLEAN
effective function
{}
exit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
{}
visit_implicit_cast (visited: IMPLICIT_CAST)
effective procedure
require
  • visited /= Void
visit_generator_generating_type (visited: GENERATOR_GENERATING_TYPE)
effective procedure
require
  • visited /= Void
visit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_agent_expression (visited: AGENT_EXPRESSION): BOOLEAN
effective function
{}
exit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
{}
visit_result (visited: RESULT)
effective procedure
require
  • visited /= Void
visit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
require
  • visited /= Void
enter_expression_with_comment (visited: EXPRESSION_WITH_COMMENT): BOOLEAN
effective function
{}
exit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
{}
visit_comment (visited: COMMENT)
effective procedure
require
  • visited /= Void
visit_implicit_current (visited: IMPLICIT_CURRENT)
effective procedure
require
  • visited /= Void
visit_written_current (visited: WRITTEN_CURRENT)
effective procedure
require
  • visited /= Void
visit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
require
  • visited /= Void
enter_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME): BOOLEAN
effective function
{}
exit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
{}
visit_e_true (visited: E_TRUE)
effective procedure
require
  • visited /= Void
visit_e_false (visited: E_FALSE)
effective procedure
require
  • visited /= Void
visit_retry_instruction (visited: RETRY_INSTRUCTION)
effective procedure
require
  • visited /= Void
visit_ifthenelse (visited: IFTHENELSE)
effective procedure
require
  • visited /= Void
enter_ifthenelse (visited: IFTHENELSE): BOOLEAN
effective function
{}
exit_ifthenelse (visited: IFTHENELSE)
effective procedure
{}
visit_ifthen (visited: IFTHEN)
effective procedure
require
  • visited /= Void
enter_ifthen (visited: IFTHEN): BOOLEAN
effective function
{}
exit_ifthen (visited: IFTHEN)
effective procedure
{}
visit_ifthenelse_exp (visited: IFTHENELSE_EXP)
effective procedure
require
  • visited /= Void
enter_ifthenelse_exp (visited: IFTHENELSE_EXP): BOOLEAN
effective function
{}
exit_ifthenelse_exp (visited: IFTHENELSE_EXP)
effective procedure
{}
visit_ifthen_exp (visited: IFTHEN_EXP)
effective procedure
require
  • visited /= Void
enter_ifthen_exp (visited: IFTHEN_EXP): BOOLEAN
effective function
{}
exit_ifthen_exp (visited: IFTHEN_EXP)
effective procedure
{}
visit_assignment (visited: ASSIGNMENT)
effective procedure
require
  • visited /= Void
enter_assignment (visited: ASSIGNMENT): BOOLEAN
effective function
{}
exit_assignment (visited: ASSIGNMENT)
effective procedure
{}
visit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
effective procedure
require
  • visited /= Void
enter_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER): BOOLEAN
effective function
{}
exit_assignment_call_assigner (visited: ASSIGNMENT_CALL_ASSIGNER)
effective procedure
{}
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
require
  • visited /= Void
enter_assignment_attempt (visited: ASSIGNMENT_ATTEMPT): BOOLEAN
effective function
{}
exit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
{}
visit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
require
  • visited /= Void
enter_assignment_test (visited: ASSIGNMENT_TEST): BOOLEAN
effective function
{}
exit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
{}
visit_debug_compound (visited: DEBUG_COMPOUND)
effective procedure
require
  • visited /= Void
enter_debug_compound (visited: DEBUG_COMPOUND): BOOLEAN
effective function
{}
exit_debug_compound (visited: DEBUG_COMPOUND)
effective procedure
{}
visit_check_compound (visited: CHECK_COMPOUND)
effective procedure
require
  • visited /= Void
enter_check_compound (visited: CHECK_COMPOUND): BOOLEAN
effective function
{}
exit_check_compound (visited: CHECK_COMPOUND)
effective procedure
{}
visit_procedure_call_0 (visited: PROCEDURE_CALL_0)
effective procedure
require
  • visited /= Void
enter_proc_call_0 (visited: PROCEDURE_CALL_0): BOOLEAN
effective function
{}
exit_proc_call_0 (visited: PROCEDURE_CALL_0)
effective procedure
{}
visit_procedure_call_1 (visited: PROCEDURE_CALL_1)
effective procedure
require
  • visited /= Void
enter_proc_call_1 (visited: PROCEDURE_CALL_1): BOOLEAN
effective function
{}
exit_proc_call_1 (visited: PROCEDURE_CALL_1)
effective procedure
{}
visit_procedure_call_n (visited: PROCEDURE_CALL_N)
effective procedure
require
  • visited /= Void
enter_proc_call_n (visited: PROCEDURE_CALL_N): BOOLEAN
effective function
{}
exit_proc_call_n (visited: PROCEDURE_CALL_N)
effective procedure
{}
visit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_agent_instruction (visited: AGENT_INSTRUCTION): BOOLEAN
effective function
{}
exit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
{}
visit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
require
  • visited /= Void
enter_create_instruction (visited: CREATE_INSTRUCTION): BOOLEAN
effective function
{}
exit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
{}
visit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
effective procedure
require
  • visited /= Void
enter_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION): BOOLEAN
effective function
{}
exit_raw_create_instruction (visited: RAW_CREATE_INSTRUCTION)
effective procedure
{}
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
require
  • visited /= Void
enter_precursor_instruction (visited: PRECURSOR_INSTRUCTION): BOOLEAN
effective function
{}
exit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
{}
visit_loop_instruction (visited: LOOP_INSTRUCTION)
effective procedure
require
  • visited /= Void
enter_e_loop (visited: LOOP_INSTRUCTION): BOOLEAN
effective function
{}
exit_e_loop (visited: LOOP_INSTRUCTION)
effective procedure
{}
visit_loop_variant (visited: LOOP_VARIANT)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_loop_variant (visited: LOOP_VARIANT): BOOLEAN
effective function
{}
exit_loop_variant (visited: LOOP_VARIANT)
effective procedure
{}
visit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
{}
visit_other_inspect_statement (visited: OTHER_INSPECT_STATEMENT)
effective procedure
require
  • visited /= Void
visit_manifest_string_inspect_statement (visited: MANIFEST_STRING_INSPECT_STATEMENT)
effective procedure
require
  • visited /= Void
visit_c_inline (visited: C_INLINE)
effective procedure
require
  • visited /= Void
enter_inspect_statement (visited: INSPECT_STATEMENT): BOOLEAN
effective function
{}
exit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
{}
visit_when_clause (visited: WHEN_CLAUSE)
effective procedure
require
    • visited /= Void
    • visited /= Void
enter_when_clause (visited: WHEN_CLAUSE): BOOLEAN
effective function
{}
exit_when_clause (visited: WHEN_CLAUSE)
effective procedure
{}
visit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
require
  • visited /= Void
enter_when_item_1 (visited: WHEN_ITEM_1): BOOLEAN
effective function
{}
exit_when_item_1 (visited: WHEN_ITEM_1)
effective procedure
{}
visit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
require
  • visited /= Void
enter_when_item_2 (visited: WHEN_ITEM_2): BOOLEAN
effective function
{}
exit_when_item_2 (visited: WHEN_ITEM_2)
effective procedure
{}
visit_compound (visited: COMPOUND)
effective procedure
require
  • visited /= Void
visit_compound_expression (visited: COMPOUND_EXPRESSION)
effective procedure
require
  • visited /= Void
enter_compound (visited: COMPOUND): BOOLEAN
effective function
{}
exit_compound (visited: COMPOUND)
effective procedure
{}
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
require
  • visited /= Void
enter_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER): BOOLEAN
effective function
{}
exit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
{}
visit_declaration_1 (visited: DECLARATION_1)
effective procedure
require
  • visited /= Void
enter_declaration_1 (visited: DECLARATION_1): BOOLEAN
effective function
{}
exit_declaration_1 (visited: DECLARATION_1)
effective procedure
{}
visit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
require
  • visited /= Void
enter_declaration_group (visited: DECLARATION_GROUP): BOOLEAN
effective function
{}
exit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
{}
operator_filter: HASHED_DICTIONARY[STRING, CHARACTER]
once function
{}
remote_clusters: HASHED_DICTIONARY[STRING, STRING]
once function
{}
remote_cluster (cluster: CLUSTER): STRING
effective function
{}
Void if the cluster is not remote (should be generated)
css_root: STRING
is "root"
constant attribute
{}
css_all_clusters: STRING
is "all_clusters"
constant attribute
{}
css_letter_cluster: STRING
is "letter_cluster"
constant attribute
{}
css_cluster: STRING
is "cluster"
constant attribute
{}
css_sub_cluster: STRING
is "sub_cluster"
constant attribute
{}
css_cluster_comments: STRING
is "cluster_comments"
constant attribute
{}
css_cluster_classes: STRING
is "cluster_classes"
constant attribute
{}
css_points_of_view: STRING
is "points_of_view"
constant attribute
{}
css_summary: STRING
is "summary"
constant attribute
{}
css_overview: STRING
is "overview"
constant attribute
{}
css_feature: STRING
is "feature"
constant attribute
{}
css_invariant: STRING
is "invariant"
constant attribute
{}
css_assertion: STRING
is "assertion"
constant attribute
{}
css_obsolete: STRING
is "obsolete"
constant attribute
{}
css_block_suffix: STRING
is "_block"
constant attribute
{}
css_head_suffix: STRING
is "_head"
constant attribute
{}
css_head_layout_suffix: STRING
is "_head_layout"
constant attribute
{}
css_expand_mark_suffix: STRING
is "_expand_mark"
constant attribute
{}
css_expand_mark_hover_suffix: STRING
is "_expand_mark_hover"
constant attribute
{}
css_title_suffix: STRING
is "_title"
constant attribute
{}
is "_nav_link"
constant attribute
{}
css_name_suffix: STRING
is "_name"
constant attribute
{}
css_comment_suffix: STRING
is "_comment"
constant attribute
{}
css_clause_comment_suffix: STRING
is "_clause_comment"
constant attribute
{}
css_feature_item_suffix: STRING
is "_feature_item"
constant attribute
{}
css_expanded_suffix: STRING
is "_expanded"
constant attribute
{}
css_current_suffix: STRING
is "_current"
constant attribute
{}
css_keyword_suffix: STRING
is "_keyword"
constant attribute
{}
css_msg_suffix: STRING
is "_msg"
constant attribute
{}
css_mark_suffix: STRING
is "mark"
constant attribute
{}
css_deferred_suffix: STRING
is "_deferred"
constant attribute
{}
css_frozen_suffix: STRING
is "_frozen"
constant attribute
{}
css_attribute_suffix: STRING
is "_attribute"
constant attribute
{}
css_once_suffix: STRING
is "_once"
constant attribute
{}
css_blank_suffix: STRING
is "_blank"
constant attribute
{}
css_value_suffix: STRING
is "_value"
constant attribute
{}
css_access_suffix: STRING
is "_access"
constant attribute
{}
css_note_suffix: STRING
is "_note"
constant attribute
{}
css_note_tag_suffix: STRING
is "_note_tag"
constant attribute
{}
css_note_values_suffix: STRING
is "_note_values"
constant attribute
{}
css_nav_link: STRING
is "nav_link"
constant attribute
{}
css_class_link: STRING
is "class_link"
constant attribute
{}
css_feature_link: STRING
is "feature_link"
constant attribute
{}
index_filename: STRING
is "index.html"
constant attribute
{}
top_anchor_name: STRING
is "top"
constant attribute
{}
top_anchor_address: STRING
is "#top"
constant attribute
{}
is "top"
constant attribute
{}
is "home"
constant attribute
{}
is "wiki"
constant attribute
{}
points_of_view_menu_name: STRING
is "Point of view"
constant attribute
{}
all_feature_entry_name: STRING
is "All features"
constant attribute
{}
class_str: STRING
is "class "
constant attribute
{}
deferred_str: STRING
is "deferred"
constant attribute
{}
expanded_str: STRING
is "expanded"
constant attribute
{}
frozen_str: STRING
is "frozen"
constant attribute
{}
once_str: STRING
is "once"
constant attribute
{}
obsolete_class_str: STRING
is "This class is obsolete: "
constant attribute
{}
obsolete_feature_str: STRING
is "This feature is obsolete: "
constant attribute
{}
summary_title_str: STRING
is "Summary"
constant attribute
{}
direct_parents_str: STRING
is "Direct parents"
constant attribute
{}
known_children_str: STRING
is "Known children"
constant attribute
{}
inherit_list_str: STRING
is "Inherit list"
constant attribute
{}
insert_list_str: STRING
is "Insert list"
constant attribute
{}
all_classes_str: STRING
is "All classes"
constant attribute
{}
cluster_comments_str: STRING
is "Description"
constant attribute
{}
cluster_classes_str: STRING
is "Classes"
constant attribute
{}
overview_title_str: STRING
is "Overview"
constant attribute
{}
creation_features_str: STRING
is "Creation features"
constant attribute
{}
exported_features_str: STRING
is "Exported features"
constant attribute
{}
features_str: STRING
is "Features"
constant attribute
{}
class_invariant_str: STRING
is "Class invariant"
constant attribute
{}
require_str: STRING
is "require"
constant attribute
{}
ensure_str: STRING
is "ensure"
constant attribute
{}
old_str: STRING
is "old"
constant attribute
{}
all_classes_id: STRING
is "All classes:"
constant attribute
{}
cluster_comments_id: STRING
is "Cluster description:"
constant attribute
{}
cluster_classes_id: STRING
is "Cluster classes:"
constant attribute
{}
summary_id: STRING
is "Summary:"
constant attribute
{}
points_of_view_id: STRING
is "Points of view:"
constant attribute
{}
overview_id: STRING
is "Overview:"
constant attribute
{}
class_invariant_id: STRING
is "Class invariant:"
constant attribute
{}
title_bar: STRING
is "Eiffeldoc: "
constant attribute
{}
real_css: STRING
is "eiffeldoc.css"
constant attribute
{}
real_js: STRING
is "eiffeldoc.js"
constant attribute
{}
filtered_attribute (value: STRING): STRING
effective function
{}
require
  • value /= Void
set_suffixed_attribute (name: STRING, base_value: STRING, suffix: STRING, html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • name /= Void
  • base_value /= Void
  • suffix /= Void
  • html_os /= Void
html_output_stream_for_file (filename: STRING): EIFFELDOC_OUTPUT_STREAM
effective function
{}
require
  • filename /= Void
write_header (html_os: EIFFELDOC_OUTPUT_STREAM, title: STRING, js: STRING, css: STRING)
effective procedure
{}
require
  • html_os /= Void
  • title /= Void
ensure
  • html_os.in_header
open_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • base_id /= Void
close_block_head (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
open_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, name: STRING, base_id: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • name /= Void
  • base_id /= Void
close_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
open_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
close_comment_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
open_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM, css_base_class: STRING, base_id: STRING, expand: BOOLEAN)
effective procedure
{}
require
  • html_os /= Void
  • css_base_class /= Void
  • base_id /= Void
close_expand_block (html_os: EIFFELDOC_OUTPUT_STREAM)
effective procedure
{}
require
  • html_os /= Void
create_dirs (a_filename: STRING): INTEGER_32
effective function
{}
And returns the depth of the tree
last_dirname: STRING
writable attribute
{}
basename_of (a_filename: STRING): STRING
effective function
{}
filename_of (a_class: CLASS_TEXT): STRING
effective function
{}
require
  • a_class /= Void
class_name_any: CLASS_NAME
once function
{}
class_name_tuple: CLASS_NAME
once function
{}
smart_eiffel: SMART_EIFFEL
frozen
once function
{ANY}
eiffel_parser: EIFFEL_PARSER
frozen
once function
{ANY}
ace: ACE
frozen
once function
{ANY}
ini_parser: INI_PARSER
frozen
once function
{ANY}
plugin_config: INI_PARSER
frozen
once function
{ANY}
error_handler: ERROR_HANDLER
frozen
once function
{ANY}
string_aliaser: STRING_ALIASER
frozen
once function
{ANY}
frozen
once function
{ANY}
pretty_printer: PRETTY_PRINTER
frozen
once function
{ANY}
mini_buffer: MINI_BUFFER
frozen
once function
{ANY}
nb_errors: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
system_tools: SYSTEM_TOOLS
frozen
once function
{ANY}
introspection_handler: INTROSPECTION_HANDLER
frozen
once function
{ANY}
assignment_test_pool: ASSIGNMENT_TEST_POOL
frozen
once function
{ANY}
precomputable_routine_detector: PRECOMPUTABLE_ROUTINE_DETECTOR
frozen
once function
{ANY}
feature_accumulator: FEATURE_ACCUMULATOR
frozen
once function
{ANY}
live_type_extra_collectors: FAST_ARRAY[LIVE_TYPE_EXTRA_COLLECTOR]
frozen
once function
{ANY}
is_launcher: BOOLEAN
effective function
{ACE}
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
ensure
is_launcher_memory: REFERENCE[BOOLEAN]
once function
{}
parser_buffer: PARSER_BUFFER
frozen
once function
id_provider: ID_PROVIDER
frozen
once function
{ANY}
manifest_string_pool: MANIFEST_STRING_POOL
frozen
once function
{ANY}
manifest_generic_pool: MANIFEST_GENERIC_POOL
frozen
once function
{ANY}
once_routine_pool: ONCE_ROUTINE_POOL
frozen
once function
{ANY}
agent_pool: AGENT_POOL
frozen
once function
{ANY}
cecil_pool: CECIL_POOL
frozen
effective function
{ANY}
cecil_pool_memory: REFERENCE[CECIL_POOL]
frozen
once function
{ANY}
set_cecil_pool
frozen
once procedure
{ANY}
ensure
short_printer: SHORT_PRINTER
frozen
once function
{ANY}
echo: ECHO
frozen
once function
{ANY}
assignment_handler: ASSIGNMENT_HANDLER
frozen
once function
{ANY}
thread_pool: THREAD_POOL
frozen
once function
{ANY}
exceptions: EXCEPTIONS
frozen
writable attribute
{ANY}
exceptions_handler: EXCEPTIONS_HANDLER
frozen
once function
{ANY}
nb_warnings: INTEGER_32
effective function
{ANY}
ensure
  • Result >= 0
tmp_path: STRING
once function
{ANY}
tmp_file_read: TEXT_FILE_READ
once function
{ANY}
class_any: CLASS_TEXT
once function
{ANY}
omitted_client_list: CLIENT_LIST
frozen
once function
{ANY}
(To avoid multiple creation(s).)
any_default_create_fs: FEATURE_STAMP
once function
{ANY}
any_default_rescue_fs: FEATURE_STAMP
once function
{ANY}
any_copy_fs: FEATURE_STAMP
once function
{ANY}
any_is_equal_fs: FEATURE_STAMP
once function
{ANY}
any_deep_twin_fs: FEATURE_STAMP
once function
{ANY}
any_is_deep_equal_fs: FEATURE_STAMP
once function
{ANY}
boolean_and_then_fs: FEATURE_STAMP
once function
{ANY}
manifest_make_name: HASHED_STRING
once function
{ANY}
manifest_put_name: HASHED_STRING
once function
{ANY}
manifest_semicolon_check_name: HASHED_STRING
once function
{ANY}
manifest_initialize_name: HASHED_STRING
once function
{ANY}
calloc_name: HASHED_STRING
once function
{ANY}
put_name: HASHED_STRING
once function
{ANY}
item_name: HASHED_STRING
once function
{ANY}
is_empty_name: HASHED_STRING
once function
{ANY}
make_name: HASHED_STRING
once function
{ANY}
from_external_sized_copy_name: HASHED_STRING
once function
{ANY}
count_name: HASHED_STRING
once function
{ANY}
storage_name: HASHED_STRING
once function
{ANY}
capacity_name: HASHED_STRING
once function
{ANY}
storage_lower_name: HASHED_STRING
once function
{ANY}
mark_item_name: HASHED_STRING
once function
{ANY}
mark_native_arrays_name: HASHED_STRING
once function
{ANY}
and_then_name: HASHED_STRING
once function
{ANY}
or_else_name: HASHED_STRING
once function
{ANY}
twin_name: HASHED_STRING
once function
{ANY}
copy_name: HASHED_STRING
once function
{ANY}
is_equal_name: HASHED_STRING
once function
{ANY}
deep_twin_name: HASHED_STRING
once function
{ANY}
deep_twin_from_name: HASHED_STRING
once function
{ANY}
is_deep_equal_name: HASHED_STRING
once function
{ANY}
deep_memcmp_name: HASHED_STRING
once function
{ANY}
se_atexit_name: HASHED_STRING
once function
{ANY}
default_rescue_name: HASHED_STRING
once function
{ANY}
default_create_name: HASHED_STRING
once function
{ANY}
flush_name: HASHED_STRING
once function
{ANY}
clear_all_name: HASHED_STRING
once function
{ANY}
from_pointer_name: HASHED_STRING
once function
{ANY}
no_errors: BOOLEAN
effective function
{ANY}
character_coding (c: CHARACTER, str: STRING)
effective procedure
{ANY}
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}
Eiffel Source file suffix.
c_suffix: STRING
is ".c"
constant attribute
{ANY}
C files suffix.
h_suffix: STRING
is ".h"
constant attribute
{ANY}
Heading C files suffix.
c_plus_plus_suffix: STRING
is ".cpp"
constant attribute
{ANY}
C++ files suffix.
backup_suffix: STRING
is ".bak"
constant attribute
{ANY}
Backup suffix for command pretty.
class_suffix: STRING
is ".class"
constant attribute
{ANY}
dot_precedence: INTEGER_32
is 12
constant attribute
{ANY}
The highest precedence value according to ETL.
atomic_precedence: INTEGER_32
is 13
constant attribute
{ANY}
Used for atomic elements.
append_u1 (str: STRING, u1: INTEGER_32)
effective procedure
{ANY}
append_u2 (str: STRING, u2: INTEGER_32)
effective procedure
{ANY}
append_u4 (str: STRING, u4: INTEGER_32)
effective procedure
{ANY}
is_install: BOOLEAN
effective function
{ANY}
set_install
effective procedure
{ANY}
ensure
install_memory: REFERENCE[BOOLEAN]
once function
{ANY}
unrelated_code: INTEGER_8
is 0
constant attribute
{ANY}
inserts_code: INTEGER_8
is 1
constant attribute
{ANY}
inherits_code: INTEGER_8
is 2
constant attribute
{ANY}
once function
{ANY}
shrink_generic_types: BOOLEAN
effective function
{}
shrink_generic_types_memory: REFERENCE[BOOLEAN]
once function
{}
Set the item to True if you want less generic type duplication
as_any: STRING
is "ANY"
constant attribute
{}
as_array: STRING
is "ARRAY"
constant attribute
{}
as_boolean: STRING
is "BOOLEAN"
constant attribute
{}
as_character: STRING
is "CHARACTER"
constant attribute
{}
as_disposable: STRING
is "DISPOSABLE"
constant attribute
{}
as_exceptions: STRING
is "EXCEPTIONS"
constant attribute
{}
as_fixed_array: STRING
is "FAST_ARRAY"
constant attribute
{}
as_function: STRING
is "FUNCTION"
constant attribute
{}
as_integer_general: STRING
is "INTEGER_GENERAL"
constant attribute
{}
as_integer_8: STRING
is "INTEGER_8"
constant attribute
{}
as_integer_16: STRING
is "INTEGER_16"
constant attribute
{}
as_integer_32: STRING
is "INTEGER_32"
constant attribute
{}
as_integer: STRING
is "INTEGER"
constant attribute
{}
as_integer_64: STRING
is "INTEGER_64"
constant attribute
{}
as_internals: STRING
is "INTERNALS"
constant attribute
{}
as_internals_handler: STRING
is "INTERNALS_HANDLER"
constant attribute
{}
as_native_array: STRING
is "NATIVE_ARRAY"
constant attribute
{}
as_native_array_collector: STRING
is "NATIVE_ARRAY_COLLECTOR"
constant attribute
{}
as_native_array_internals: STRING
is "NATIVE_ARRAY_INTERNALS"
constant attribute
{}
as_natural: STRING
is "NATURAL"
constant attribute
{}
as_natural_8: STRING
is "NATURAL_8"
constant attribute
{}
as_natural_16: STRING
is "NATURAL_16"
constant attribute
{}
as_natural_32: STRING
is "NATURAL_32"
constant attribute
{}
as_natural_64: STRING
is "NATURAL_64"
constant attribute
{}
as_natural_general: STRING
is "NATURAL_GENERAL"
constant attribute
{}
as_platform: STRING
is "PLATFORM"
constant attribute
{}
as_pointer: STRING
is "POINTER"
constant attribute
{}
as_predicate: STRING
is "PREDICATE"
constant attribute
{}
as_procedure: STRING
is "PROCEDURE"
constant attribute
{}
as_real_general: STRING
is "REAL_GENERAL"
constant attribute
{}
as_real_32: STRING
is "REAL_32"
constant attribute
{}
as_real: STRING
is "REAL"
constant attribute
{}
as_real_64: STRING
is "REAL_64"
constant attribute
{}
as_real_80: STRING
is "REAL_80"
constant attribute
{}
as_real_128: STRING
is "REAL_128"
constant attribute
{}
as_real_extended: STRING
is "REAL_EXTENDED"
constant attribute
{}
as_routine: STRING
is "ROUTINE"
constant attribute
{}
as_set: STRING
is "SET"
constant attribute
{}
as_string: STRING
is "STRING"
constant attribute
{}
as_text_file_read: STRING
is "TEXT_FILE_READ"
constant attribute
{}
as_text_file_write: STRING
is "TEXT_FILE_WRITE"
constant attribute
{}
as_thread_context: STRING
is "THREAD_CONTEXT"
constant attribute
{}
as_thread_lock: STRING
is "THREAD_LOCK"
constant attribute
{}
as_tuple: STRING
is "TUPLE"
constant attribute
{}
as_type: STRING
is "TYPE"
constant attribute
{}
as_typed_internals: STRING
is "TYPED_INTERNALS"
constant attribute
{}
as_unicode_string: STRING
is "UNICODE_STRING"
constant attribute
{}
as_weak_reference: STRING
is "WEAK_REFERENCE"
constant attribute
{}
as_a1: STRING
is "a1"
constant attribute
{}
as_add_last: STRING
is "add_last"
constant attribute
{}
as_agent: STRING
is "agent"
constant attribute
{}
as_allocated_bytes: STRING
is "allocated_bytes"
constant attribute
{}
as_alloc_native_data: STRING
is "alloc_native_data"
constant attribute
{}
as_as_16_ne: STRING
is "as_16_ne"
constant attribute
{}
as_as_32_ne: STRING
is "as_32_ne"
constant attribute
{}
as_atan2: STRING
is "atan2"
constant attribute
{}
as_blank: STRING
is "blank"
constant attribute
{}
as_bit_clear: STRING
is "bit_clear"
constant attribute
{}
as_bit_put: STRING
is "bit_put"
constant attribute
{}
as_bit_rotate: STRING
is "bit_rotate"
constant attribute
{}
as_bit_set: STRING
is "bit_set"
constant attribute
{}
as_bit_xor: STRING
is "bit_xor"
constant attribute
{}
as_boolean_bits: STRING
is "Boolean_bits"
constant attribute
{}
as_call: STRING
is "call"
constant attribute
{}
as_calloc: STRING
is "calloc"
constant attribute
{}
as_capacity: STRING
is "capacity"
constant attribute
{}
as_ceiling: STRING
is "ceiling"
constant attribute
{}
as_character_bits: STRING
is "Character_bits"
constant attribute
{}
as_clear_all: STRING
is "clear_all"
constant attribute
{}
as_count: STRING
is "count"
constant attribute
{}
as_code: STRING
is "code"
constant attribute
{}
as_collecting: STRING
is "collecting"
constant attribute
{}
as_collection_off: STRING
is "collection_off"
constant attribute
{}
as_collection_on: STRING
is "collection_on"
constant attribute
{}
as_collector_counter: STRING
is "collector_counter"
constant attribute
{}
as_copy: STRING
is "copy"
constant attribute
{}
as_c_inline_c: STRING
is "c_inline_c"
constant attribute
{}
as_c_inline_h: STRING
is "c_inline_h"
constant attribute
{}
as_default_create: STRING
is "default_create"
constant attribute
{}
as_default_rescue: STRING
is "default_rescue"
constant attribute
{}
as_deep_memcmp: STRING
is "deep_memcmp"
constant attribute
{}
as_deep_twin: STRING
is "deep_twin"
constant attribute
{}
as_deep_twin_from: STRING
is "deep_twin_from"
constant attribute
{}
as_dispose: STRING
is "dispose"
constant attribute
{}
as_die_with_code: STRING
is "die_with_code"
constant attribute
{}
as_element_sizeof: STRING
is "element_sizeof"
constant attribute
{}
as_exception: STRING
is "exception"
constant attribute
{}
as_for_object: STRING
is "for_object"
constant attribute
{}
as_type_can_be_assigned_to_attribute: STRING
is "type_can_be_assigned_to_attribute"
constant attribute
{}
as_type_can_be_assigned_to_item: STRING
is "type_can_be_assigned_to_item"
constant attribute
{}
as_type_attribute_count: STRING
is "type_attribute_count"
constant attribute
{}
as_type_attribute_generator: STRING
is "type_attribute_generator"
constant attribute
{}
as_type_attribute_generating_type: STRING
is "type_attribute_generating_type"
constant attribute
{}
as_type_attribute_is_expanded: STRING
is "type_attribute_is_expanded"
constant attribute
{}
as_type_attribute_name: STRING
is "type_attribute_name"
constant attribute
{}
as_fifth: STRING
is "fifth"
constant attribute
{}
as_first: STRING
is "first"
constant attribute
{}
as_floor: STRING
is "floor"
constant attribute
{}
as_flush: STRING
is "flush"
constant attribute
{}
as_fourth: STRING
is "fourth"
constant attribute
{}
as_force_to_integer_16: STRING
is "force_to_integer_16"
constant attribute
{}
as_force_to_integer_32: STRING
is "force_to_integer_32"
constant attribute
{}
as_force_to_integer_64: STRING
is "force_to_integer_64"
constant attribute
{}
as_force_to_natural_16: STRING
is "force_to_natural_16"
constant attribute
{}
as_force_to_natural_32: STRING
is "force_to_natural_32"
constant attribute
{}
as_force_to_natural_64: STRING
is "force_to_natural_64"
constant attribute
{}
as_force_to_real_32: STRING
is "force_to_real_32"
constant attribute
{}
as_force_to_real_64: STRING
is "force_to_real_64"
constant attribute
{}
as_free_native_data: STRING
is "free_native_data"
constant attribute
{}
as_from_external_sized_copy: STRING
is "from_external_sized_copy"
constant attribute
{}
as_from_pointer: STRING
is "from_pointer"
constant attribute
{}
as_full_collect: STRING
is "full_collect"
constant attribute
{}
as_generating_type: STRING
is "generating_type"
constant attribute
{}
as_generator: STRING
is "generator"
constant attribute
{}
as_io: STRING
is "io"
constant attribute
{}
as_integer_bits: STRING
is "Integer_bits"
constant attribute
{}
as_internals_from_generating_type: STRING
is "internals_from_generating_type"
constant attribute
{}
as_is_basic_expanded_type: STRING
is "is_basic_expanded_type"
constant attribute
{}
as_is_deep_equal: STRING
is "is_deep_equal"
constant attribute
{}
as_is_equal: STRING
is "is_equal"
constant attribute
{}
as_do_at_exit: STRING
is "do_at_exit"
constant attribute
{}
as_is_empty: STRING
is "is_empty"
constant attribute
{}
as_is_finished: STRING
is "is_finished"
constant attribute
{}
as_is_infinity: STRING
is "is_infinity"
constant attribute
{}
as_is_locked: STRING
is "is_locked"
constant attribute
{}
as_is_normal: STRING
is "is_normal"
constant attribute
{}
as_is_not_a_number: STRING
is "is_not_a_number"
constant attribute
{}
as_is_not_null: STRING
is "is_not_null"
constant attribute
{}
as_is_started: STRING
is "is_started"
constant attribute
{}
as_is_subnormal: STRING
is "is_subnormal"
constant attribute
{}
as_item: STRING
is "item"
constant attribute
{}
as_last: STRING
is "last"
constant attribute
{}
as_lock: STRING
is "lock"
constant attribute
{}
as_lower: STRING
is "lower"
constant attribute
{}
as_low_8: STRING
is "low_8"
constant attribute
{}
as_low_16: STRING
is "low_16"
constant attribute
{}
as_low_32: STRING
is "low_32"
constant attribute
{}
as_native_array_internals_from_generating_type: STRING
is "native_array_internals_from_generating_type"
constant attribute
{}
as_make: STRING
is "make"
constant attribute
{}
as_make_blank: STRING
is "make_blank"
constant attribute
{}
as_mark_item: STRING
is "mark_item"
constant attribute
{}
as_mark_native_arrays: STRING
is "mark_native_arrays"
constant attribute
{}
as_minimum_character_code: STRING
is "Minimum_character_code"
constant attribute
{}
as_minimum_double: STRING
is "Minimum_double"
constant attribute
{}
as_minimum_real: STRING
is "Minimum_real"
constant attribute
{}
as_manifest_creation: STRING
is "manifest_creation"
constant attribute
{}
as_manifest_initialize: STRING
is "manifest_initialize"
constant attribute
{}
as_manifest_make: STRING
is "manifest_make"
constant attribute
{}
as_manifest_put: STRING
is "manifest_put"
constant attribute
{}
as_manifest_semicolon_check: STRING
is "manifest_semicolon_check"
constant attribute
{}
as_maximum_character_code: STRING
is "Maximum_character_code"
constant attribute
{}
as_maximum_double: STRING
is "Maximum_double"
constant attribute
{}
as_maximum_real: STRING
is "Maximum_real"
constant attribute
{}
as_native_data: STRING
is "native_data"
constant attribute
{}
as_notify: STRING
is "notify"
constant attribute
{}
as_notify_all: STRING
is "notify_all"
constant attribute
{}
as_object_as_pointer: STRING
is "object_as_pointer"
constant attribute
{}
as_object_attribute: STRING
is "object_attribute"
constant attribute
{}
as_object_invariant: STRING
is "object_invariant"
constant attribute
{}
as_object_memory: STRING
is "object_memory"
constant attribute
{}
as_object_size: STRING
is "object_size"
constant attribute
{}
as_pointer_bits: STRING
is "Pointer_bits"
constant attribute
{}
as_pow_postfix: STRING
is "pow"
constant attribute
{}
as_print: STRING
is "print"
constant attribute
{}
as_print_on: STRING
is "print_on"
constant attribute
{}
as_print_run_time_stack: STRING
is "print_run_time_stack"
constant attribute
{}
as_put: STRING
is "put"
constant attribute
{}
as_put_0: STRING
is "put_0"
constant attribute
{}
as_put_1: STRING
is "put_1"
constant attribute
{}
as_put_16_be: STRING
is "put_16_be"
constant attribute
{}
as_put_16_le: STRING
is "put_16_le"
constant attribute
{}
as_put_16_ne: STRING
is "put_16_ne"
constant attribute
{}
as_put_32_be: STRING
is "put_32_be"
constant attribute
{}
as_put_32_le: STRING
is "put_32_le"
constant attribute
{}
as_put_32_ne: STRING
is "put_32_ne"
constant attribute
{}
as_raise_exception: STRING
is "raise_exception"
constant attribute
{}
as_real_bits: STRING
is "Real_bits"
constant attribute
{}
as_realloc: STRING
is "realloc"
constant attribute
{}
as_rounded: STRING
is "rounded"
constant attribute
{}
as_run: STRING
is "run"
constant attribute
{}
as_same_dynamic_type: STRING
is "same_dynamic_type"
constant attribute
{}
as_second: STRING
is "second"
constant attribute
{}
as_se_argc: STRING
is "se_argc"
constant attribute
{}
as_se_argv: STRING
is "se_argv"
constant attribute
{}
as_se_atexit: STRING
is "se_atexit"
constant attribute
{}
as_se_fault: STRING
is "se_fault"
constant attribute
{}
as_sedb_breakpoint: STRING
is "sedb_breakpoint"
constant attribute
{}
as_set_item: STRING
is "set_item"
constant attribute
{}
as_set_object_attribute: STRING
is "set_object_attribute"
constant attribute
{}
as_signal_number: STRING
is "signal_number"
constant attribute
{}
as_slice_copy: STRING
is "slice_copy"
constant attribute
{}
as_standard_copy: STRING
is "standard_copy"
constant attribute
{}
as_standard_is_equal: STRING
is "standard_is_equal"
constant attribute
{}
as_standard_twin: STRING
is "standard_twin"
constant attribute
{}
as_status: STRING
is "status"
constant attribute
{}
as_std_error: STRING
is "std_error"
constant attribute
{}
as_std_input: STRING
is "std_input"
constant attribute
{}
as_std_output: STRING
is "std_output"
constant attribute
{}
as_stderr: STRING
is "stderr"
constant attribute
{}
as_stdin: STRING
is "stdin"
constant attribute
{}
as_stdout: STRING
is "stdout"
constant attribute
{}
as_storage: STRING
is "storage"
constant attribute
{}
as_storage_lower: STRING
is "storage_lower"
constant attribute
{}
as_third: STRING
is "third"
constant attribute
{}
as_timed_wait: STRING
is "timed_wait"
constant attribute
{}
as_to_character: STRING
is "to_character"
constant attribute
{}
as_to_integer_8: STRING
is "to_integer_8"
constant attribute
{}
as_to_integer_16: STRING
is "to_integer_16"
constant attribute
{}
as_to_integer_32: STRING
is "to_integer_32"
constant attribute
{}
as_to_integer_64: STRING
is "to_integer_64"
constant attribute
{}
as_to_internals: STRING
is "to_internals"
constant attribute
{}
as_to_natural_8: STRING
is "to_natural_8"
constant attribute
{}
as_to_natural_16: STRING
is "to_natural_16"
constant attribute
{}
as_to_natural_32: STRING
is "to_natural_32"
constant attribute
{}
as_to_natural_64: STRING
is "to_natural_64"
constant attribute
{}
as_to_pointer: STRING
is "to_pointer"
constant attribute
{}
as_trace_switch: STRING
is "trace_switch"
constant attribute
{}
as_twin: STRING
is "twin"
constant attribute
{}
as_type_generating_type: STRING
is "type_generating_type"
constant attribute
{}
as_type_generator: STRING
is "type_generator"
constant attribute
{}
as_type_is_expanded: STRING
is "type_is_expanded"
constant attribute
{}
as_type_item_generating_type: STRING
is "type_item_generating_type"
constant attribute
{}
as_type_item_generator: STRING
is "type_item_generator"
constant attribute
{}
as_type_item_is_expanded: STRING
is "type_item_is_expanded"
constant attribute
{}
as_unlock: STRING
is "unlock"
constant attribute
{}
as_upper: STRING
is "upper"
constant attribute
{}
as_valid_generating_type_for_internals: STRING
is "valid_generating_type_for_internals"
constant attribute
{}
as_valid_generating_type_for_native_array_internals: STRING
is "valid_generating_type_for_native_array_internals"
constant attribute
{}
as_wait: STRING
is "wait"
constant attribute
{}
as_with_capacity: STRING
is "with_capacity"
constant attribute
{}
as_and: STRING
is "and"
constant attribute
{}
as_and_then: STRING
is "and then"
constant attribute
{}
as_at: STRING
is "@"
constant attribute
{}
as_backslash_backslash: STRING
is "\\"
constant attribute
{}
as_bit_and: STRING
is "&"
constant attribute
{}
as_bit_not: STRING
is "~"
constant attribute
{}
as_bit_or: STRING
is "|"
constant attribute
{}
as_bit_rotate_left: STRING
is "#<<"
constant attribute
{}
as_bit_rotate_right: STRING
is "#>>"
constant attribute
{}
as_bit_shift_right_unsigned: STRING
is "|>>>"
constant attribute
{}
as_brackets: STRING
is "[]"
constant attribute
{}
as_eq: STRING
is "="
constant attribute
{}
as_ge: STRING
is ">="
constant attribute
{}
as_gt: STRING
is ">"
constant attribute
{}
as_implies: STRING
is "implies"
constant attribute
{}
as_le: STRING
is "<="
constant attribute
{}
as_lt: STRING
is "<"
constant attribute
{}
as_minus: STRING
is "-"
constant attribute
{}
as_muls: STRING
is "*"
constant attribute
{}
as_neq: STRING
is "/="
constant attribute
{}
as_not: STRING
is "not"
constant attribute
{}
as_or: STRING
is "or"
constant attribute
{}
as_or_else: STRING
is "or else"
constant attribute
{}
as_parentheses: STRING
is "()"
constant attribute
{}
as_plus: STRING
is "+"
constant attribute
{}
as_pow: STRING
is "^"
constant attribute
{}
as_sharp_backslash_backslash: STRING
is "#\\"
constant attribute
{}
as_sharp_minus: STRING
is "#-"
constant attribute
{}
as_sharp_muls: STRING
is "#*"
constant attribute
{}
as_sharp_plus: STRING
is "#+"
constant attribute
{}
as_sharp_slash_slash: STRING
is "#//"
constant attribute
{}
as_bit_shift_left: STRING
is "|<<"
constant attribute
{}
as_bit_shift_right: STRING
is "|>>"
constant attribute
{}
as_slash: STRING
is "/"
constant attribute
{}
as_slash_slash: STRING
is "//"
constant attribute
{}
as_xor: STRING
is "xor"
constant attribute
{}
as_arguments: STRING
is "arguments"
constant attribute
{}
as_current: STRING
is "Current"
constant attribute
{}
as_native_array_character: STRING
is "NATIVE_ARRAY[CHARACTER]"
constant attribute
{}
as_last_result: STRING
is "last_result"
constant attribute
{}
as_like_current: STRING
is "like Current"
constant attribute
{}
as_method: STRING
is "method"
constant attribute
{}
as_open_arguments: STRING
is "open_arguments"
constant attribute
{}
as_open_argument_indices: STRING
is "open_argument_indices"
constant attribute
{}
as_open_argument_index: STRING
is "open_argument_index"
constant attribute
{}
as_open_argument_count: STRING
is "open_argument_count"
constant attribute
{}
as_precursor: STRING
is "Precursor"
constant attribute
{}
as_result: STRING
is "Result"
constant attribute
{}
as_target: STRING
is "target"
constant attribute
{}
as_void: STRING
is "Void"
constant attribute
{}
fz_adapt: STRING
is "adapt"
constant attribute
{}
fz_alias: STRING
is "alias"
constant attribute
{}
fz_all: STRING
is "all"
constant attribute
{}
fz_as: STRING
is "as"
constant attribute
{}
fz_assertion: STRING
is "assertion"
constant attribute
{}
fz_assertion_flat_check: STRING
is "assertion_flat_check"
constant attribute
{}
fz_assign: STRING
is "assign"
constant attribute
{}
fz_begin_c_compile: STRING
is "# Beginning of parallelizable section"
constant attribute
{}
fz_boost: STRING
is "boost"
constant attribute
{}
fz_check: STRING
is "check"
constant attribute
{}
fz_class: STRING
is "class"
constant attribute
{}
fz_cluster: STRING
is "cluster"
constant attribute
{}
fz_convert: STRING
is "convert"
constant attribute
{}
fz_create: STRING
is "create"
constant attribute
{}
fz_creation: STRING
is "creation"
constant attribute
{}
fz_debug: STRING
is "debug"
constant attribute
{}
fz_default: STRING
is "default"
constant attribute
{}
fz_deferred: STRING
is "deferred"
constant attribute
{}
fz_do: STRING
is "do"
constant attribute
{}
fz_else: STRING
is "else"
constant attribute
{}
fz_elseif: STRING
is "elseif"
constant attribute
{}
fz_end: STRING
is "end"
constant attribute
{}
fz_end_c_compile: STRING
is "# End of parallelizable section"
constant attribute
{}
fz_ensure: STRING
is "ensure"
constant attribute
{}
fz_exclude: STRING
is "exclude"
constant attribute
{}
fz_expanded: STRING
is "expanded"
constant attribute
{}
fz_export: STRING
is "export"
constant attribute
{}
fz_external: STRING
is "external"
constant attribute
{}
fz_false: STRING
is "False"
constant attribute
{}
fz_feature: STRING
is "feature"
constant attribute
{}
fz_from: STRING
is "from"
constant attribute
{}
fz_frozen: STRING
is "frozen"
constant attribute
{}
fz_generate: STRING
is "generate"
constant attribute
{}
fz_if: STRING
is "if"
constant attribute
{}
fz_include: STRING
is "include"
constant attribute
{}
fz_indexing: STRING
is "indexing"
constant attribute
{}
fz_infix: STRING
is "infix"
constant attribute
{}
fz_inherit: STRING
is "inherit"
constant attribute
{}
fz_insert: STRING
is "insert"
constant attribute
{}
fz_inline: STRING
is "inline"
constant attribute
{}
fz_inspect: STRING
is "inspect"
constant attribute
{}
fz_invariant: STRING
is "invariant"
constant attribute
{}
fz_is: STRING
is "is"
constant attribute
{}
fz_like: STRING
is "like"
constant attribute
{}
fz_local: STRING
is "local"
constant attribute
{}
fz_loop: STRING
is "loop"
constant attribute
{}
fz_no: STRING
is "no"
constant attribute
{}
fz_note: STRING
is "note"
constant attribute
{}
fz_obsolete: STRING
is "obsolete"
constant attribute
{}
fz_old: STRING
is "old"
constant attribute
{}
fz_once: STRING
is "once"
constant attribute
{}
fz_option: STRING
is "option"
constant attribute
{}
fz_prefix: STRING
is "prefix"
constant attribute
{}
fz_redefine: STRING
is "redefine"
constant attribute
{}
fz_rename: STRING
is "rename"
constant attribute
{}
fz_require: STRING
is "require"
constant attribute
{}
fz_rescue: STRING
is "rescue"
constant attribute
{}
fz_retry: STRING
is "retry"
constant attribute
{}
fz_runtime: STRING
is "runtime"
constant attribute
{}
fz_separate: STRING
is "separate"
constant attribute
{}
fz_reference: STRING
is "reference"
constant attribute
{}
fz_then: STRING
is "then"
constant attribute
{}
fz_trace: STRING
is "trace"
constant attribute
{}
fz_true: STRING
is "True"
constant attribute
{}
fz_undefine: STRING
is "undefine"
constant attribute
{}
fz_unique: STRING
is "unique"
constant attribute
{}
fz_until: STRING
is "until"
constant attribute
{}
fz_use: STRING
is "use"
constant attribute
{}
fz_variant: STRING
is "variant"
constant attribute
{}
fz_when: STRING
is "when"
constant attribute
{}
fz_yes: STRING
is "yes"
constant attribute
{}
fz_cad: STRING
is "Cyclic anchored definition."
constant attribute
{}
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
{}
fz_error_stars: STRING
is "****** "
constant attribute
{}
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
{}
fz_bin: STRING
is "bin"
constant attribute
{}
fz_c_shift_left: STRING
is "<<"
constant attribute
{}
fz_c_shift_right: STRING
is ">>"
constant attribute
{}
fz_install: STRING
is "install"
constant attribute
{}
fz_jobs: STRING
is "jobs"
constant attribute
{}
fz_no_check: STRING
is "no_check"
constant attribute
{}
fz_none: STRING
is "none"
constant attribute
{}
fz_libertyeiffel: STRING
is "LibertyEiffel"
constant attribute
{}
fz_seconf: STRING
is "LIBERTY_CONF"
constant attribute
{}
The environment name pointing to the config file.
fz_conf_general: STRING
is "General"
constant attribute
{}
fz_conf_loadpath: STRING
is "Loadpath"
constant attribute
{}
fz_conf_environment: STRING
is "Environment"
constant attribute
{}
since version 2
fz_conf_se_tools: STRING
is "Tools"
constant attribute
{}
since version 3
fz_conf_bin: STRING
is "bin"
constant attribute
{}
fz_conf_lib: STRING
is "lib"
constant attribute
{}
fz_conf_sys: STRING
is "sys"
constant attribute
{}
fz_conf_short: STRING
is "short"
constant attribute
{}
fz_conf_tools: STRING
is "tools"
constant attribute
{}
fz_conf_os: STRING
is "os"
constant attribute
{}
fz_conf_flavor: STRING
is "flavor"
constant attribute
{}
fz_conf_jobs: STRING
is "jobs"
constant attribute
{}
fz_conf_boost: STRING
is "boost"
constant attribute
{}
fz_conf_no_check: STRING
is "no_check"
constant attribute
{}
fz_conf_require_check: STRING
is "require_check"
constant attribute
{}
fz_conf_ensure_check: STRING
is "ensure_check"
constant attribute
{}
fz_conf_invariant_check: STRING
is "invariant_check"
constant attribute
{}
fz_conf_loop_check: STRING
is "loop_check"
constant attribute
{}
fz_conf_all_check: STRING
is "all_check"
constant attribute
{}
fz_conf_debug_check: STRING
is "debug_check"
constant attribute
{}
fz_conf_flat_check: STRING
is "flat_check"
constant attribute
{}
fz_conf_smarteiffel_options: STRING
is "smarteiffel_options"
constant attribute
{}
fz_conf_undefined: STRING
is "undefined"
constant attribute
{}
fz_conf_tag: STRING
is "tag"
constant attribute
{}
fz_conf_compiler_type: STRING
is "c_compiler_type"
constant attribute
{}
fz_conf_compiler_path: STRING
is "c_compiler_path"
constant attribute
{}
fz_conf_linker_path: STRING
is "c_linker_path"
constant attribute
{}
fz_conf_strip_path: STRING
is "c_strip_path"
constant attribute
{}
fz_conf_compiler_options: STRING
is "c_compiler_options"
constant attribute
{}
fz_conf_linker_options: STRING
is "c_linker_options"
constant attribute
{}
fz_conf_cpp_compiler_type: STRING
is "cpp_compiler_type"
constant attribute
{}
fz_conf_cpp_compiler_path: STRING
is "cpp_compiler_path"
constant attribute
{}
fz_conf_cpp_compiler_options: STRING
is "cpp_compiler_options"
constant attribute
{}
fz_conf_cpp_linker_path: STRING
is "cpp_linker_path"
constant attribute
{}
fz_conf_cpp_strip_path: STRING
is "cpp_strip_path"
constant attribute
{}
fz_conf_cpp_linker_options: STRING
is "cpp_linker_options"
constant attribute
{}