note date: "$Date$" revision: "$Revision$" deferred class E2B_VISITOR inherit BYTE_NODE_VISITOR SHARED_SERVER export {NONE} all end INTERNAL_COMPILER_STRING_EXPORTER export {NONE} all end feature {BYTE_NODE} -- Visitors process_access_expr_b (a_node: ACCESS_EXPR_B) -- Process `a_node'. do safe_process (a_node.expr) end process_address_b (a_node: ADDRESS_B) -- Process `a_node'. do -- No Subnode end process_argument_b (a_node: ARGUMENT_B) -- Process `a_node'. do -- No Subnode end process_array_const_b (a_node: ARRAY_CONST_B) -- Process `a_node'. do safe_process (a_node.expressions) end process_assert_b (a_node: ASSERT_B) -- Process `a_node'. do safe_process (a_node.expr) end process_assign_b (a_node: ASSIGN_B) -- Process `a_node'. do safe_process (a_node.target) safe_process (a_node.source) end process_attribute_b (a_node: ATTRIBUTE_B) -- do -- No Subnode end process_bin_and_b (a_node: BIN_AND_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_and_then_b (a_node: B_AND_THEN_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_div_b (a_node: BIN_DIV_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_eq_b (a_node: BIN_EQ_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_free_b (a_node: BIN_FREE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_ge_b (a_node: BIN_GE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_gt_b (a_node: BIN_GT_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_implies_b (a_node: B_IMPLIES_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_le_b (a_node: BIN_LE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_lt_b (a_node: BIN_LT_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_minus_b (a_node: BIN_MINUS_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_mod_b (a_node: BIN_MOD_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_ne_b (a_node: BIN_NE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_or_b (a_node: BIN_OR_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_or_else_b (a_node: B_OR_ELSE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_plus_b (a_node: BIN_PLUS_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_power_b (a_node: BIN_POWER_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_slash_b (a_node: BIN_SLASH_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_star_b (a_node: BIN_STAR_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_xor_b (a_node: BIN_XOR_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bool_const_b (a_node: BOOL_CONST_B) -- Process `a_node'. do -- No Subnode end process_byte_list (a_node: BYTE_LIST [BYTE_NODE]) -- Process `a_node'. local i: INTEGER c: INTEGER do from i := 1 c := a_node.count until i > c loop safe_process (a_node.i_th (i)) i := i + 1 end end process_case_b (a_node: CASE_B) -- Process `a_node'. do safe_process (a_node.compound) safe_process (a_node.interval) end process_case_expression_b (b: CASE_EXPRESSION_B) -- do safe_process (b.interval) safe_process (b.content) end process_char_const_b (a_node: CHAR_CONST_B) -- Process `a_node'. do -- No Subnode end process_char_val_b (a_node: CHAR_VAL_B) -- Process `a_node'. do -- No Subnode end process_check_b (a_node: CHECK_B) -- Process `a_node'. do safe_process (a_node.check_list) end process_constant_b (a_node: CONSTANT_B) -- Process `a_node'. do safe_process (a_node.access) end process_creation_expr_b (a_node: CREATION_EXPR_B) -- Process `a_node'. do safe_process (a_node.call) end process_current_b (a_node: CURRENT_B) -- Process `a_node'. do -- No subnode end process_custom_attribute_b (a_node: CUSTOM_ATTRIBUTE_B) -- Process `a_node'. do check no_cil: false end end process_debug_b (a_node: DEBUG_B) -- Process `a_node'. do safe_process (a_node.compound) end process_elsif_b (a_node: ELSIF_B) -- Process `a_node'. do safe_process (a_node.expr) end process_elsif_expression_b (a_node: ELSIF_EXPRESSION_B) -- Process `a_node'. do safe_process (a_node.condition) safe_process (a_node.expression) end process_expr_address_b (a_node: EXPR_ADDRESS_B) -- Process `a_node'. do safe_process (a_node.expr) end process_external_b (a_node: EXTERNAL_B) -- Process `a_node'. do safe_process (a_node.parameters) end process_feature_b (a_node: FEATURE_B) -- Process `a_node'. do safe_process (a_node.parameters) end process_agent_call_b (a_node: AGENT_CALL_B) do safe_process (a_node.parameters) end process_formal_conversion_b (a_node: FORMAL_CONVERSION_B) -- Process `a_node'. do safe_process (a_node.expr) end process_guard_b (a_node: GUARD_B) -- Process `a_node'. do safe_process (a_node.check_list) safe_process (a_node.compound) end process_hector_b (a_node: HECTOR_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_if_b (a_node: IF_B) -- Process `a_node'. do safe_process (a_node.condition) safe_process (a_node.compound) safe_process (a_node.elsif_list) safe_process (a_node.else_part) end process_if_expression_b (a_node: IF_EXPRESSION_B) -- Process `a_node'. do safe_process (a_node.condition) safe_process (a_node.then_expression) safe_process (a_node.elsif_list) safe_process (a_node.else_expression) end process_inspect_b (a_node: INSPECT_B) -- Process `a_node'. do safe_process (a_node.switch) safe_process (a_node.case_list) safe_process (a_node.else_part) end process_inspect_expression_b (b: INSPECT_EXPRESSION_B) -- do safe_process (b.switch) safe_process (b.case_list) safe_process (b.else_part) end process_instr_call_b (a_node: INSTR_CALL_B) -- Process `a_node'. do safe_process (a_node.call) end process_instr_list_b (a_node: INSTR_LIST_B) -- Process `a_node'. do safe_process (a_node.compound) end process_int64_val_b (a_node: INT64_VAL_B) -- Process `a_node'. do -- No Subnode end process_int_val_b (a_node: INT_VAL_B) -- Process `a_node'. do -- No Subnode end process_integer_constant (a_node: INTEGER_CONSTANT) -- Process `a_node'. do -- No Subnode end process_inv_assert_b (a_node: INV_ASSERT_B) -- Process `a_node'. do safe_process (a_node.expr) end process_invariant_b (a_node: INVARIANT_B) -- Process `a_node'. do safe_process (a_node.byte_list) end process_local_b (a_node: LOCAL_B) -- Process `a_node'. do -- No Subnode end process_loop_b (a_node: LOOP_B) -- Process `a_node'. do safe_process (a_node.from_part) safe_process (a_node.stop) safe_process (a_node.invariant_part) safe_process (a_node.variant_part) safe_process (a_node.compound) end process_loop_expr_b (a_node: LOOP_EXPR_B) -- Process `a_node'. do a_node.iteration_code.process (Current) safe_process (a_node.invariant_code) safe_process (a_node.variant_code) a_node.iteration_exit_condition_code.process (Current) safe_process (a_node.exit_condition_code) a_node.expression_code.process (Current) a_node.advance_code.process (Current) end process_nat64_val_b (a_node: NAT64_VAL_B) -- Process `a_node'. do -- No Subnode end process_nat_val_b (a_node: NAT_VAL_B) -- Process `a_node'. do -- No Subnode end process_nested_b (a_node: NESTED_B) -- Process `a_node'. do safe_process (a_node.target) safe_process (a_node.message) end process_once_string_b (a_node: ONCE_STRING_B) -- Process `a_node'. do -- No Subnode end process_operand_b (a_node: OPERAND_B) -- Process `a_node'. do -- No Subnode end process_parameter_b (a_node: PARAMETER_B) -- Process `a_node'. do safe_process (a_node.expression) end process_paran_b (a_node: PARAN_B) -- Process `a_node'. do safe_process (a_node.expr) end process_real_const_b (a_node: REAL_CONST_B) -- Process `a_node'. do -- No Subnode end process_require_b (a_node: REQUIRE_B) -- Process `a_node'. do safe_process (a_node.expr) end process_result_b (a_node: RESULT_B) -- Process `a_node'. do -- No Subnode end process_retry_b (a_node: RETRY_B) -- Process `a_node'. do -- No Subnode end process_reverse_b (a_node: REVERSE_B) -- Process `a_node'. do safe_process (a_node.target) safe_process (a_node.source) end process_routine_creation_b (a_node: ROUTINE_CREATION_B) -- Process `a_node'. do safe_process (a_node.arguments) end process_separate_b (a_node: SEPARATE_INSTRUCTION_B) -- Process `a_node'. do check not_implemented: False end end process_null_conversion_b (a_node: NULL_CONVERSION_B) -- Process `a_node'. do check not_implemented: False end end process_string_b (a_node: STRING_B) -- Process `a_node'. do -- No Subnode end process_strip_b (a_node: STRIP_B) -- Process `a_node'. do -- No Subnode end process_tuple_access_b (a_node: TUPLE_ACCESS_B) -- Process `a_node'. do safe_process (a_node.source) end process_tuple_const_b (a_node: TUPLE_CONST_B) -- Process `a_node'. do safe_process (a_node.expressions) end process_type_expr_b (a_node: TYPE_EXPR_B) -- Process `a_node'. do -- No subnode end process_typed_interval_b (a_node: TYPED_INTERVAL_B [INTERVAL_VAL_B]) -- Process `a_node'. do safe_process (a_node.lower) safe_process (a_node.upper) end process_un_free_b (a_node: UN_FREE_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_un_minus_b (a_node: UN_MINUS_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_un_not_b (a_node: UN_NOT_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_un_old_b (a_node: UN_OLD_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_un_plus_b (a_node: UN_PLUS_B) -- Process `a_node'. do safe_process (a_node.access) safe_process (a_node.expr) end process_variant_b (a_node: VARIANT_B) -- Process `a_node'. do safe_process (a_node.expr) end process_void_b (a_node: VOID_B) -- Process `a_node'. do -- No subnode end process_object_test_b (a_node: OBJECT_TEST_B) -- Process `a_node'. do safe_process (a_node.target) safe_process (a_node.expression) end process_object_test_local_b (a_node: OBJECT_TEST_LOCAL_B) -- Process `a_node'. do -- No subnode end process_bin_tilde_b (a_node: BIN_TILDE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_bin_not_tilde_b (a_node: BIN_NOT_TILDE_B) -- Process `a_node'. do safe_process (a_node.left) safe_process (a_node.right) end process_std_byte_code (a_node: STD_BYTE_CODE) -- Process `a_node'. do safe_process (a_node.compound) end process_hidden_b (a_node: HIDDEN_B) -- Process `a_node' do -- Empty implementation to make current compile during EVE merge. 24.8.2010 Jasonw end process_hidden_if_b (a_node: HIDDEN_IF_B) -- Process `a_node'. do process_if_b (a_node) end process_do_rescue_b (a_node: DO_RESCUE_B) -- Process `a_node' do -- Empty implementation to make current compile during EVE merge. 12.11.2010 Julian end process_try_b (a_node: TRY_B) -- Process `a_node' do -- Empty implementation to make current compile during EVE merge. 12.11.2010 Julian end end