EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.html_output

Class EDOC_HTML_AST_PRINTER


Direct ancestors

ET_AST_PRINTER, EDOC_SHARED_ACCESS, EDOC_SHARED_HTML_CONTEXT, EDOC_SHARED_CSS_CONSTANTS, KL_IMPORTED_STRING_ROUTINES

Creation

Features

Invariants

indexing

description

AST printer for HTML output

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class EDOC_HTML_AST_PRINTER

inherit

ET_AST_PRINTER
ET_AST_ITERATOR
ET_AST_PROCESSOR
KL_SHARED_STREAMS

create

make (a_universe: like universe)

-- Initialise with 'a_file'.

feature -- Access

null_output_stream: KL_NULL_TEXT_OUTPUT_STREAM

-- Null output stream
-- (From KL_SHARED_STREAMS)

ensure

null_output_stream_not_void: Result /= Void

universe: ET_UNIVERSE

-- Surrounding universe
-- (From ET_AST_PROCESSOR)

ast_file: KI_CHARACTER_OUTPUT_STREAM

-- Output file
-- (From ET_AST_PRINTER)

file: EDOC_HTML_OUTPUT_FILE

-- Output file

feature -- Status report

are_strings_comments: BOOLEAN

-- Are strings which are currently encountered comments?

feature -- Element change

set_file (a_file: like file)

-- Set 'file' to 'a_file'.

require

a_file_not_void: a_file /= Void

ensure

file_set: file = a_file

feature -- Error handling

ast_error_handler: ET_ERROR_HANDLER

-- Error handler
-- (From ET_AST_PROCESSOR)

ensure

error_handler_not_void: Result /= Void

feature {ET_AST_NODE} -- Processing

process_bit_constant (a_constant: ET_BIT_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_c1_character_constant (a_constant: ET_C1_CHARACTER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_c2_character_constant (a_constant: ET_C2_CHARACTER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_c3_character_constant (a_constant: ET_C3_CHARACTER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_hexadecimal_integer_constant (a_constant: ET_HEXADECIMAL_INTEGER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_regular_integer_constant (a_constant: ET_REGULAR_INTEGER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_regular_real_constant (a_constant: ET_REGULAR_REAL_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_token (a_token: ET_TOKEN)

-- Process a_token.
-- (From ET_AST_ITERATOR)

require

a_token_not_void: a_token /= Void

process_underscored_integer_constant (a_constant: ET_UNDERSCORED_INTEGER_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_underscored_real_constant (a_constant: ET_UNDERSCORED_REAL_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

feature -- Processing

process_break (a_break: ET_BREAK)

-- Process a_break.
-- (From ET_AST_ITERATOR)

process_class (a_class: ET_CLASS)

-- Process 'a_class'.
-- (From ET_AST_PROCESSOR)

require

a_class_not_void: a_class /= Void

process_class_type (a_type: ET_CLASS_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_convert_feature_list (a_list: ET_CONVERT_FEATURE_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_creators

-- Process 'creators'.

process_current (an_expression: ET_CURRENT)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_false_constant (a_constant: ET_FALSE_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_feature (a_feature: ET_FEATURE; is_creator: BOOLEAN)

-- Process 'a_feature'.

process_features_list

-- Process 'features'.

process_identifier (an_identifier: ET_IDENTIFIER)

-- Process an_identifier.
-- (From ET_AST_PROCESSOR)

require

an_identifier_not_void: an_identifier /= Void

process_indexing_list (a_list: ET_INDEXING_LIST)

-- Process 'a_list'.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_invariants (a_list: ET_INVARIANTS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

require else

a_list_can_be_void: a_list = Void or a_list /= Void

process_keyword (a_keyword: ET_KEYWORD)

-- Process a_keyword.
-- (From ET_AST_PROCESSOR)

require

a_keyword_not_void: a_keyword /= Void

process_parent_list (a_list: ET_PARENT_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_postconditions (a_list: ET_POSTCONDITIONS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_preconditions (a_list: ET_PRECONDITIONS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_regular_manifest_string (a_string: ET_REGULAR_MANIFEST_STRING)

-- Process a_string.
-- (From ET_AST_PROCESSOR)

require

a_string_not_void: a_string /= Void

process_result (an_expression: ET_RESULT)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_special_keyword (a_keyword: ET_KEYWORD)

-- Process a_keyword.

process_special_manifest_string (a_string: ET_SPECIAL_MANIFEST_STRING)

-- Process a_string.
-- (From ET_AST_PROCESSOR)

require

a_string_not_void: a_string /= Void

process_symbol (a_symbol: ET_SYMBOL)

-- Process a_symbol.
-- (From ET_AST_PROCESSOR)

require

a_symbol_not_void: a_symbol /= Void

process_tagged_assertion (an_assertion: ET_TAGGED_ASSERTION)

-- Process an_assertion.
-- (From ET_AST_PROCESSOR)

require

an_assertion_not_void: an_assertion /= Void

process_true_constant (a_constant: ET_TRUE_CONSTANT)

-- Process a_constant.
-- (From ET_AST_PROCESSOR)

require

a_constant_not_void: a_constant /= Void

process_verbatim_string (a_string: ET_VERBATIM_STRING)

-- Process a_string.
-- (From ET_AST_PROCESSOR)

require

a_string_not_void: a_string /= Void

process_void (an_expression: ET_VOID)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

feature {ET_AST_NODE} -- Processing

process_actual_argument_list (a_list: ET_ACTUAL_ARGUMENT_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_actual_parameter_comma (a_parameter: ET_ACTUAL_PARAMETER_COMMA)

-- Process a_parameter.
-- (From ET_AST_PROCESSOR)

require

a_parameter_not_void: a_parameter /= Void

process_actual_parameter_list (a_list: ET_ACTUAL_PARAMETER_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_agent_argument_operand_comma (an_argument: ET_AGENT_ARGUMENT_OPERAND_COMMA)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_agent_argument_operand_list (a_list: ET_AGENT_ARGUMENT_OPERAND_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_agent_implicit_open_argument (an_argument: ET_AGENT_IMPLICIT_OPEN_ARGUMENT)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_agent_open_target (a_target: ET_AGENT_OPEN_TARGET)

-- Process a_target.
-- (From ET_AST_PROCESSOR)

require

a_target_not_void: a_target /= Void

process_agent_typed_open_argument (an_argument: ET_AGENT_TYPED_OPEN_ARGUMENT)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_alias_free_name (a_name: ET_ALIAS_FREE_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_alias_name (a_name: ET_ALIAS_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_aliased_feature_name (a_name: ET_ALIASED_FEATURE_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_all_export (an_export: ET_ALL_EXPORT)

-- Process an_export.
-- (From ET_AST_PROCESSOR)

require

an_export_not_void: an_export /= Void

process_assertion_semicolon (an_assertion: ET_ASSERTION_SEMICOLON)

-- Process an_assertion.
-- (From ET_AST_PROCESSOR)

require

an_assertion_not_void: an_assertion /= Void

process_assigner (an_assigner: ET_ASSIGNER)

-- Process an_assigner.
-- (From ET_AST_PROCESSOR)

require

an_assigner_not_void: an_assigner /= Void

process_assigner_instruction (an_instruction: ET_ASSIGNER_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_assignment (an_instruction: ET_ASSIGNMENT)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_assignment_attempt (an_instruction: ET_ASSIGNMENT_ATTEMPT)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_attribute (a_feature: ET_ATTRIBUTE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_bang_instruction (an_instruction: ET_BANG_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_bit_feature (a_type: ET_BIT_FEATURE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_bit_n (a_type: ET_BIT_N)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_braced_class_name (a_name: ET_BRACED_CLASS_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_braced_type (a_type: ET_BRACED_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_braced_type_list (a_list: ET_BRACED_TYPE_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_bracket_argument_list (a_list: ET_BRACKET_ARGUMENT_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_bracket_expression (an_expression: ET_BRACKET_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_bracket_symbol (a_symbol: ET_BRACKET_SYMBOL)

-- Process a_symbol.
-- (From ET_AST_PROCESSOR)

require

a_symbol_not_void: a_symbol /= Void

process_call_agent (an_expression: ET_CALL_AGENT)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_call_expression (an_expression: ET_CALL_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_call_instruction (an_instruction: ET_CALL_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_check_instruction (an_instruction: ET_CHECK_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_choice_comma (a_choice: ET_CHOICE_COMMA)

-- Process a_choice.
-- (From ET_AST_PROCESSOR)

require

a_choice_not_void: a_choice /= Void

process_choice_list (a_list: ET_CHOICE_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_choice_range (a_choice: ET_CHOICE_RANGE)

-- Process a_choice.
-- (From ET_AST_PROCESSOR)

require

a_choice_not_void: a_choice /= Void

process_class_name_comma (a_name: ET_CLASS_NAME_COMMA)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_clients (a_list: ET_CLIENTS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_colon_type (a_type: ET_COLON_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_compound (a_list: ET_COMPOUND)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_constant_attribute (a_feature: ET_CONSTANT_ATTRIBUTE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_constrained_formal_parameter (a_parameter: ET_CONSTRAINED_FORMAL_PARAMETER)

-- Process a_parameter.
-- (From ET_AST_PROCESSOR)

require

a_parameter_not_void: a_parameter /= Void

process_constraint_creator (a_list: ET_CONSTRAINT_CREATOR)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_convert_expression (a_convert_expression: ET_CONVERT_EXPRESSION)

-- Process a_convert_expression.
-- (From ET_AST_PROCESSOR)

require

a_convert_expression_not_void: a_convert_expression /= Void

process_convert_feature_comma (a_convert_feature: ET_CONVERT_FEATURE_COMMA)

-- Process a_convert_feature.
-- (From ET_AST_PROCESSOR)

require

a_convert_feature_not_void: a_convert_feature /= Void

process_convert_function (a_convert_function: ET_CONVERT_FUNCTION)

-- Process a_convert_function.
-- (From ET_AST_PROCESSOR)

require

a_convert_function_not_void: a_convert_function /= Void

process_convert_procedure (a_convert_procedure: ET_CONVERT_PROCEDURE)

-- Process a_convert_procedure.
-- (From ET_AST_PROCESSOR)

require

a_convert_procedure_not_void: a_convert_procedure /= Void

process_convert_to_expression (a_convert_expression: ET_CONVERT_TO_EXPRESSION)

-- Process a_convert_expression.
-- (From ET_AST_PROCESSOR)

require

a_convert_expression_not_void: a_convert_expression /= Void

process_create_expression (an_expression: ET_CREATE_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_create_instruction (an_instruction: ET_CREATE_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_creator (a_list: ET_CREATOR)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_creator_list (a_list: ET_CREATOR_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_current_address (an_expression: ET_CURRENT_ADDRESS)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_custom_attribute (an_attribute: ET_CUSTOM_ATTRIBUTE)

-- Process an_attribute.
-- (From ET_AST_PROCESSOR)

require

an_attribute_not_void: an_attribute /= Void

process_debug_instruction (an_instruction: ET_DEBUG_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_deferred_function (a_feature: ET_DEFERRED_FUNCTION)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_deferred_procedure (a_feature: ET_DEFERRED_PROCEDURE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_do_function (a_feature: ET_DO_FUNCTION)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_do_procedure (a_feature: ET_DO_PROCEDURE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_dot_feature_name (a_name: ET_DOT_FEATURE_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_elseif_part (an_elseif_part: ET_ELSEIF_PART)

-- Process an_elseif_part.
-- (From ET_AST_PROCESSOR)

require

an_elseif_part_not_void: an_elseif_part /= Void

process_elseif_part_list (a_list: ET_ELSEIF_PART_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_equality_expression (an_expression: ET_EQUALITY_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_export_list (a_list: ET_EXPORT_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_expression_address (an_expression: ET_EXPRESSION_ADDRESS)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_expression_comma (an_expression: ET_EXPRESSION_COMMA)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_extended_feature_name_comma (a_name: ET_EXTENDED_FEATURE_NAME_COMMA)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_external_function (a_feature: ET_EXTERNAL_FUNCTION)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_external_procedure (a_feature: ET_EXTERNAL_PROCEDURE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_feature_address (an_expression: ET_FEATURE_ADDRESS)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_feature_clause (a_feature_clause: ET_FEATURE_CLAUSE)

-- Process a_feature_clause.
-- (From ET_AST_PROCESSOR)

require

a_feature_clause_not_void: a_feature_clause /= Void

process_feature_clause_list (a_list: ET_FEATURE_CLAUSE_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_feature_export (an_export: ET_FEATURE_EXPORT)

-- Process an_export.
-- (From ET_AST_PROCESSOR)

require

an_export_not_void: an_export /= Void

process_feature_name_comma (a_name: ET_FEATURE_NAME_COMMA)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_features (a_class: ET_CLASS)

-- Process feature clauses of a_class.
-- (From ET_AST_ITERATOR)

require

a_class_not_void: a_class /= Void

process_formal_argument (an_argument: ET_FORMAL_ARGUMENT)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_formal_argument_list (a_list: ET_FORMAL_ARGUMENT_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_formal_argument_semicolon (an_argument: ET_FORMAL_ARGUMENT_SEMICOLON)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_formal_comma_argument (an_argument: ET_FORMAL_COMMA_ARGUMENT)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

an_argument_not_void: an_argument /= Void

process_formal_parameter (a_parameter: ET_FORMAL_PARAMETER)

-- Process a_parameter.
-- (From ET_AST_PROCESSOR)

require

a_parameter_not_void: a_parameter /= Void

process_formal_parameter_comma (a_parameter: ET_FORMAL_PARAMETER_COMMA)

-- Process a_parameter.
-- (From ET_AST_PROCESSOR)

require

a_parameter_not_void: a_parameter /= Void

process_formal_parameter_list (a_list: ET_FORMAL_PARAMETER_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_formal_parameter_type (a_type: ET_FORMAL_PARAMETER_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_free_operator (an_operator: ET_FREE_OPERATOR)

-- Process an_operator.
-- (From ET_AST_PROCESSOR)

require

an_operator_not_void: an_operator /= Void

process_generic_class_type (a_type: ET_GENERIC_CLASS_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_identifier_colon (an_identifier: ET_IDENTIFIER_COLON)

-- Process an_identifier.
-- (From ET_AST_PROCESSOR)

require

an_identifier_not_void: an_identifier /= Void

process_identifier_comma (an_identifier: ET_IDENTIFIER_COMMA)

-- Process an_identifier.
-- (From ET_AST_PROCESSOR)

require

an_identifier_not_void: an_identifier /= Void

process_if_instruction (an_instruction: ET_IF_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_indexing (an_indexing: ET_INDEXING)

-- Process an_indexing.
-- (From ET_AST_PROCESSOR)

require

an_indexing_not_void: an_indexing /= Void

process_indexing_semicolon (an_indexing: ET_INDEXING_SEMICOLON)

-- Process an_indexing.
-- (From ET_AST_PROCESSOR)

require

an_indexing_not_void: an_indexing /= Void

process_indexing_term_comma (an_indexing_term: ET_INDEXING_TERM_COMMA)

-- Process an_indexing_term.
-- (From ET_AST_PROCESSOR)

require

an_indexing_term_not_void: an_indexing_term /= Void

process_indexing_term_list (a_list: ET_INDEXING_TERM_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_infix_and_then_operator (an_operator: ET_INFIX_AND_THEN_OPERATOR)

-- Process an_operator.
-- (From ET_AST_PROCESSOR)

require

an_operator_not_void: an_operator /= Void

process_infix_cast_expression (an_expression: ET_INFIX_CAST_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_infix_expression (an_expression: ET_INFIX_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_infix_free_name (a_name: ET_INFIX_FREE_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_infix_name (a_name: ET_INFIX_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_infix_or_else_operator (an_operator: ET_INFIX_OR_ELSE_OPERATOR)

-- Process an_operator.
-- (From ET_AST_PROCESSOR)

require

an_operator_not_void: an_operator /= Void

process_inspect_instruction (an_instruction: ET_INSPECT_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_keyword_expression (an_expression: ET_KEYWORD_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_keyword_feature_name_list (a_list: ET_KEYWORD_FEATURE_NAME_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_keyword_manifest_string (a_string: ET_KEYWORD_MANIFEST_STRING)

-- Process a_string.
-- (From ET_AST_PROCESSOR)

require

a_string_not_void: a_string /= Void

process_keyword_operator (a_keyword: ET_KEYWORD_OPERATOR)

-- Process a_keyword.
-- (From ET_AST_PROCESSOR)

require

a_keyword_not_void: a_keyword /= Void

process_like_current (a_type: ET_LIKE_CURRENT)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_like_feature (a_type: ET_LIKE_FEATURE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_local_comma_variable (a_local: ET_LOCAL_COMMA_VARIABLE)

-- Process a_local.
-- (From ET_AST_PROCESSOR)

require

a_local_not_void: a_local /= Void

process_local_variable (a_local: ET_LOCAL_VARIABLE)

-- Process a_local.
-- (From ET_AST_PROCESSOR)

require

a_local_not_void: a_local /= Void

process_local_variable_list (a_list: ET_LOCAL_VARIABLE_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_local_variable_semicolon (a_local: ET_LOCAL_VARIABLE_SEMICOLON)

-- Process an_argument.
-- (From ET_AST_PROCESSOR)

require

a_local_not_void: a_local /= Void

process_loop_instruction (an_instruction: ET_LOOP_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_loop_invariants (a_list: ET_LOOP_INVARIANTS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_manifest_array (an_expression: ET_MANIFEST_ARRAY)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_manifest_string_comma (a_string: ET_MANIFEST_STRING_COMMA)

-- Process a_string.
-- (From ET_AST_PROCESSOR)

require

a_string_not_void: a_string /= Void

process_manifest_string_list (a_list: ET_MANIFEST_STRING_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_manifest_tuple (an_expression: ET_MANIFEST_TUPLE)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_manifest_type (an_expression: ET_MANIFEST_TYPE)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_none_clients (a_list: ET_NONE_CLIENTS)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_old_expression (an_expression: ET_OLD_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_once_function (a_feature: ET_ONCE_FUNCTION)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_once_manifest_string (an_expression: ET_ONCE_MANIFEST_STRING)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_once_procedure (a_feature: ET_ONCE_PROCEDURE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_parent (a_parent: ET_PARENT)

-- Process a_parent.
-- (From ET_AST_PROCESSOR)

require

a_parent_not_void: a_parent /= Void

process_parent_semicolon (a_parent: ET_PARENT_SEMICOLON)

-- Process a_parent.
-- (From ET_AST_PROCESSOR)

require

a_parent_not_void: a_parent /= Void

process_parenthesized_expression (an_expression: ET_PARENTHESIZED_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_precursor_expression (an_expression: ET_PRECURSOR_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_precursor_instruction (an_instruction: ET_PRECURSOR_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_precursor_keyword (a_keyword: ET_PRECURSOR_KEYWORD)

-- Process a_keyword.
-- (From ET_AST_PROCESSOR)

require

a_keyword_not_void: a_keyword /= Void

process_prefix_expression (an_expression: ET_PREFIX_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_prefix_free_name (a_name: ET_PREFIX_FREE_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_prefix_name (a_name: ET_PREFIX_NAME)

-- Process a_name.
-- (From ET_AST_PROCESSOR)

require

a_name_not_void: a_name /= Void

process_qualified_call (a_call: ET_QUALIFIED_CALL)

-- Process a_call.
-- (From ET_AST_PROCESSOR)

require

a_call_not_void: a_call /= Void

process_question_mark_symbol (a_symbol: ET_QUESTION_MARK_SYMBOL)

-- Process a_symbol.
-- (From ET_AST_PROCESSOR)

require

a_symbol_not_void: a_symbol /= Void

process_rename (a_rename: ET_RENAME)

-- Process a_rename.
-- (From ET_AST_PROCESSOR)

require

a_rename_not_void: a_rename /= Void

process_rename_comma (a_rename: ET_RENAME_COMMA)

-- Process a_rename.
-- (From ET_AST_PROCESSOR)

require

a_rename_not_void: a_rename /= Void

process_rename_list (a_list: ET_RENAME_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

process_result_address (an_expression: ET_RESULT_ADDRESS)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_retry_instruction (an_instruction: ET_RETRY_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_semicolon_symbol (a_symbol: ET_SEMICOLON_SYMBOL)

-- Process a_symbol.
-- (From ET_AST_PROCESSOR)

require

a_symbol_not_void: a_symbol /= Void

process_static_call_expression (an_expression: ET_STATIC_CALL_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_static_call_instruction (an_instruction: ET_STATIC_CALL_INSTRUCTION)

-- Process an_instruction.
-- (From ET_AST_PROCESSOR)

require

an_instruction_not_void: an_instruction /= Void

process_strip_expression (an_expression: ET_STRIP_EXPRESSION)

-- Process an_expression.
-- (From ET_AST_PROCESSOR)

require

an_expression_not_void: an_expression /= Void

process_symbol_operator (a_symbol: ET_SYMBOL_OPERATOR)

-- Process a_symbol.
-- (From ET_AST_PROCESSOR)

require

a_symbol_not_void: a_symbol /= Void

process_tagged_indexing (an_indexing: ET_TAGGED_INDEXING)

-- Process an_indexing.
-- (From ET_AST_PROCESSOR)

require

an_indexing_not_void: an_indexing /= Void

process_tuple_type (a_type: ET_TUPLE_TYPE)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_type_comma (a_type: ET_TYPE_COMMA)

-- Process a_type.
-- (From ET_AST_PROCESSOR)

require

a_type_not_void: a_type /= Void

process_unique_attribute (a_feature: ET_UNIQUE_ATTRIBUTE)

-- Process a_feature.
-- (From ET_AST_PROCESSOR)

require

a_feature_not_void: a_feature /= Void

process_variant (a_variant: ET_VARIANT)

-- Process a_variant.
-- (From ET_AST_PROCESSOR)

require

a_variant_not_void: a_variant /= Void

process_when_part (a_when_part: ET_WHEN_PART)

-- Process a_when_part.
-- (From ET_AST_PROCESSOR)

require

a_when_part_not_void: a_when_part /= Void

process_when_part_list (a_list: ET_WHEN_PART_LIST)

-- Process a_list.
-- (From ET_AST_PROCESSOR)

require

a_list_not_void: a_list /= Void

feature -- Setting

set_ast_file (a_file: like file)

-- Set file to a_file.
-- (From ET_AST_PRINTER)

require

a_file_not_void: a_file /= Void
a_file_is_open_write: a_file.is_open_write

ensure

file_set: file = a_file

set_null_file

-- Set file to null_output_stream.
-- (From ET_AST_PRINTER)

ensure

file_set: file = null_output_stream

invariant

-- From ET_AST_PRINTER
file_not_void: file /= Void
file_is_open_write: file.is_open_write

-- From ET_AST_PROCESSOR
universe_not_void: universe /= Void

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)