+
Point of view
LOOP_INVARIANT
class EIFFEL_TO_LISAAC
Summary
top
Overview
top
creation features
exported features
the visit_* family:
  • usage: STRING
    The traditional "-help" flag summary of information about available options.
  • command_line_name: STRING
    Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
visit_class_text (visited: CLASS_TEXT)
effective procedure
top
visit_comment (visited: COMMENT)
effective procedure
top
visit_comment_line (line: STRING)
effective procedure
top
To filter special notations inside comments.
visit_feature_clause_list (visited: FEATURE_CLAUSE_LIST)
effective procedure
top
visit_feature_clause (visited: FEATURE_CLAUSE)
effective procedure
top
signature_definition (name: FEATURE_NAME, arguments: FORMAL_ARG_LIST)
effective procedure
top
synonym_of (first: FEATURE_NAME, synonym: FEATURE_NAME, effective_routine: EFFECTIVE_ROUTINE)
effective procedure
top
visit_feature_text (visited: FEATURE_TEXT)
effective procedure
top
prune (cluster: STRING)
effective procedure
top
visit_native_array_type_mark (visited: NATIVE_ARRAY_TYPE_MARK)
effective procedure
top
visit_string_type_mark (visited: STRING_TYPE_MARK)
effective procedure
top
visit_any_type_mark (visited: ANY_TYPE_MARK)
effective procedure
top
visit_character_type_mark (visited: CHARACTER_TYPE_MARK)
effective procedure
top
visit_boolean_type_mark (visited: BOOLEAN_TYPE_MARK)
effective procedure
top
visit_integer_type_mark (visited: INTEGER_TYPE_MARK)
effective procedure
top
visit_pointer_type_mark (visited: POINTER_TYPE_MARK)
effective procedure
top
visit_real_type_mark (visited: REAL_TYPE_MARK)
effective procedure
top
visit_integer_constant (visited: INTEGER_CONSTANT)
effective procedure
top
visit_character_constant (visited: CHARACTER_CONSTANT)
effective procedure
top
visit_real_constant (visited: REAL_CONSTANT)
effective procedure
top
visit_like_feature_type_mark (visited: LIKE_FEATURE_TYPE_MARK)
effective procedure
top
visit_like_argument_type_mark (visited: LIKE_ARGUMENT_TYPE_MARK)
effective procedure
top
visit_formal_generic_type_mark (visited: FORMAL_GENERIC_TYPE_MARK)
effective procedure
top
visit_class_type_mark (visited: CLASS_TYPE_MARK)
effective procedure
top
visit_create_writable (visited: CREATE_WRITABLE)
effective procedure
top
visit_create_instruction (visited: CREATE_INSTRUCTION)
effective procedure
top
visit_assignment (visited: ASSIGNMENT)
effective procedure
top
visit_result (visited: RESULT)
effective procedure
top
visit_proc_call_0 (visited: PROC_CALL_0)
effective procedure
top
visit_call_0_c (visited: CALL_0_C)
effective procedure
top
call_n (target: EXPRESSION, feature_name: FEATURE_NAME, arguments: EFFECTIVE_ARG_LIST)
effective procedure
top
visit_call_n (visited: CALL_N)
effective procedure
top
visit_proc_call_n (visited: PROC_CALL_N)
effective procedure
top
call_1_c (target: EXPRESSION, feature_name: FEATURE_NAME, arg1: EXPRESSION)
effective procedure
top
agent_launch (target: EXPRESSION, arg1: EXPRESSION)
effective procedure
top
visit_call_1_c (visited: CALL_1_C)
effective procedure
top
visit_proc_call_1 (visited: PROC_CALL_1)
effective procedure
top
visit_implicit_current (visited: IMPLICIT_CURRENT)
effective procedure
top
visit_written_current (visited: WRITTEN_CURRENT)
effective procedure
top
visit_formal_arg_list (visited: FORMAL_ARG_LIST)
effective procedure
top
visit_effective_arg_list (visited: EFFECTIVE_ARG_LIST)
effective procedure
top
visit_local_var_list (visited: LOCAL_VAR_LIST)
effective procedure
top
visit_declaration_1 (visited: DECLARATION_1)
effective procedure
top
visit_declaration_group (visited: DECLARATION_GROUP)
effective procedure
top
visit_compound (visited: COMPOUND)
effective procedure
top
visit_ifthen (visited: IFTHEN)
effective procedure
top
visit_ifthenelse (visited: IFTHENELSE)
effective procedure
top
visit_inspect_statement (visited: INSPECT_STATEMENT)
effective procedure
top
visit_when_clause (visited: WHEN_CLAUSE)
effective procedure
top
visit_e_loop (visited: E_LOOP)
effective procedure
top
visit_assertion (visited: ASSERTION)
effective procedure
top
visit_expression_with_comment (visited: EXPRESSION_WITH_COMMENT)
effective procedure
top
visit_e_check (visited: E_CHECK)
effective procedure
top
visit_check_invariant (visited: CHECK_INVARIANT)
effective procedure
top
visit_call_prefix (operator: STRING, precedence: INTEGER_32, target: EXPRESSION)
effective procedure
top
visit_call_prefix_freeop (visited: CALL_PREFIX_FREEOP)
effective procedure
top
visit_call_prefix_minus (visited: CALL_PREFIX_MINUS)
effective procedure
top
visit_call_prefix_plus (visited: CALL_PREFIX_PLUS)
effective procedure
top
visit_call_prefix_not (visited: CALL_PREFIX_NOT)
effective procedure
top
visit_built_in_eq_neq (visited: BUILT_IN_EQ_NEQ)
effective procedure
top
visit_call_infix (visited: CALL_INFIX, symbol: STRING)
effective procedure
top
visit_call_infix_lasy (visited: CALL_INFIX, symbol: STRING)
effective procedure
top
visit_call_infix_gt (visited: CALL_INFIX_GT)
effective procedure
top
visit_call_infix_ge (visited: CALL_INFIX_GE)
effective procedure
top
visit_call_infix_lt (visited: CALL_INFIX_LT)
effective procedure
top
visit_call_infix_le (visited: CALL_INFIX_LE)
effective procedure
top
visit_call_infix_minus (visited: CALL_INFIX_MINUS)
effective procedure
top
visit_call_infix_plus (visited: CALL_INFIX_PLUS)
effective procedure
top
visit_call_infix_times (visited: CALL_INFIX_TIMES)
effective procedure
top
visit_call_infix_div (visited: CALL_INFIX_DIV)
effective procedure
top
visit_call_infix_int_div (visited: CALL_INFIX_INT_DIV)
effective procedure
top
visit_call_infix_int_rem (visited: CALL_INFIX_INT_REM)
effective procedure
top
visit_call_infix_freeop (visited: CALL_INFIX_FREEOP)
effective procedure
top
visit_call_infix_power (visited: CALL_INFIX_POWER)
effective procedure
top
visit_call_infix_xor (visited: CALL_INFIX_XOR)
effective procedure
top
visit_call_infix_implies (visited: CALL_INFIX_IMPLIES)
effective procedure
top
visit_call_infix_or (visited: CALL_INFIX_OR)
effective procedure
top
visit_call_infix_and (visited: CALL_INFIX_AND)
effective procedure
top
visit_call_infix_and_then (visited: CALL_INFIX_AND_THEN)
effective procedure
top
visit_call_infix_or_else (visited: CALL_INFIX_OR_ELSE)
effective procedure
top
visit_argument_name2 (visited: ARGUMENT_NAME2)
effective procedure
top
visit_local_name2 (visited: LOCAL_NAME2)
effective procedure
top
visit_writable_attribute_name (visited: WRITABLE_ATTRIBUTE_NAME)
effective procedure
top
visit_array_type_mark (visited: ARRAY_TYPE_MARK)
effective procedure
top
visit_user_generic_type_mark (visited: USER_GENERIC_TYPE_MARK)
effective procedure
top
visit_like_current_type_mark (visited: LIKE_CURRENT_TYPE_MARK)
effective procedure
top
visit_agent_type_mark (visited: AGENT_TYPE_MARK)
effective procedure
top
visit_e_true (visited: E_TRUE)
effective procedure
top
visit_e_false (visited: E_FALSE)
effective procedure
top
visit_e_void (visited: E_VOID)
effective procedure
top
visit_manifest_string (visited: MANIFEST_STRING)
effective procedure
top
visit_e_retry (visited: E_RETRY)
effective procedure
top
visit_null_pointer (visited: NULL_POINTER)
effective procedure
top
visit_internal_local (visited: INTERNAL_LOCAL)
effective procedure
top
visit_address_of (visited: ADDRESS_OF)
effective procedure
top
visit_fake_target (visited: FAKE_TARGET)
effective procedure
top
visit_manifest_tuple (visited: MANIFEST_TUPLE)
effective procedure
top
visit_agent_instruction (visited: AGENT_INSTRUCTION)
effective procedure
top
visit_agent_creation (visited: AGENT_CREATION)
effective procedure
top
visit_implicit_cast (visited: IMPLICIT_CAST)
effective procedure
top
visit_e_old (visited: E_OLD)
effective procedure
top
visit_old_manifest_array (visited: OLD_MANIFEST_ARRAY)
effective procedure
top
visit_manifest_generic (visited: MANIFEST_GENERIC)
effective procedure
top
visit_assignment_test (visited: ASSIGNMENT_TEST)
effective procedure
top
visit_create_expression (visited: CREATE_EXPRESSION)
effective procedure
top
visit_generator_generating_type (visited: GENERATOR_GENERATING_TYPE)
effective procedure
top
visit_static_call_0_c (visited: STATIC_CALL_0_C)
effective procedure
top
visit_precursor_expression (visited: PRECURSOR_EXPRESSION)
effective procedure
top
visit_precursor_instruction (visited: PRECURSOR_INSTRUCTION)
effective procedure
top
visit_e_debug (visited: E_DEBUG)
effective procedure
top
visit_assignment_attempt (visited: ASSIGNMENT_ATTEMPT)
effective procedure
top
visit_empty_tuple_type_mark (visited: EMPTY_TUPLE_TYPE_MARK)
effective procedure
top
visit_non_empty_tuple_type_mark (visited: NON_EMPTY_TUPLE_TYPE_MARK)
effective procedure
top
visit_agent_expression (visited: AGENT_EXPRESSION)
effective procedure
top
visit_open_operand (visited: OPEN_OPERAND)
effective procedure
top
visit_loop_invariant (visited: LOOP_INVARIANT)
effective procedure
top
visit_e_ensure (visited: E_ENSURE)
effective procedure
top
visit_require_item (visited: REQUIRE_ITEM)
effective procedure
top
visit_class_invariant (visited: CLASS_INVARIANT)
effective procedure
top
visit_fake_argument (visited: FAKE_ARGUMENT)
effective procedure
top
visit_numbered_capture (visited: NUMBERED_CAPTURE)
effective procedure
top
visit_non_void_no_dispatch (visited: NON_VOID_NO_DISPATCH)
effective procedure
top
visit_fake_tuple (visited: FAKE_TUPLE)
effective procedure
top
visit_void_call (visited: VOID_CALL)
effective procedure
top
visit_no_invariant_wrapper (visited: NO_INVARIANT_WRAPPER)
effective procedure
top
visit_void_proc_call (visited: VOID_PROC_CALL)
effective procedure
top
usage: STRING
once function
top
The traditional "-help" flag summary of information about available options.
command_line_name: STRING
effective function
top
Is supposed to return the name of the command itself (eg. "compile", "compile_to_c", "finder", "clean", etc.).
command_line_help_summary: STRING
deferred function
top
The traditional "-help" flag summary of information about available options.
as_visitor: VISITOR
effective function
top
pop
effective procedure
top