GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
smarteiffel
>
EIFFELDOC_SHORTER_CLASSDOC
+
Point of view
All features
ANY
AGENT_ARGS
ASSERTION
CLASS_NAME
CLASS_TEXT
CLIENT_LIST
CREATION_CLAUSE_LIST
CREATION_CLAUSE
DECLARATION_GROUP
DECLARATION_1
EFFECTIVE_ARG_LIST_0
EFFECTIVE_ARG_LIST_N
EXPORT_ITEM
EXPORT_LIST
FEATURE_CLAUSE_LIST
FEATURE_CLAUSE
FEATURE_NAME_LIST
FEATURE_NAME
FEATURE_TEXT
FORMAL_ARG_LIST
LOCAL_VAR_LIST
LOOP_VARIANT
PARENT_EDGE
PARENT_LISTS
RENAME_LIST
RENAME_PAIR
REQUIRE_ASSERTION
TYPE_MARK_LIST
TYPE
WHEN_CLAUSE
ARGUMENT_NAME_DEF
LOCAL_NAME_DEF
AGENT_TYPE_MARK
ARRAY_TYPE_MARK
NATIVE_ARRAY_TYPE_MARK
NON_EMPTY_TUPLE_TYPE_MARK
USER_GENERIC_TYPE_MARK
WEAK_REFERENCE_TYPE_MARK
EMPTY_TUPLE_TYPE_MARK
LIKE_ARGUMENT_TYPE_MARK
LIKE_FEATURE_TYPE_MARK
LIKE_CURRENT_TYPE_MARK
CLIENT_TYPE_MARK
FORMAL_GENERIC_TYPE_MARK
ANY_TYPE_MARK
CLASS_TYPE_MARK
BOOLEAN_TYPE_MARK
CHARACTER_TYPE_MARK
INTEGER_TYPE_MARK
NATURAL_TYPE_MARK
POINTER_TYPE_MARK
REAL_TYPE_MARK
STRING_TYPE_MARK
DEFERRED_PROCEDURE
DEFERRED_FUNCTION
EXTERNAL_PROCEDURE
EXTERNAL_FUNCTION
E_FUNCTION
E_PROCEDURE
ONCE_FUNCTION
ONCE_PROCEDURE
CST_ATT_REAL
CST_ATT_CHARACTER
CST_ATT_INTEGER
CST_ATT_UNIQUE
CST_ATT_STRING
CST_ATT_BOOLEAN
WRITABLE_ATTRIBUTE
IMPLICIT_CURRENT
WRITTEN_CURRENT
ADDRESS_OF
AGENT_CREATION
AGENT_EXPRESSION
ASSIGNMENT_TEST
BUILT_IN_EQ_NEQ
CLOSED_OPERAND
CREATE_EXPRESSION
CREATE_WRITABLE
E_OLD
EXPRESSION_WITH_COMMENT
FAKE_ARGUMENT
FAKE_TARGET
FAKE_TUPLE
CALL_PREFIX_MINUS
CALL_PREFIX_FREEOP
CALL_PREFIX_NOT
CALL_PREFIX_PLUS
STATIC_CALL_0_C
FUNCTION_CALL_0
CALL_INFIX_AND_THEN
CALL_INFIX_AND
CALL_INFIX_DIV
CALL_INFIX_FREEOP
CALL_INFIX_GE
CALL_INFIX_GT
CALL_INFIX_IMPLIES
CALL_INFIX_INT_DIV
CALL_INFIX_INT_REM
CALL_INFIX_LE
CALL_INFIX_LT
CALL_INFIX_MINUS
CALL_INFIX_OR_ELSE
CALL_INFIX_OR
CALL_INFIX_PLUS
CALL_INFIX_POWER
CALL_INFIX_TIMES
CALL_INFIX_XOR
FUNCTION_CALL_1
FUNCTION_CALL_N
GENERATOR_GENERATING_TYPE
IFTHENELSE_EXP
IFTHEN_EXP
IMPLICIT_CAST
ARGUMENT_NAME_REF
LOCAL_NAME_REF
E_FALSE
E_TRUE
CHARACTER_CONSTANT
INTEGER_CONSTANT
NATURAL_CONSTANT
REAL_CONSTANT
E_VOID
MANIFEST_STRING
MANIFEST_GENERIC
MANIFEST_TUPLE
COMPOUND_EXPRESSION
DYNAMIC_DISPATCH_TEMPORARY1_ID
DYNAMIC_DISPATCH_TEMPORARY1
DYNAMIC_DISPATCH_TEMPORARY2
INTERNAL_LOCAL2
NATIVE_ARRAY_ITEM
NO_DISPATCH
NON_VOID_NO_DISPATCH
NULL_POINTER
VOID_CALL
OLD_MANIFEST_ARRAY
OPEN_OPERAND
PRECURSOR_EXPRESSION
RESULT
WRITABLE_ATTRIBUTE_NAME
AGENT_INSTRUCTION
CLASS_INVARIANT
ENSURE_ASSERTION
LOOP_INVARIANT
ASSERTION_LIST
ASSIGNMENT_ATTEMPT
ASSIGNMENT_CALL_ASSIGNER
ASSIGNMENT
CHECK_COMPOUND
C_INLINE
COMMENT
COMPOUND
CREATE_INSTRUCTION
RAW_CREATE_INSTRUCTION
DEBUG_COMPOUND
IFTHENELSE
IFTHEN
MANIFEST_STRING_INSPECT_STATEMENT
OTHER_INSPECT_STATEMENT
LOOP_INSTRUCTION
NO_INVARIANT_WRAPPER
RUN_TIME_ERROR_INSTRUCTION
SEDB
UNUSED_EXPRESSION
VOID_PROC_CALL
PRECURSOR_INSTRUCTION
PROCEDURE_CALL_0
PROCEDURE_CALL_1
PROCEDURE_CALL_N
RETRY_INSTRUCTION
WHEN_ITEM_1
WHEN_ITEM_2
ABSTRACT_CURRENT
ACE
SE
COMPILE
SMART_EIFFEL
SYSTEM_TOOLS
VISITOR
INDEX_LIST
INDEX_CLAUSE
EIFFELDOC_SHORTER
EFFECTIVE_ARG_LIST
All features
class EIFFELDOC_SHORTER_CLASSDOC
Summary
top
Document one class
Direct parents
Inherit list:
IN_OUT_VISITOR
Insert list:
AGENT_TYPE_MARKS
,
ASSERTION_PRINT_TOOLS
,
EIFFELDOC_GLOBALS
,
GLOBALS
,
INDEX_CLAUSE_VISITOR
,
INDEX_LIST_VISITOR
Overview
top
Creation features
{
EIFFELDOC_SHORTER
}
make
(a_context:
EIFFELDOC_CONTEXT
)
Features
{}
invariant_phase
:
INTEGER_32
summary_creation_phase
:
INTEGER_32
summary_features_phase
:
INTEGER_32
details_creation_phase
:
INTEGER_32
details_features_phase
:
INTEGER_32
{
EIFFELDOC_SHORTER
}
find_clients
:
EIFFELDOC_SHORTER_FIND_CLIENTS
clients
:
TYPE_MARK_LIST
list of all class names given in feature clauses
generate
(a_class_text:
CLASS_TEXT
, a_filename:
STRING
, inherit_children:
FAST_ARRAY
[
CLASS_TEXT
], insert_children:
FAST_ARRAY
[
CLASS_TEXT
])
depends
:
HASHED_SET
[
CLASS_NAME
]
{}
open_root_block
Write the
top
anchor.
close_root_block
Sorting and displaying lists of classes:
{}
put_parent_classes
(title:
STRING
, parents:
FAST_ARRAY
[
PARENT_EDGE
])
put_children_classes
(title:
STRING
, children:
FAST_ARRAY
[
CLASS_TEXT
])
put_list_of_classes
(title:
STRING
)
sort_list_of_classes
compare_class_texts
(x:
CLASS_TEXT
, y:
CLASS_TEXT
):
BOOLEAN
class_texts_comparator
:
FUNCTION
[
TUPLE 2
[
CLASS_TEXT
,
CLASS_TEXT
],
BOOLEAN
]
list_of_classes
:
FAST_ARRAY
[
CLASS_TEXT
]
{}
put_class_invariant
(ct:
CLASS_TEXT
)
browse_class
(ct:
CLASS_TEXT
)
browse_inherit_items
(items:
FAST_ARRAY
[
PARENT_EDGE
])
{}
enter_class_invariant
(visited:
CLASS_INVARIANT
):
BOOLEAN
{}
enter_parent_lists
(visited:
PARENT_LISTS
):
BOOLEAN
enter_class_text
(visited:
CLASS_TEXT
):
BOOLEAN
entered
:
BOOLEAN
look_for_creation
:
FEATURE_NAME
feature_clause_comment_to_print
:
COMMENT
feature_clause_comment_printed
:
BOOLEAN
print_client_list
output the client list for the current object as class-links
feature_clause_client_list
:
TYPE_MARK_LIST
list of all class names given in feature clauses, those have access to the current feature(s)
enter_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
):
BOOLEAN
enter_creation_clause
(visited:
CREATION_CLAUSE
):
BOOLEAN
exit_creation_clause
(visited:
CREATION_CLAUSE
)
enter_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
):
BOOLEAN
enter_feature_clause
(visited:
FEATURE_CLAUSE
):
BOOLEAN
exit_feature_clause
(visited:
FEATURE_CLAUSE
)
enter_feature_text
(visited:
FEATURE_TEXT
):
BOOLEAN
found_features
:
FAST_ARRAY
[
FEATURE_STAMP
]
print_feature
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
print_feature_summary
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
print_feature_details
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
require_is_empty
(ra:
REQUIRE_ASSERTION
):
BOOLEAN
assertion_list_is_empty
(al:
ASSERTION_LIST
):
BOOLEAN
print_require
(ra:
REQUIRE_ASSERTION
, for_feature:
ANONYMOUS_FEATURE
)
print_assertion_list
(al:
ASSERTION_LIST
, for_feature:
ANONYMOUS_FEATURE
)
print_assertion
(a:
ASSERTION
, for_feature:
ANONYMOUS_FEATURE
)
{}
visit_generic_type_mark
(visited:
GENERIC_TYPE_MARK
)
{
AGENT_TYPE_MARK
}
visit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
{
FEATURE_NAME
}
visit_feature_name
(visited:
FEATURE_NAME
)
{
FORMAL_GENERIC_TYPE_MARK
}
visit_formal_generic_type_mark
(visited:
FORMAL_GENERIC_TYPE_MARK
)
{
LIKE_FEATURE_TYPE_MARK
}
visit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
{
LIKE_ARGUMENT_TYPE_MARK
}
visit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
{
LIKE_CURRENT_TYPE_MARK
}
visit_like_current_type_mark
(visited:
LIKE_CURRENT_TYPE_MARK
)
{
ARGUMENT_NAME_REF
}
visit_argument_name_ref
(visited:
ARGUMENT_NAME_REF
)
{
EFFECTIVE_ARG_LIST
}
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
{
MANIFEST_STRING
}
visit_manifest_string
(visited:
MANIFEST_STRING
)
{
WRITTEN_CURRENT
}
visit_written_current
(visited:
WRITTEN_CURRENT
)
{
RESULT
}
visit_result
(visited:
RESULT
)
{
E_OLD
}
visit_e_old
(visited:
E_OLD
)
{}
visit_call_support
(visited:
FEATURE_CALL
)
{
BUILT_IN_EQ_NEQ
}
visit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
{
IMPLICIT_CAST
}
visit_implicit_cast
(visited:
IMPLICIT_CAST
)
{
E_VOID
}
visit_e_void
(visited:
E_VOID
)
{
E_TRUE
}
visit_e_true
(visited:
E_TRUE
)
{
E_FALSE
}
visit_e_false
(visited:
E_FALSE
)
{
CHARACTER_CONSTANT
}
visit_character_constant
(visited:
CHARACTER_CONSTANT
)
{
INTEGER_CONSTANT
}
visit_integer_constant
(visited:
INTEGER_CONSTANT
)
{
NATURAL_CONSTANT
}
visit_natural_constant
(visited:
NATURAL_CONSTANT
)
{
REAL_CONSTANT
}
visit_real_constant
(visited:
REAL_CONSTANT
)
{
CREATE_EXPRESSION
}
visit_create_expression
(visited:
CREATE_EXPRESSION
)
{}
class_text
:
CLASS_TEXT
phase
:
INTEGER_32
options
:
EIFFELDOC_OPTIONS
html
:
EIFFELDOC_OUTPUT_STREAM
context_class_text
:
CLASS_TEXT
make
(a_context:
EIFFELDOC_CONTEXT
)
put_type_mark
(visited:
TYPE_MARK
)
put_class
(ct:
CLASS_TEXT
, show_generic:
BOOLEAN
)
put_class_name
(class_name:
CLASS_NAME
, anchored:
BOOLEAN
)
put_class_name_string
(class_name_string:
STRING
, anchor:
STRING
)
Must be called
only
by
put_class_name
is_generic_name
(class_name:
CLASS_NAME
, context_class:
CLASS_TEXT
):
BOOLEAN
context
:
EIFFELDOC_CONTEXT
unused vistors
{
INDEX_LIST
,
INDEX_CLAUSE
}
visit_index_list
(visited:
INDEX_LIST
)
visit_index_clause
(visited:
INDEX_CLAUSE
)
{
CLASS_TEXT
}
visit_class_text
(visited:
CLASS_TEXT
)
{}
exit_class_text
(visited:
CLASS_TEXT
)
visiting_class_texts
:
SET
[
CLASS_TEXT
]
visitting_class_texts
:
SET
[
CLASS_TEXT
]
{
PARENT_LISTS
}
visit_parent_lists
(visited:
PARENT_LISTS
)
{}
exit_parent_lists
(visited:
PARENT_LISTS
)
{
PARENT_EDGE
}
visit_parent_edge
(visited:
PARENT_EDGE
)
{}
enter_parent_edge
(visited:
PARENT_EDGE
):
BOOLEAN
exit_parent_edge
(visited:
PARENT_EDGE
)
{
RENAME_LIST
}
visit_rename_list
(visited:
RENAME_LIST
)
{}
enter_rename_list
(visited:
RENAME_LIST
):
BOOLEAN
exit_rename_list
(visited:
RENAME_LIST
)
{
RENAME_PAIR
}
visit_rename_pair
(visited:
RENAME_PAIR
)
{}
enter_rename_pair
(visited:
RENAME_PAIR
):
BOOLEAN
exit_rename_pair
(visited:
RENAME_PAIR
)
{
EXPORT_LIST
}
visit_export_list
(visited:
EXPORT_LIST
)
{}
enter_export_list
(visited:
EXPORT_LIST
):
BOOLEAN
exit_export_list
(visited:
EXPORT_LIST
)
{
EXPORT_ITEM
}
visit_export_item
(visited:
EXPORT_ITEM
)
{}
enter_export_item
(visited:
EXPORT_ITEM
):
BOOLEAN
exit_export_item
(visited:
EXPORT_ITEM
)
{
FEATURE_CLAUSE_LIST
}
visit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
{}
exit_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
)
{
FEATURE_CLAUSE
}
visit_feature_clause
(visited:
FEATURE_CLAUSE
)
{
CREATION_CLAUSE_LIST
}
visit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
{}
exit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
{
CREATION_CLAUSE
}
visit_creation_clause
(visited:
CREATION_CLAUSE
)
{
CLIENT_LIST
}
visit_client_list
(visited:
CLIENT_LIST
)
{}
enter_client_list
(visited:
CLIENT_LIST
):
BOOLEAN
exit_client_list
(visited:
CLIENT_LIST
)
{
TYPE_MARK_LIST
}
visit_type_mark_list
(visited:
TYPE_MARK_LIST
)
{}
enter_type_mark_list
(visited:
TYPE_MARK_LIST
):
BOOLEAN
exit_type_mark_list
(visited:
TYPE_MARK_LIST
)
{
CLASS_NAME
}
visit_class_name
(visited:
CLASS_NAME
)
{
FEATURE_TEXT
}
visit_feature_text
(visited:
FEATURE_TEXT
)
{}
exit_feature_text
(visited:
FEATURE_TEXT
)
{
FORMAL_ARG_LIST
}
visit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
{}
enter_formal_arg_list
(visited:
FORMAL_ARG_LIST
):
BOOLEAN
exit_formal_arg_list
(visited:
FORMAL_ARG_LIST
)
{
LOCAL_VAR_LIST
}
visit_local_var_list
(visited:
LOCAL_VAR_LIST
)
{}
enter_local_var_list
(visited:
LOCAL_VAR_LIST
):
BOOLEAN
exit_local_var_list
(visited:
LOCAL_VAR_LIST
)
{
CLOSED_OPERAND
}
visit_closed_operand
(visited:
CLOSED_OPERAND
)
{
UNUSED_EXPRESSION
}
visit_unused_expression
(visited:
UNUSED_EXPRESSION
)
{
LOCAL_NAME_DEF
}
visit_local_name_def
(visited:
LOCAL_NAME_DEF
)
{
ARGUMENT_NAME_DEF
}
visit_argument_name_def
(visited:
ARGUMENT_NAME_DEF
)
{
LOCAL_NAME_REF
}
visit_local_name_ref
(visited:
LOCAL_NAME_REF
)
{
INTERNAL_LOCAL2
}
visit_internal_local2
(visited:
INTERNAL_LOCAL2
)
{
DYNAMIC_DISPATCH_TEMPORARY1
}
visit_dynamic_dispatch_temporary1
(visited:
DYNAMIC_DISPATCH_TEMPORARY1
)
{
DYNAMIC_DISPATCH_TEMPORARY1_ID
}
visit_dynamic_dispatch_temporary1_id
(visited:
DYNAMIC_DISPATCH_TEMPORARY1_ID
)
{
DYNAMIC_DISPATCH_TEMPORARY2
}
visit_dynamic_dispatch_temporary2
(visited:
DYNAMIC_DISPATCH_TEMPORARY2
)
{
SEDB
}
visit_sedb
(visited:
SEDB
)
{
NO_DISPATCH
}
visit_no_dispatch
(visited:
NO_DISPATCH
)
{
TYPE
}
visiting_types
:
SET
[
TYPE
]
visitting_types
:
SET
[
TYPE
]
visit_type
(visited:
TYPE
)
{}
enter_type
(visited:
TYPE
):
BOOLEAN
exit_type
(visited:
TYPE
)
{
CLASS_TYPE_MARK
}
visit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
{}
enter_class_type_mark
(visited:
CLASS_TYPE_MARK
):
BOOLEAN
exit_class_type_mark
(visited:
CLASS_TYPE_MARK
)
{
CLIENT_TYPE_MARK
}
visit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
{}
enter_client_type_mark
(visited:
CLIENT_TYPE_MARK
):
BOOLEAN
exit_client_type_mark
(visited:
CLIENT_TYPE_MARK
)
{}
enter_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
):
BOOLEAN
exit_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
{}
enter_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
):
BOOLEAN
exit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
{}
enter_agent_type_mark
(visited:
AGENT_TYPE_MARK
):
BOOLEAN
exit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
{
ANY_TYPE_MARK
}
visit_any_type_mark
(visited:
ANY_TYPE_MARK
)
{
STRING_TYPE_MARK
}
visit_string_type_mark
(visited:
STRING_TYPE_MARK
)
{
USER_GENERIC_TYPE_MARK
}
visit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
{}
enter_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
):
BOOLEAN
exit_user_generic_type_mark
(visited:
USER_GENERIC_TYPE_MARK
)
{
EMPTY_TUPLE_TYPE_MARK
}
visit_empty_tuple_type_mark
(visited:
EMPTY_TUPLE_TYPE_MARK
)
{
NON_EMPTY_TUPLE_TYPE_MARK
}
visit_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
{}
enter_non_empty_tuple_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
):
BOOLEAN
exit_non_empty_tupe_type_mark
(visited:
NON_EMPTY_TUPLE_TYPE_MARK
)
{
ARRAY_TYPE_MARK
}
visit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
{}
enter_array_type_mark
(visited:
ARRAY_TYPE_MARK
):
BOOLEAN
exit_array_type_mark
(visited:
ARRAY_TYPE_MARK
)
{
NATIVE_ARRAY_TYPE_MARK
}
visit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
{}
enter_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
):
BOOLEAN
exit_native_array_type_mark
(visited:
NATIVE_ARRAY_TYPE_MARK
)
{
WEAK_REFERENCE_TYPE_MARK
}
visit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
{}
enter_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
):
BOOLEAN
exit_weak_reference_type_mark
(visited:
WEAK_REFERENCE_TYPE_MARK
)
{
BOOLEAN_TYPE_MARK
}
visit_boolean_type_mark
(visited:
BOOLEAN_TYPE_MARK
)
{
POINTER_TYPE_MARK
}
visit_pointer_type_mark
(visited:
POINTER_TYPE_MARK
)
{
REAL_TYPE_MARK
}
visit_real_type_mark
(visited:
REAL_TYPE_MARK
)
{
INTEGER_TYPE_MARK
}
visit_integer_type_mark
(visited:
INTEGER_TYPE_MARK
)
{
CHARACTER_TYPE_MARK
}
visit_character_type_mark
(visited:
CHARACTER_TYPE_MARK
)
{
NATURAL_TYPE_MARK
}
visit_natural_type_mark
(visited:
NATURAL_TYPE_MARK
)
{
WRITABLE_ATTRIBUTE
}
visit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
{}
enter_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
):
BOOLEAN
exit_writable_attribute
(visited:
WRITABLE_ATTRIBUTE
)
{
CST_ATT_REAL
}
visit_cst_att_real
(visited:
CST_ATT_REAL
)
{
CST_ATT_INTEGER
}
visit_cst_att_integer
(visited:
CST_ATT_INTEGER
)
{
CST_ATT_BOOLEAN
}
visit_cst_att_boolean
(visited:
CST_ATT_BOOLEAN
)
{
CST_ATT_UNIQUE
}
visit_cst_att_unique
(visited:
CST_ATT_UNIQUE
)
{
CST_ATT_STRING
}
visit_cst_att_string
(visited:
CST_ATT_STRING
)
{
CST_ATT_CHARACTER
}
visit_cst_att_character
(visited:
CST_ATT_CHARACTER
)
{}
visiting_anonymous_features
:
HASHED_SET
[
POINTER
]
visitting_anonymous_features
:
HASHED_SET
[
POINTER
]
visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
do_visit_anonymous_feature
(visited:
ANONYMOUS_FEATURE
)
visiting_effective_routines
:
HASHED_SET
[
POINTER
]
visitting_effective_routines
:
HASHED_SET
[
POINTER
]
visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
do_visit_effective_routine
(visited:
EFFECTIVE_ROUTINE
)
{
VOID_CALL
}
visit_void_call
(visited:
VOID_CALL
)
{
VOID_PROC_CALL
}
visit_void_proc_call
(visited:
VOID_PROC_CALL
)
{
RUN_TIME_ERROR_INSTRUCTION
}
visit_run_time_error_instruction
(visited:
RUN_TIME_ERROR_INSTRUCTION
)
{
NON_VOID_NO_DISPATCH
}
visit_non_void_no_dispatch
(visited:
NON_VOID_NO_DISPATCH
)
{
NATIVE_ARRAY_ITEM
}
visit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
{}
enter_native_array_item
(visited:
NATIVE_ARRAY_ITEM
):
BOOLEAN
exit_native_array_item
(visited:
NATIVE_ARRAY_ITEM
)
{
NULL_POINTER
}
visit_null_pointer
(visited:
NULL_POINTER
)
{
E_FUNCTION
}
visit_e_function
(visited:
E_FUNCTION
)
{}
enter_e_function
(visited:
E_FUNCTION
):
BOOLEAN
exit_e_function
(visited:
E_FUNCTION
)
{
E_PROCEDURE
}
visit_e_procedure
(visited:
E_PROCEDURE
)
{}
enter_e_procedure
(visited:
E_PROCEDURE
):
BOOLEAN
exit_e_procedure
(visited:
E_PROCEDURE
)
{
ONCE_FUNCTION
}
visit_once_function
(visited:
ONCE_FUNCTION
)
{}
enter_once_function
(visited:
ONCE_FUNCTION
):
BOOLEAN
exit_once_function
(visited:
ONCE_FUNCTION
)
{
ONCE_PROCEDURE
}
visit_once_procedure
(visited:
ONCE_PROCEDURE
)
{}
enter_once_procedure
(visited:
ONCE_PROCEDURE
):
BOOLEAN
exit_once_procedure
(visited:
ONCE_PROCEDURE
)
{
EXTERNAL_FUNCTION
}
visit_external_function
(visited:
EXTERNAL_FUNCTION
)
{}
enter_external_function
(visited:
EXTERNAL_FUNCTION
):
BOOLEAN
exit_external_function
(visited:
EXTERNAL_FUNCTION
)
{
EXTERNAL_PROCEDURE
}
visit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
{}
enter_external_procedure
(visited:
EXTERNAL_PROCEDURE
):
BOOLEAN
exit_external_procedure
(visited:
EXTERNAL_PROCEDURE
)
{
DEFERRED_FUNCTION
}
visit_deferred_function
(visited:
DEFERRED_FUNCTION
)
{}
enter_deferred_function
(visited:
DEFERRED_FUNCTION
):
BOOLEAN
exit_deferred_function
(visited:
DEFERRED_FUNCTION
)
{
DEFERRED_PROCEDURE
}
visit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
{}
enter_deferred_procedure
(visited:
DEFERRED_PROCEDURE
):
BOOLEAN
exit_deferred_procedure
(visited:
DEFERRED_PROCEDURE
)
{
ASSERTION_LIST
}
visit_assertion_list
(visited:
ASSERTION_LIST
)
{
REQUIRE_ASSERTION
}
visit_require_assertion
(visited:
REQUIRE_ASSERTION
)
{}
enter_require_assertion
(visited:
REQUIRE_ASSERTION
):
BOOLEAN
exit_require_assertion
(visited:
REQUIRE_ASSERTION
)
{
CLASS_INVARIANT
}
visit_class_invariant
(visited:
CLASS_INVARIANT
)
{}
exit_class_invariant
(visited:
CLASS_INVARIANT
)
{
LOOP_INVARIANT
}
visit_loop_invariant
(visited:
LOOP_INVARIANT
)
{}
enter_loop_invariant
(visited:
LOOP_INVARIANT
):
BOOLEAN
exit_loop_invariant
(visited:
LOOP_INVARIANT
)
{
ENSURE_ASSERTION
}
visit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
{}
enter_ensure_assertion
(visited:
ENSURE_ASSERTION
):
BOOLEAN
exit_ensure_assertion
(visited:
ENSURE_ASSERTION
)
{
ASSERTION
}
visit_assertion
(visited:
ASSERTION
)
{}
enter_assertion
(visited:
ASSERTION
):
BOOLEAN
exit_assertion
(visited:
ASSERTION
)
{
FAKE_TARGET
}
visit_fake_target
(visited:
FAKE_TARGET
)
{}
enter_create_expression
(visited:
CREATE_EXPRESSION
):
BOOLEAN
exit_create_expression
(visited:
CREATE_EXPRESSION
)
{
ABSTRACT_CURRENT
}
visit_abstract_current
(visited:
ABSTRACT_CURRENT
)
{
CREATE_WRITABLE
}
visit_create_writable
(visited:
CREATE_WRITABLE
)
{}
enter_create_writable
(visited:
CREATE_WRITABLE
):
BOOLEAN
exit_create_writable
(visited:
CREATE_WRITABLE
)
{
PRECURSOR_EXPRESSION
}
visit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
{}
enter_precursor_expression
(visited:
PRECURSOR_EXPRESSION
):
BOOLEAN
exit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
{
MANIFEST_GENERIC
}
visit_manifest_generic
(visited:
MANIFEST_GENERIC
)
{}
enter_manifest_generic
(visited:
MANIFEST_GENERIC
):
BOOLEAN
exit_manifest_generic
(visited:
MANIFEST_GENERIC
)
{
OLD_MANIFEST_ARRAY
}
visit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
{}
enter_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
):
BOOLEAN
exit_old_manifest_array
(visited:
OLD_MANIFEST_ARRAY
)
{
FAKE_ARGUMENT
}
visit_fake_argument
(visited:
FAKE_ARGUMENT
)
{}
enter_fake_argument
(visited:
FAKE_ARGUMENT
):
BOOLEAN
exit_fake_argument
(visited:
FAKE_ARGUMENT
)
{
FEATURE_NAME_LIST
}
visit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
{}
enter_feature_name_list
(visited:
FEATURE_NAME_LIST
):
BOOLEAN
exit_feature_name_list
(visited:
FEATURE_NAME_LIST
)
{
OPEN_OPERAND
}
visit_open_operand
(visited:
OPEN_OPERAND
)
{
ADDRESS_OF
}
visit_address_of
(visited:
ADDRESS_OF
)
{}
enter_address_of
(visited:
ADDRESS_OF
):
BOOLEAN
exit_address_of
(visited:
ADDRESS_OF
)
{}
enter_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
):
BOOLEAN
exit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
{
EFFECTIVE_ARG_LIST_0
}
visit_effective_arg_list_0
(visited:
EFFECTIVE_ARG_LIST_0
)
{
EFFECTIVE_ARG_LIST_N
}
visit_effective_arg_list_n
(visited:
EFFECTIVE_ARG_LIST_N
)
{
FUNCTION_CALL_0
}
visit_function_call_0
(visited:
FUNCTION_CALL_0
)
{}
enter_call_0_c
(visited:
FUNCTION_CALL_0
):
BOOLEAN
exit_call_0_c
(visited:
FUNCTION_CALL_0
)
{
STATIC_CALL_0_C
}
visit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
{}
enter_static_call_0_c
(visited:
STATIC_CALL_0_C
):
BOOLEAN
exit_static_call_0_c
(visited:
STATIC_CALL_0_C
)
{
CALL_PREFIX_NOT
}
visit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
{}
enter_call_prefix_not
(visited:
CALL_PREFIX_NOT
):
BOOLEAN
exit_call_prefix_not
(visited:
CALL_PREFIX_NOT
)
{
CALL_PREFIX_MINUS
}
visit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
{}
enter_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
):
BOOLEAN
exit_call_prefix_minus
(visited:
CALL_PREFIX_MINUS
)
{
CALL_PREFIX_FREEOP
}
visit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
{}
enter_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
):
BOOLEAN
exit_call_prefix_freeop
(visited:
CALL_PREFIX_FREEOP
)
{
CALL_PREFIX_PLUS
}
visit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
{}
enter_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
):
BOOLEAN
exit_call_prefix_plus
(visited:
CALL_PREFIX_PLUS
)
{
FUNCTION_CALL_1
}
visit_function_call_1
(visited:
FUNCTION_CALL_1
)
{}
enter_call_1_c
(visited:
FUNCTION_CALL_1
):
BOOLEAN
exit_call_1_c
(visited:
FUNCTION_CALL_1
)
{
CALL_INFIX_AND_THEN
}
visit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
{}
enter_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
):
BOOLEAN
exit_call_infix_and_then
(visited:
CALL_INFIX_AND_THEN
)
{
CALL_INFIX_MINUS
}
visit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
{}
enter_call_infix_minus
(visited:
CALL_INFIX_MINUS
):
BOOLEAN
exit_call_infix_minus
(visited:
CALL_INFIX_MINUS
)
{
CALL_INFIX_TIMES
}
visit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
{}
enter_call_infix_times
(visited:
CALL_INFIX_TIMES
):
BOOLEAN
exit_call_infix_times
(visited:
CALL_INFIX_TIMES
)
{
CALL_INFIX_INT_REM
}
visit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
{}
enter_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
):
BOOLEAN
exit_call_infix_int_rem
(visited:
CALL_INFIX_INT_REM
)
{
CALL_INFIX_OR
}
visit_call_infix_or
(visited:
CALL_INFIX_OR
)
{}
enter_call_infix_or
(visited:
CALL_INFIX_OR
):
BOOLEAN
exit_call_infix_or
(visited:
CALL_INFIX_OR
)
{
CALL_INFIX_GT
}
visit_call_infix_gt
(visited:
CALL_INFIX_GT
)
{}
enter_call_infix_gt
(visited:
CALL_INFIX_GT
):
BOOLEAN
exit_call_infix_gt
(visited:
CALL_INFIX_GT
)
{
CALL_INFIX_LT
}
visit_call_infix_lt
(visited:
CALL_INFIX_LT
)
{}
enter_call_infix_lt
(visited:
CALL_INFIX_LT
):
BOOLEAN
exit_call_infix_lt
(visited:
CALL_INFIX_LT
)
{
CALL_INFIX_PLUS
}
visit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
{}
enter_call_infix_plus
(visited:
CALL_INFIX_PLUS
):
BOOLEAN
exit_call_infix_plus
(visited:
CALL_INFIX_PLUS
)
{
CALL_INFIX_INT_DIV
}
visit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
{}
enter_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
):
BOOLEAN
exit_call_infix_int_div
(visited:
CALL_INFIX_INT_DIV
)
{
CALL_INFIX_XOR
}
visit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
{}
enter_call_infix_xor
(visited:
CALL_INFIX_XOR
):
BOOLEAN
exit_call_infix_xor
(visited:
CALL_INFIX_XOR
)
{
CALL_INFIX_POWER
}
visit_call_infix_power
(visited:
CALL_INFIX_POWER
)
{}
enter_call_infix_power
(visited:
CALL_INFIX_POWER
):
BOOLEAN
exit_call_infix_power
(visited:
CALL_INFIX_POWER
)
{
CALL_INFIX_DIV
}
visit_call_infix_div
(visited:
CALL_INFIX_DIV
)
{}
enter_call_infix_div
(visited:
CALL_INFIX_DIV
):
BOOLEAN
exit_call_infix_div
(visited:
CALL_INFIX_DIV
)
{
CALL_INFIX_OR_ELSE
}
visit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
{}
enter_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
):
BOOLEAN
exit_call_infix_or_else
(visited:
CALL_INFIX_OR_ELSE
)
{
CALL_INFIX_IMPLIES
}
visit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
{}
enter_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
):
BOOLEAN
exit_call_infix_implies
(visited:
CALL_INFIX_IMPLIES
)
{
CALL_INFIX_LE
}
visit_call_infix_le
(visited:
CALL_INFIX_LE
)
{}
enter_call_infix_le
(visited:
CALL_INFIX_LE
):
BOOLEAN
exit_call_infix_le
(visited:
CALL_INFIX_LE
)
{
CALL_INFIX_FREEOP
}
visit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
{}
enter_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
):
BOOLEAN
exit_call_infix_freeop
(visited:
CALL_INFIX_FREEOP
)
{
CALL_INFIX_AND
}
visit_call_infix_and
(visited:
CALL_INFIX_AND
)
{}
enter_call_infix_and
(visited:
CALL_INFIX_AND
):
BOOLEAN
exit_call_infix_and
(visited:
CALL_INFIX_AND
)
{
CALL_INFIX_GE
}
visit_call_infix_ge
(visited:
CALL_INFIX_GE
)
{}
enter_call_infix_ge
(visited:
CALL_INFIX_GE
):
BOOLEAN
exit_call_infix_ge
(visited:
CALL_INFIX_GE
)
{}
enter_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
):
BOOLEAN
exit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
{
FUNCTION_CALL_N
}
visit_function_call_n
(visited:
FUNCTION_CALL_N
)
{}
enter_call_n
(visited:
FUNCTION_CALL_N
):
BOOLEAN
exit_call_n
(visited:
FUNCTION_CALL_N
)
{
AGENT_ARGS
}
visit_agent_args
(visited:
AGENT_ARGS
)
{}
enter_agent_args
(visited:
AGENT_ARGS
):
BOOLEAN
exit_agent_args
(visited:
AGENT_ARGS
)
{
AGENT_CREATION
}
visit_agent_creation
(visited:
AGENT_CREATION
)
{}
enter_agent_creation
(visited:
AGENT_CREATION
):
BOOLEAN
exit_agent_creation
(visited:
AGENT_CREATION
)
{}
enter_e_old
(visited:
E_OLD
):
BOOLEAN
exit_e_old
(visited:
E_OLD
)
{
FAKE_TUPLE
}
visit_fake_tuple
(visited:
FAKE_TUPLE
)
{}
enter_fake_tuple
(visited:
FAKE_TUPLE
):
BOOLEAN
exit_fake_tuple
(visited:
FAKE_TUPLE
)
{
MANIFEST_TUPLE
}
visit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
{}
enter_manifest_tuple
(visited:
MANIFEST_TUPLE
):
BOOLEAN
exit_manifest_tuple
(visited:
MANIFEST_TUPLE
)
{
GENERATOR_GENERATING_TYPE
}
visit_generator_generating_type
(visited:
GENERATOR_GENERATING_TYPE
)
{
AGENT_EXPRESSION
}
visit_agent_expression
(visited:
AGENT_EXPRESSION
)
{}
enter_agent_expression
(visited:
AGENT_EXPRESSION
):
BOOLEAN
exit_agent_expression
(visited:
AGENT_EXPRESSION
)
{
EXPRESSION_WITH_COMMENT
}
visit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
{}
enter_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
):
BOOLEAN
exit_expression_with_comment
(visited:
EXPRESSION_WITH_COMMENT
)
{
COMMENT
}
visit_comment
(visited:
COMMENT
)
{
IMPLICIT_CURRENT
}
visit_implicit_current
(visited:
IMPLICIT_CURRENT
)
{
WRITABLE_ATTRIBUTE_NAME
}
visit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
{}
enter_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
):
BOOLEAN
exit_writable_attribute_name
(visited:
WRITABLE_ATTRIBUTE_NAME
)
{
RETRY_INSTRUCTION
}
visit_retry_instruction
(visited:
RETRY_INSTRUCTION
)
{
IFTHENELSE
}
visit_ifthenelse
(visited:
IFTHENELSE
)
{}
enter_ifthenelse
(visited:
IFTHENELSE
):
BOOLEAN
exit_ifthenelse
(visited:
IFTHENELSE
)
{
IFTHEN
}
visit_ifthen
(visited:
IFTHEN
)
{}
enter_ifthen
(visited:
IFTHEN
):
BOOLEAN
exit_ifthen
(visited:
IFTHEN
)
{
IFTHENELSE_EXP
}
visit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
{}
enter_ifthenelse_exp
(visited:
IFTHENELSE_EXP
):
BOOLEAN
exit_ifthenelse_exp
(visited:
IFTHENELSE_EXP
)
{
IFTHEN_EXP
}
visit_ifthen_exp
(visited:
IFTHEN_EXP
)
{}
enter_ifthen_exp
(visited:
IFTHEN_EXP
):
BOOLEAN
exit_ifthen_exp
(visited:
IFTHEN_EXP
)
{
ASSIGNMENT
}
visit_assignment
(visited:
ASSIGNMENT
)
{}
enter_assignment
(visited:
ASSIGNMENT
):
BOOLEAN
exit_assignment
(visited:
ASSIGNMENT
)
{
ASSIGNMENT_CALL_ASSIGNER
}
visit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
{}
enter_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
):
BOOLEAN
exit_assignment_call_assigner
(visited:
ASSIGNMENT_CALL_ASSIGNER
)
{
ASSIGNMENT_ATTEMPT
}
visit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
{}
enter_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
):
BOOLEAN
exit_assignment_attempt
(visited:
ASSIGNMENT_ATTEMPT
)
{
ASSIGNMENT_TEST
}
visit_assignment_test
(visited:
ASSIGNMENT_TEST
)
{}
enter_assignment_test
(visited:
ASSIGNMENT_TEST
):
BOOLEAN
exit_assignment_test
(visited:
ASSIGNMENT_TEST
)
{
DEBUG_COMPOUND
}
visit_debug_compound
(visited:
DEBUG_COMPOUND
)
{}
enter_debug_compound
(visited:
DEBUG_COMPOUND
):
BOOLEAN
exit_debug_compound
(visited:
DEBUG_COMPOUND
)
{
CHECK_COMPOUND
}
visit_check_compound
(visited:
CHECK_COMPOUND
)
{}
enter_check_compound
(visited:
CHECK_COMPOUND
):
BOOLEAN
exit_check_compound
(visited:
CHECK_COMPOUND
)
{
PROCEDURE_CALL_0
}
visit_procedure_call_0
(visited:
PROCEDURE_CALL_0
)
{}
enter_proc_call_0
(visited:
PROCEDURE_CALL_0
):
BOOLEAN
exit_proc_call_0
(visited:
PROCEDURE_CALL_0
)
{
PROCEDURE_CALL_1
}
visit_procedure_call_1
(visited:
PROCEDURE_CALL_1
)
{}
enter_proc_call_1
(visited:
PROCEDURE_CALL_1
):
BOOLEAN
exit_proc_call_1
(visited:
PROCEDURE_CALL_1
)
{
PROCEDURE_CALL_N
}
visit_procedure_call_n
(visited:
PROCEDURE_CALL_N
)
{}
enter_proc_call_n
(visited:
PROCEDURE_CALL_N
):
BOOLEAN
exit_proc_call_n
(visited:
PROCEDURE_CALL_N
)
{
AGENT_INSTRUCTION
}
visit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
{}
enter_agent_instruction
(visited:
AGENT_INSTRUCTION
):
BOOLEAN
exit_agent_instruction
(visited:
AGENT_INSTRUCTION
)
{
CREATE_INSTRUCTION
}
visit_create_instruction
(visited:
CREATE_INSTRUCTION
)
{}
enter_create_instruction
(visited:
CREATE_INSTRUCTION
):
BOOLEAN
exit_create_instruction
(visited:
CREATE_INSTRUCTION
)
{
RAW_CREATE_INSTRUCTION
}
visit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
{}
enter_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
):
BOOLEAN
exit_raw_create_instruction
(visited:
RAW_CREATE_INSTRUCTION
)
{
PRECURSOR_INSTRUCTION
}
visit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
{}
enter_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
):
BOOLEAN
exit_precursor_instruction
(visited:
PRECURSOR_INSTRUCTION
)
{
LOOP_INSTRUCTION
}
visit_loop_instruction
(visited:
LOOP_INSTRUCTION
)
{}
enter_e_loop
(visited:
LOOP_INSTRUCTION
):
BOOLEAN
exit_e_loop
(visited:
LOOP_INSTRUCTION
)
{
LOOP_VARIANT
}
visit_loop_variant
(visited:
LOOP_VARIANT
)
{}
enter_loop_variant
(visited:
LOOP_VARIANT
):
BOOLEAN
exit_loop_variant
(visited:
LOOP_VARIANT
)
{}
visit_inspect_statement
(visited:
INSPECT_STATEMENT
)
{
OTHER_INSPECT_STATEMENT
}
visit_other_inspect_statement
(visited:
OTHER_INSPECT_STATEMENT
)
{
MANIFEST_STRING_INSPECT_STATEMENT
}
visit_manifest_string_inspect_statement
(visited:
MANIFEST_STRING_INSPECT_STATEMENT
)
{
C_INLINE
}
visit_c_inline
(visited:
C_INLINE
)
{}
enter_inspect_statement
(visited:
INSPECT_STATEMENT
):
BOOLEAN
exit_inspect_statement
(visited:
INSPECT_STATEMENT
)
{
WHEN_CLAUSE
}
visit_when_clause
(visited:
WHEN_CLAUSE
)
{}
enter_when_clause
(visited:
WHEN_CLAUSE
):
BOOLEAN
exit_when_clause
(visited:
WHEN_CLAUSE
)
{
WHEN_ITEM_1
}
visit_when_item_1
(visited:
WHEN_ITEM_1
)
{}
enter_when_item_1
(visited:
WHEN_ITEM_1
):
BOOLEAN
exit_when_item_1
(visited:
WHEN_ITEM_1
)
{
WHEN_ITEM_2
}
visit_when_item_2
(visited:
WHEN_ITEM_2
)
{}
enter_when_item_2
(visited:
WHEN_ITEM_2
):
BOOLEAN
exit_when_item_2
(visited:
WHEN_ITEM_2
)
{
COMPOUND
}
visit_compound
(visited:
COMPOUND
)
{
COMPOUND_EXPRESSION
}
visit_compound_expression
(visited:
COMPOUND_EXPRESSION
)
{}
enter_compound
(visited:
COMPOUND
):
BOOLEAN
exit_compound
(visited:
COMPOUND
)
{
NO_INVARIANT_WRAPPER
}
visit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
{}
enter_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
):
BOOLEAN
exit_no_invariant_wrapper
(visited:
NO_INVARIANT_WRAPPER
)
{
DECLARATION_1
}
visit_declaration_1
(visited:
DECLARATION_1
)
{}
enter_declaration_1
(visited:
DECLARATION_1
):
BOOLEAN
exit_declaration_1
(visited:
DECLARATION_1
)
{
DECLARATION_GROUP
}
visit_declaration_group
(visited:
DECLARATION_GROUP
)
{}
enter_declaration_group
(visited:
DECLARATION_GROUP
):
BOOLEAN
exit_declaration_group
(visited:
DECLARATION_GROUP
)
{
ANY
}
smart_eiffel
:
SMART_EIFFEL
eiffel_parser
:
EIFFEL_PARSER
ace
:
ACE
ini_parser
:
INI_PARSER
plugin_config
:
INI_PARSER
error_handler
:
ERROR_HANDLER
string_aliaser
:
STRING_ALIASER
cpp
:
C_PRETTY_PRINTER
pretty_printer
:
PRETTY_PRINTER
mini_buffer
:
MINI_BUFFER
nb_errors
:
INTEGER_32
system_tools
:
SYSTEM_TOOLS
introspection_handler
:
INTROSPECTION_HANDLER
assignment_test_pool
:
ASSIGNMENT_TEST_POOL
precomputable_routine_detector
:
PRECOMPUTABLE_ROUTINE_DETECTOR
feature_accumulator
:
FEATURE_ACCUMULATOR
live_type_extra_collectors
:
FAST_ARRAY
[
LIVE_TYPE_EXTRA_COLLECTOR
]
{
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
}
set_launcher
{}
is_launcher_memory
:
REFERENCE
[
BOOLEAN
]
{
SMART_EIFFEL
,
SYSTEM_TOOLS
,
VISITOR
}
parser_buffer
:
PARSER_BUFFER
{
ANY
}
id_provider
:
ID_PROVIDER
manifest_string_pool
:
MANIFEST_STRING_POOL
manifest_generic_pool
:
MANIFEST_GENERIC_POOL
once_routine_pool
:
ONCE_ROUTINE_POOL
agent_pool
:
AGENT_POOL
cecil_pool
:
CECIL_POOL
cecil_pool_memory
:
REFERENCE
[
CECIL_POOL
]
set_cecil_pool
short_printer
:
SHORT_PRINTER
echo
:
ECHO
assignment_handler
:
ASSIGNMENT_HANDLER
thread_pool
:
THREAD_POOL
exceptions
:
EXCEPTIONS
exceptions_handler
:
EXCEPTIONS_HANDLER
nb_warnings
:
INTEGER_32
tmp_path
:
STRING
tmp_file_read
:
TEXT_FILE_READ
class_any
:
CLASS_TEXT
omitted_client_list
:
CLIENT_LIST
(To avoid multiple creation(s).)
any_default_create_fs
:
FEATURE_STAMP
any_default_rescue_fs
:
FEATURE_STAMP
any_copy_fs
:
FEATURE_STAMP
any_is_equal_fs
:
FEATURE_STAMP
any_deep_twin_fs
:
FEATURE_STAMP
any_is_deep_equal_fs
:
FEATURE_STAMP
boolean_and_then_fs
:
FEATURE_STAMP
manifest_make_name
:
HASHED_STRING
manifest_put_name
:
HASHED_STRING
manifest_semicolon_check_name
:
HASHED_STRING
manifest_initialize_name
:
HASHED_STRING
calloc_name
:
HASHED_STRING
put_name
:
HASHED_STRING
item_name
:
HASHED_STRING
is_empty_name
:
HASHED_STRING
make_name
:
HASHED_STRING
from_external_sized_copy_name
:
HASHED_STRING
count_name
:
HASHED_STRING
storage_name
:
HASHED_STRING
capacity_name
:
HASHED_STRING
storage_lower_name
:
HASHED_STRING
mark_item_name
:
HASHED_STRING
mark_native_arrays_name
:
HASHED_STRING
and_then_name
:
HASHED_STRING
or_else_name
:
HASHED_STRING
twin_name
:
HASHED_STRING
copy_name
:
HASHED_STRING
is_equal_name
:
HASHED_STRING
deep_twin_name
:
HASHED_STRING
deep_twin_from_name
:
HASHED_STRING
is_deep_equal_name
:
HASHED_STRING
deep_memcmp_name
:
HASHED_STRING
se_atexit_name
:
HASHED_STRING
default_rescue_name
:
HASHED_STRING
default_create_name
:
HASHED_STRING
flush_name
:
HASHED_STRING
clear_all_name
:
HASHED_STRING
from_pointer_name
:
HASHED_STRING
no_errors
:
BOOLEAN
character_coding
(c:
CHARACTER
, str:
STRING
)
Append in
str
the Eiffel coding of the character (Table in chapter 25 of ETL, page 423).%%%%%%%%
eiffel_suffix
:
STRING
Eiffel Source file suffix.
c_suffix
:
STRING
C files suffix.
h_suffix
:
STRING
Heading C files suffix.
c_plus_plus_suffix
:
STRING
C++ files suffix.
backup_suffix
:
STRING
Backup suffix for command
pretty
.
class_suffix
:
STRING
dot_precedence
:
INTEGER_32
The highest precedence value according to ETL.
atomic_precedence
:
INTEGER_32
Used for atomic elements.
append_u1
(str:
STRING
, u1:
INTEGER_32
)
append_u2
(str:
STRING
, u2:
INTEGER_32
)
append_u4
(str:
STRING
, u4:
INTEGER_32
)
is_install
:
BOOLEAN
set_install
install_memory
:
REFERENCE
[
BOOLEAN
]
unrelated_code
:
INTEGER_8
inserts_code
:
INTEGER_8
inherits_code
:
INTEGER_8
strings
:
STRING_RECYCLING_POOL
an option to minimize generic types
{}
shrink_generic_types
:
BOOLEAN
shrink_generic_types_memory
:
REFERENCE
[
BOOLEAN
]
Set the item to True if you want less generic type duplication
Hard-coded class names:
{}
as_any
:
STRING
as_array
:
STRING
as_boolean
:
STRING
as_character
:
STRING
as_disposable
:
STRING
as_exceptions
:
STRING
as_fixed_array
:
STRING
as_function
:
STRING
as_integer_general
:
STRING
as_integer_8
:
STRING
as_integer_16
:
STRING
as_integer_32
:
STRING
as_integer
:
STRING
as_integer_64
:
STRING
as_internals
:
STRING
as_internals_handler
:
STRING
as_native_array
:
STRING
as_native_array_collector
:
STRING
as_native_array_internals
:
STRING
as_natural
:
STRING
as_natural_8
:
STRING
as_natural_16
:
STRING
as_natural_32
:
STRING
as_natural_64
:
STRING
as_natural_general
:
STRING
as_platform
:
STRING
as_pointer
:
STRING
as_predicate
:
STRING
as_procedure
:
STRING
as_real_general
:
STRING
as_real_32
:
STRING
as_real
:
STRING
as_real_64
:
STRING
as_real_80
:
STRING
as_real_128
:
STRING
as_real_extended
:
STRING
as_routine
:
STRING
as_set
:
STRING
as_string
:
STRING
as_text_file_read
:
STRING
as_text_file_write
:
STRING
as_thread_context
:
STRING
as_thread_lock
:
STRING
as_tuple
:
STRING
as_type
:
STRING
as_typed_internals
:
STRING
as_unicode_string
:
STRING
as_weak_reference
:
STRING
Hard coded feature names:
{}
as_a1
:
STRING
as_add_last
:
STRING
as_agent
:
STRING
as_allocated_bytes
:
STRING
as_alloc_native_data
:
STRING
as_as_16_ne
:
STRING
as_as_32_ne
:
STRING
as_atan2
:
STRING
as_blank
:
STRING
as_bit_clear
:
STRING
as_bit_put
:
STRING
as_bit_rotate
:
STRING
as_bit_set
:
STRING
as_bit_xor
:
STRING
as_boolean_bits
:
STRING
as_call
:
STRING
as_calloc
:
STRING
as_capacity
:
STRING
as_ceiling
:
STRING
as_character_bits
:
STRING
as_clear_all
:
STRING
as_count
:
STRING
as_code
:
STRING
as_collecting
:
STRING
as_collection_off
:
STRING
as_collection_on
:
STRING
as_collector_counter
:
STRING
as_copy
:
STRING
as_c_inline_c
:
STRING
as_c_inline_h
:
STRING
as_default_create
:
STRING
as_default_rescue
:
STRING
as_deep_memcmp
:
STRING
as_deep_twin
:
STRING
as_deep_twin_from
:
STRING
as_dispose
:
STRING
as_die_with_code
:
STRING
as_element_sizeof
:
STRING
as_exception
:
STRING
as_for_object
:
STRING
as_type_can_be_assigned_to_attribute
:
STRING
as_type_can_be_assigned_to_item
:
STRING
as_type_attribute_count
:
STRING
as_type_attribute_generator
:
STRING
as_type_attribute_generating_type
:
STRING
as_type_attribute_is_expanded
:
STRING
as_type_attribute_name
:
STRING
as_fifth
:
STRING
as_first
:
STRING
as_floor
:
STRING
as_flush
:
STRING
as_fourth
:
STRING
as_force_to_integer_16
:
STRING
as_force_to_integer_32
:
STRING
as_force_to_integer_64
:
STRING
as_force_to_natural_16
:
STRING
as_force_to_natural_32
:
STRING
as_force_to_natural_64
:
STRING
as_force_to_real_32
:
STRING
as_force_to_real_64
:
STRING
as_free_native_data
:
STRING
as_from_external_sized_copy
:
STRING
as_from_pointer
:
STRING
as_full_collect
:
STRING
as_generating_type
:
STRING
as_generator
:
STRING
as_io
:
STRING
as_integer_bits
:
STRING
as_internals_from_generating_type
:
STRING
as_is_basic_expanded_type
:
STRING
as_is_deep_equal
:
STRING
as_is_equal
:
STRING
as_do_at_exit
:
STRING
as_is_empty
:
STRING
as_is_finished
:
STRING
as_is_infinity
:
STRING
as_is_locked
:
STRING
as_is_normal
:
STRING
as_is_not_a_number
:
STRING
as_is_not_null
:
STRING
as_is_started
:
STRING
as_is_subnormal
:
STRING
as_item
:
STRING
as_last
:
STRING
as_lock
:
STRING
as_lower
:
STRING
as_low_8
:
STRING
as_low_16
:
STRING
as_low_32
:
STRING
as_native_array_internals_from_generating_type
:
STRING
as_make
:
STRING
as_make_blank
:
STRING
as_mark_item
:
STRING
as_mark_native_arrays
:
STRING
as_minimum_character_code
:
STRING
as_minimum_double
:
STRING
as_minimum_real
:
STRING
as_manifest_creation
:
STRING
as_manifest_initialize
:
STRING
as_manifest_make
:
STRING
as_manifest_put
:
STRING
as_manifest_semicolon_check
:
STRING
as_maximum_character_code
:
STRING
as_maximum_double
:
STRING
as_maximum_real
:
STRING
as_native_data
:
STRING
as_notify
:
STRING
as_notify_all
:
STRING
as_object_as_pointer
:
STRING
as_object_attribute
:
STRING
as_object_invariant
:
STRING
as_object_memory
:
STRING
as_object_size
:
STRING
as_pointer_bits
:
STRING
as_pow_postfix
:
STRING
as_print
:
STRING
as_print_on
:
STRING
as_print_run_time_stack
:
STRING
as_put
:
STRING
as_put_0
:
STRING
as_put_1
:
STRING
as_put_16_be
:
STRING
as_put_16_le
:
STRING
as_put_16_ne
:
STRING
as_put_32_be
:
STRING
as_put_32_le
:
STRING
as_put_32_ne
:
STRING
as_raise_exception
:
STRING
as_real_bits
:
STRING
as_realloc
:
STRING
as_rounded
:
STRING
as_run
:
STRING
as_same_dynamic_type
:
STRING
as_second
:
STRING
as_se_argc
:
STRING
as_se_argv
:
STRING
as_se_atexit
:
STRING
as_se_fault
:
STRING
as_sedb_breakpoint
:
STRING
as_set_item
:
STRING
as_set_object_attribute
:
STRING
as_signal_number
:
STRING
as_slice_copy
:
STRING
as_standard_copy
:
STRING
as_standard_is_equal
:
STRING
as_standard_twin
:
STRING
as_status
:
STRING
as_std_error
:
STRING
as_std_input
:
STRING
as_std_output
:
STRING
as_stderr
:
STRING
as_stdin
:
STRING
as_stdout
:
STRING
as_storage
:
STRING
as_storage_lower
:
STRING
as_third
:
STRING
as_timed_wait
:
STRING
as_to_character
:
STRING
as_to_integer_8
:
STRING
as_to_integer_16
:
STRING
as_to_integer_32
:
STRING
as_to_integer_64
:
STRING
as_to_internals
:
STRING
as_to_natural_8
:
STRING
as_to_natural_16
:
STRING
as_to_natural_32
:
STRING
as_to_natural_64
:
STRING
as_to_pointer
:
STRING
as_trace_switch
:
STRING
as_twin
:
STRING
as_type_generating_type
:
STRING
as_type_generator
:
STRING
as_type_is_expanded
:
STRING
as_type_item_generating_type
:
STRING
as_type_item_generator
:
STRING
as_type_item_is_expanded
:
STRING
as_unlock
:
STRING
as_upper
:
STRING
as_valid_generating_type_for_internals
:
STRING
as_valid_generating_type_for_native_array_internals
:
STRING
as_wait
:
STRING
as_with_capacity
:
STRING
Operator/Infix/Prefix/Alias list:
{}
as_and
:
STRING
as_and_then
:
STRING
as_at
:
STRING
as_backslash_backslash
:
STRING
as_bit_and
:
STRING
as_bit_not
:
STRING
as_bit_or
:
STRING
as_bit_rotate_left
:
STRING
as_bit_rotate_right
:
STRING
as_bit_shift_right_unsigned
:
STRING
as_brackets
:
STRING
as_eq
:
STRING
as_ge
:
STRING
as_gt
:
STRING
as_implies
:
STRING
as_le
:
STRING
as_lt
:
STRING
as_minus
:
STRING
as_muls
:
STRING
as_neq
:
STRING
as_not
:
STRING
as_or
:
STRING
as_or_else
:
STRING
as_parentheses
:
STRING
as_plus
:
STRING
as_pow
:
STRING
as_sharp_backslash_backslash
:
STRING
as_sharp_minus
:
STRING
as_sharp_muls
:
STRING
as_sharp_plus
:
STRING
as_sharp_slash_slash
:
STRING
as_bit_shift_left
:
STRING
as_bit_shift_right
:
STRING
as_slash
:
STRING
as_slash_slash
:
STRING
as_xor
:
STRING
Other names:
{}
as_arguments
:
STRING
as_current
:
STRING
as_native_array_character
:
STRING
as_last_result
:
STRING
as_like_current
:
STRING
as_method
:
STRING
as_open_arguments
:
STRING
as_open_argument_indices
:
STRING
as_open_argument_index
:
STRING
as_open_argument_count
:
STRING
as_precursor
:
STRING
as_result
:
STRING
as_target
:
STRING
as_void
:
STRING
The keywords section:
{}
fz_adapt
:
STRING
fz_alias
:
STRING
fz_all
:
STRING
fz_as
:
STRING
fz_assertion
:
STRING
fz_assertion_flat_check
:
STRING
fz_assign
:
STRING
fz_begin_c_compile
:
STRING
fz_boost
:
STRING
fz_check
:
STRING
fz_class
:
STRING
fz_cluster
:
STRING
fz_convert
:
STRING
fz_create
:
STRING
fz_creation
:
STRING
fz_debug
:
STRING
fz_default
:
STRING
fz_deferred
:
STRING
fz_do
:
STRING
fz_else
:
STRING
fz_elseif
:
STRING
fz_end
:
STRING
fz_end_c_compile
:
STRING
fz_ensure
:
STRING
fz_exclude
:
STRING
fz_expanded
:
STRING
fz_export
:
STRING
fz_external
:
STRING
fz_false
:
STRING
fz_feature
:
STRING
fz_from
:
STRING
fz_frozen
:
STRING
fz_generate
:
STRING
fz_if
:
STRING
fz_include
:
STRING
fz_indexing
:
STRING
fz_infix
:
STRING
fz_inherit
:
STRING
fz_insert
:
STRING
fz_inline
:
STRING
fz_inspect
:
STRING
fz_invariant
:
STRING
fz_is
:
STRING
fz_like
:
STRING
fz_local
:
STRING
fz_loop
:
STRING
fz_no
:
STRING
fz_note
:
STRING
fz_obsolete
:
STRING
fz_old
:
STRING
fz_once
:
STRING
fz_option
:
STRING
fz_prefix
:
STRING
fz_redefine
:
STRING
fz_rename
:
STRING
fz_require
:
STRING
fz_rescue
:
STRING
fz_retry
:
STRING
fz_runtime
:
STRING
fz_separate
:
STRING
fz_reference
:
STRING
fz_then
:
STRING
fz_trace
:
STRING
fz_true
:
STRING
fz_undefine
:
STRING
fz_unique
:
STRING
fz_until
:
STRING
fz_use
:
STRING
fz_variant
:
STRING
fz_when
:
STRING
fz_yes
:
STRING
Most of them are message parts:
{}
fz_cad
:
STRING
fz_dtideena
:
STRING
fz_error_stars
:
STRING
fz_vuar4
:
STRING
Some other names:
{}
fz_bin
:
STRING
fz_c_shift_left
:
STRING
fz_c_shift_right
:
STRING
fz_install
:
STRING
fz_jobs
:
STRING
fz_no_check
:
STRING
fz_none
:
STRING
fz_libertyeiffel
:
STRING
fz_seconf
:
STRING
The environment name pointing to the config file.
The known keys of the INI file:
{}
fz_conf_general
:
STRING
fz_conf_loadpath
:
STRING
fz_conf_environment
:
STRING
since version 2
fz_conf_se_tools
:
STRING
since version 3
fz_conf_bin
:
STRING
fz_conf_lib
:
STRING
fz_conf_sys
:
STRING
fz_conf_short
:
STRING
fz_conf_tools
:
STRING
fz_conf_os
:
STRING
fz_conf_flavor
:
STRING
fz_conf_jobs
:
STRING
fz_conf_boost
:
STRING
fz_conf_no_check
:
STRING
fz_conf_require_check
:
STRING
fz_conf_ensure_check
:
STRING
fz_conf_invariant_check
:
STRING
fz_conf_loop_check
:
STRING
fz_conf_all_check
:
STRING
fz_conf_debug_check
:
STRING
fz_conf_flat_check
:
STRING
fz_conf_smarteiffel_options
:
STRING
fz_conf_undefined
:
STRING
fz_conf_tag
:
STRING
fz_conf_compiler_type
:
STRING
fz_conf_compiler_path
:
STRING
fz_conf_linker_path
:
STRING
fz_conf_strip_path
:
STRING
fz_conf_compiler_options
:
STRING
fz_conf_linker_options
:
STRING
fz_conf_cpp_compiler_type
:
STRING
fz_conf_cpp_compiler_path
:
STRING
fz_conf_cpp_compiler_options
:
STRING
fz_conf_cpp_linker_path
:
STRING
fz_conf_cpp_strip_path
:
STRING
fz_conf_cpp_linker_options
:
STRING
{}
hidden_expression_detector
:
HIDDEN_EXPRESSION_DETECTOR
tmp_assertion_list
:
FAST_ARRAY
[
ASSERTION
]
{}
routine_code
:
INTEGER_32
All the known Agent type mark codes
procedure_code
:
INTEGER_32
function_code
:
INTEGER_32
predicate_code
:
INTEGER_32
{}
operator_filter
:
HASHED_DICTIONARY
[
STRING
,
CHARACTER
]
remote_clusters
:
HASHED_DICTIONARY
[
STRING
,
STRING
]
remote_cluster
(cluster:
CLUSTER
):
STRING
Void if the cluster is not remote (should be generated)
css_root
:
STRING
css_all_clusters
:
STRING
css_letter_cluster
:
STRING
css_cluster
:
STRING
css_sub_cluster
:
STRING
css_cluster_comments
:
STRING
css_cluster_classes
:
STRING
css_points_of_view
:
STRING
css_summary
:
STRING
css_overview
:
STRING
css_feature
:
STRING
css_invariant
:
STRING
css_assertion
:
STRING
css_obsolete
:
STRING
css_block_suffix
:
STRING
css_head_suffix
:
STRING
css_head_layout_suffix
:
STRING
css_expand_mark_suffix
:
STRING
css_expand_mark_hover_suffix
:
STRING
css_title_suffix
:
STRING
css_nav_link_suffix
:
STRING
css_name_suffix
:
STRING
css_comment_suffix
:
STRING
css_clause_comment_suffix
:
STRING
css_feature_item_suffix
:
STRING
css_expanded_suffix
:
STRING
css_current_suffix
:
STRING
css_keyword_suffix
:
STRING
css_msg_suffix
:
STRING
css_mark_suffix
:
STRING
css_deferred_suffix
:
STRING
css_frozen_suffix
:
STRING
css_attribute_suffix
:
STRING
css_once_suffix
:
STRING
css_blank_suffix
:
STRING
css_value_suffix
:
STRING
css_access_suffix
:
STRING
css_note_suffix
:
STRING
css_note_tag_suffix
:
STRING
css_note_values_suffix
:
STRING
css_nav_link
:
STRING
css_class_link
:
STRING
css_feature_link
:
STRING
index_filename
:
STRING
top_anchor_name
:
STRING
top_anchor_address
:
STRING
top_link_name
:
STRING
home_link_name
:
STRING
wiki_link_name
:
STRING
points_of_view_menu_name
:
STRING
all_feature_entry_name
:
STRING
class_str
:
STRING
deferred_str
:
STRING
expanded_str
:
STRING
frozen_str
:
STRING
once_str
:
STRING
obsolete_class_str
:
STRING
obsolete_feature_str
:
STRING
summary_title_str
:
STRING
direct_parents_str
:
STRING
known_children_str
:
STRING
inherit_list_str
:
STRING
insert_list_str
:
STRING
all_classes_str
:
STRING
cluster_comments_str
:
STRING
cluster_classes_str
:
STRING
overview_title_str
:
STRING
creation_features_str
:
STRING
exported_features_str
:
STRING
features_str
:
STRING
class_invariant_str
:
STRING
require_str
:
STRING
ensure_str
:
STRING
old_str
:
STRING
all_classes_id
:
STRING
cluster_comments_id
:
STRING
cluster_classes_id
:
STRING
summary_id
:
STRING
points_of_view_id
:
STRING
overview_id
:
STRING
class_invariant_id
:
STRING
title_bar
:
STRING
real_css
:
STRING
real_js
:
STRING
filtered_attribute
(value:
STRING
):
STRING
set_suffixed_attribute
(name:
STRING
, base_value:
STRING
, suffix:
STRING
, html_os:
EIFFELDOC_OUTPUT_STREAM
)
html_output_stream_for_file
(filename:
STRING
):
EIFFELDOC_OUTPUT_STREAM
write_header
(html_os:
EIFFELDOC_OUTPUT_STREAM
, title:
STRING
, js:
STRING
, css:
STRING
)
open_block_head
(html_os:
EIFFELDOC_OUTPUT_STREAM
, css_base_class:
STRING
, base_id:
STRING
)
close_block_head
(html_os:
EIFFELDOC_OUTPUT_STREAM
, css_base_class:
STRING
)
open_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
, css_base_class:
STRING
, name:
STRING
, base_id:
STRING
)
close_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
)
open_comment_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
, css_base_class:
STRING
)
close_comment_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
)
open_expand_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
, css_base_class:
STRING
, base_id:
STRING
, expand:
BOOLEAN
)
close_expand_block
(html_os:
EIFFELDOC_OUTPUT_STREAM
)
create_dirs
(a_filename:
STRING
):
INTEGER_32
And returns the depth of the tree
last_dirname
:
STRING
basename_of
(a_filename:
STRING
):
STRING
filename_of
(a_class:
CLASS_TEXT
):
STRING
class_name_any
:
CLASS_NAME
class_name_tuple
:
CLASS_NAME
invariant_phase
:
INTEGER_32
is 1
constant attribute
{}
top
summary_creation_phase
:
INTEGER_32
is 2
constant attribute
{}
top
summary_features_phase
:
INTEGER_32
is 3
constant attribute
{}
top
details_creation_phase
:
INTEGER_32
is 4
constant attribute
{}
top
details_features_phase
:
INTEGER_32
is 5
constant attribute
{}
top
find_clients
:
EIFFELDOC_SHORTER_FIND_CLIENTS
writable attribute
{
EIFFELDOC_SHORTER
}
top
clients
:
TYPE_MARK_LIST
writable attribute
{
EIFFELDOC_SHORTER
}
top
list of all class names given in feature clauses
generate
(a_class_text:
CLASS_TEXT
, a_filename:
STRING
, inherit_children:
FAST_ARRAY
[
CLASS_TEXT
], insert_children:
FAST_ARRAY
[
CLASS_TEXT
])
effective procedure
{
EIFFELDOC_SHORTER
}
top
depends
:
HASHED_SET
[
CLASS_NAME
]
once function
{
EIFFELDOC_SHORTER
}
top
open_root_block
effective procedure
{}
top
Write the
top
anchor.
Write tabs. Open the
root
block and write the block title. Add the drop down menu
require
html
/= Void and then
html
.in_a_body
ensure
html
.in_a_body
close_root_block
effective procedure
{}
top
require
html
/= Void and then
html
.in_a_body
put_parent_classes
(title:
STRING
, parents:
FAST_ARRAY
[
PARENT_EDGE
])
effective procedure
{}
top
put_children_classes
(title:
STRING
, children:
FAST_ARRAY
[
CLASS_TEXT
])
effective procedure
{}
top
require
title /= Void
children /=
list_of_classes
not children.is_empty
put_list_of_classes
(title:
STRING
)
effective procedure
{}
top
require
title /= Void
not
list_of_classes
.is_empty
sort_list_of_classes
effective procedure
{}
top
compare_class_texts
(x:
CLASS_TEXT
, y:
CLASS_TEXT
):
BOOLEAN
effective function
{}
top
class_texts_comparator
:
FUNCTION
[
TUPLE 2
[
CLASS_TEXT
,
CLASS_TEXT
],
BOOLEAN
]
once function
{}
top
list_of_classes
:
FAST_ARRAY
[
CLASS_TEXT
]
once function
{}
top
put_class_invariant
(ct:
CLASS_TEXT
)
effective procedure
{}
top
browse_class
(ct:
CLASS_TEXT
)
effective procedure
{}
top
browse_inherit_items
(items:
FAST_ARRAY
[
PARENT_EDGE
])
effective procedure
{}
top
enter_class_invariant
(visited:
CLASS_INVARIANT
):
BOOLEAN
effective function
{}
top
enter_parent_lists
(visited:
PARENT_LISTS
):
BOOLEAN
effective function
{}
top
ensure
not Result
enter_class_text
(visited:
CLASS_TEXT
):
BOOLEAN
effective function
{}
top
entered
:
BOOLEAN
writable attribute
{}
top
look_for_creation
:
FEATURE_NAME
writable attribute
{}
top
feature_clause_comment_to_print
:
COMMENT
writable attribute
{}
top
feature_clause_comment_printed
:
BOOLEAN
writable attribute
{}
top
print_client_list
effective procedure
{}
top
output the client list for the current object as class-links
feature_clause_client_list
:
TYPE_MARK_LIST
writable attribute
{}
top
list of all class names given in feature clauses, those have access to the current feature(s)
enter_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
):
BOOLEAN
effective function
{}
top
enter_creation_clause
(visited:
CREATION_CLAUSE
):
BOOLEAN
effective function
{}
top
ensure
not_done_to_report_errors:
error_handler
.is_empty
exit_creation_clause
(visited:
CREATION_CLAUSE
)
effective procedure
{}
top
enter_feature_clause_list
(visited:
FEATURE_CLAUSE_LIST
):
BOOLEAN
effective function
{}
top
enter_feature_clause
(visited:
FEATURE_CLAUSE
):
BOOLEAN
effective function
{}
top
ensure
not_done_to_report_errors:
error_handler
.is_empty
exit_feature_clause
(visited:
FEATURE_CLAUSE
)
effective procedure
{}
top
enter_feature_text
(visited:
FEATURE_TEXT
):
BOOLEAN
effective function
{}
top
ensure
not Result
found_features
:
FAST_ARRAY
[
FEATURE_STAMP
]
once function
{}
top
print_feature
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
require
not_done_to_report_errors:
error_handler
.is_empty
required by gives_permission_to
print_feature_summary
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
ensure
not_done_to_report_errors:
error_handler
.is_empty
print_feature_details
(fn:
FEATURE_NAME
, af:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
require
not_done_to_report_errors:
error_handler
.is_empty
required by gives_permission_to
ensure
not_done_to_report_errors:
error_handler
.is_empty
require_is_empty
(ra:
REQUIRE_ASSERTION
):
BOOLEAN
effective function
{}
top
require
ra /= Void
assertion_list_is_empty
(al:
ASSERTION_LIST
):
BOOLEAN
effective function
{}
top
require
al /= Void
print_require
(ra:
REQUIRE_ASSERTION
, for_feature:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
print_assertion_list
(al:
ASSERTION_LIST
, for_feature:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
print_assertion
(a:
ASSERTION
, for_feature:
ANONYMOUS_FEATURE
)
effective procedure
{}
top
visit_generic_type_mark
(visited:
GENERIC_TYPE_MARK
)
effective procedure
{}
top
visit_agent_type_mark
(visited:
AGENT_TYPE_MARK
)
effective procedure
{
AGENT_TYPE_MARK
}
top
require
visited /= Void
visit_feature_name
(visited:
FEATURE_NAME
)
effective procedure
{
FEATURE_NAME
}
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_like_feature_type_mark
(visited:
LIKE_FEATURE_TYPE_MARK
)
effective procedure
{
LIKE_FEATURE_TYPE_MARK
}
top
require
visited /= Void
visit_like_argument_type_mark
(visited:
LIKE_ARGUMENT_TYPE_MARK
)
effective procedure
{
LIKE_ARGUMENT_TYPE_MARK
}
top
require
visited /= Void
visit_like_current_type_mark
(visited:
LIKE_CURRENT_TYPE_MARK
)
effective procedure
{
LIKE_CURRENT_TYPE_MARK
}
top
require
visited /= Void
visit_argument_name_ref
(visited:
ARGUMENT_NAME_REF
)
effective procedure
{
ARGUMENT_NAME_REF
}
top
require
visited /= Void
visit_effective_arg_list
(visited:
EFFECTIVE_ARG_LIST
)
effective procedure
{
EFFECTIVE_ARG_LIST
}
top
visit_manifest_string
(visited:
MANIFEST_STRING
)
effective procedure
{
MANIFEST_STRING
}
top
require
visited /= Void
visit_written_current
(visited:
WRITTEN_CURRENT
)
effective procedure
{
WRITTEN_CURRENT
}
top
require
visited /= Void
visit_result
(visited:
RESULT
)
effective procedure
{
RESULT
}
top
require
visited /= Void
visit_e_old
(visited:
E_OLD
)
effective procedure
{
E_OLD
}
top
require
visited /= Void
visit_call_support
(visited:
FEATURE_CALL
)
effective procedure
{}
top
visit_built_in_eq_neq
(visited:
BUILT_IN_EQ_NEQ
)
effective procedure
{
BUILT_IN_EQ_NEQ
}
top
require
visited /= Void
visit_implicit_cast
(visited:
IMPLICIT_CAST
)
effective procedure
{
IMPLICIT_CAST
}
top
require
visited /= Void
visit_e_void
(visited:
E_VOID
)
effective procedure
{
E_VOID
}
top
require
visited /= Void
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_character_constant
(visited:
CHARACTER_CONSTANT
)
effective procedure
{
CHARACTER_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_real_constant
(visited:
REAL_CONSTANT
)
effective procedure
{
REAL_CONSTANT
}
top
require
visited /= Void
visit_create_expression
(visited:
CREATE_EXPRESSION
)
effective procedure
{
CREATE_EXPRESSION
}
top
require
visited /= Void
class_text
:
CLASS_TEXT
writable attribute
{}
top
phase
:
INTEGER_32
writable attribute
{}
top
options
:
EIFFELDOC_OPTIONS
effective function
{}
top
html
:
EIFFELDOC_OUTPUT_STREAM
effective function
{}
top
context_class_text
:
CLASS_TEXT
effective function
{}
top
make
(a_context:
EIFFELDOC_CONTEXT
)
effective procedure
{}
top
require
a_context /= Void
put_type_mark
(visited:
TYPE_MARK
)
effective procedure
{}
top
put_class
(ct:
CLASS_TEXT
, show_generic:
BOOLEAN
)
effective procedure
{}
top
put_class_name
(class_name:
CLASS_NAME
, anchored:
BOOLEAN
)
effective procedure
{}
top
require
non_void_classname:
class_name /= Void
put_class_name_string
(class_name_string:
STRING
, anchor:
STRING
)
effective procedure
{}
top
Must be called
only
by
put_class_name
is_generic_name
(class_name:
CLASS_NAME
, context_class:
CLASS_TEXT
):
BOOLEAN
effective function
{}
top
context
:
EIFFELDOC_CONTEXT
writable attribute
{}
top
visit_index_list
(visited:
INDEX_LIST
)
effective procedure
{
INDEX_LIST
,
INDEX_CLAUSE
}
top
require
visited /= Void
visit_index_clause
(visited:
INDEX_CLAUSE
)
effective procedure
{
INDEX_LIST
,
INDEX_CLAUSE
}
top
require
visited /= Void
visit_class_text
(visited:
CLASS_TEXT
)
effective procedure
{
CLASS_TEXT
}
top
require
visited /= Void
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
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
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
visit_creation_clause_list
(visited:
CREATION_CLAUSE_LIST
)
effective procedure
{
CREATION_CLAUSE_LIST
}
top
require
visited /= Void
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
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
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_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
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
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
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_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
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_fake_target
(visited:
FAKE_TARGET
)
effective procedure
{
FAKE_TARGET
}
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
exit_precursor_expression
(visited:
PRECURSOR_EXPRESSION
)
effective procedure
{}
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_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_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
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
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_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
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_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_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_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_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
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
cpp
:
C_PRETTY_PRINTER
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
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
cecil_pool
/= Void
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
{