Automatic generation produced by ISE Eiffel
class ITP_INTERPRETER General cluster: etf description: "Interpreter for line based Eiffel like interpreter language. Depends on a generated Erl-G reflection library." create: execute Ancestors ANY ARGUMENTS_32 EQA_EXTERNALS ERL_CONSTANTS EXCEPTIONS EXECUTION_ENVIRONMENT ITP_SHARED_CONSTANTS SED_STORABLE_FACILITIES Queries argument (i: INTEGER_32): IMMUTABLE_STRING_32 argument_array: ARRAY [IMMUTABLE_STRING_32] argument_count: INTEGER_32 Arguments: ARGUMENTS_32 assertion_violation: BOOLEAN available_cpu_count: NATURAL_32 Check_instruction: INTEGER_32 Class_invariant: INTEGER_32 class_name: detachable STRING_8 coalesced_character_option_value (o: CHARACTER_32): detachable IMMUTABLE_STRING_32 coalesced_word_option_value (opt: READABLE_STRING_GENERAL): detachable IMMUTABLE_STRING_32 Com_exception: INTEGER_32 Command_line: IMMUTABLE_STRING_32 Command_name: IMMUTABLE_STRING_32 Create_on_deferred: INTEGER_32 current_working_path: PATH Default_shell: STRING_32 Developer_exception: INTEGER_32 developer_exception_name: detachable STRING_8 Dollar_applied_to_melted_feature: INTEGER_32 Eiffel_basic_store: NATURAL_32 Eiffel_independent_store: NATURAL_32 Eiffel_recoverable_store: NATURAL_32 Eiffel_runtime_fatal_error: INTEGER_32 Eiffel_runtime_panic: INTEGER_32 Eiffel_session_store: NATURAL_32 exception: INTEGER_32 Exception_in_signal_handler: INTEGER_32 Exception_manager: EXCEPTION_MANAGER exception_trace: detachable STRING_8 Execute_request_flag: NATURAL_8 External_exception: INTEGER_32 Floating_point_exception: INTEGER_32 has_error: BOOLEAN Home_directory_path: detachable PATH Incorrect_inspect_value: INTEGER_32 index_of_beginning_with_word_option (opt: READABLE_STRING_GENERAL): INTEGER_32 index_of_character_option (o: CHARACTER_32): INTEGER_32 index_of_word_option (opt: READABLE_STRING_GENERAL): INTEGER_32 Internal_error_respones_flag: NATURAL_8 Invariant_violation_on_entry_response_flag: NATURAL_8 Io_exception: INTEGER_32 is_developer_exception: BOOLEAN is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN is_last_protected_execution_successfull: BOOLEAN is_request_type_valid (a_type: NATURAL_32): BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN item (s: READABLE_STRING_GENERAL): detachable STRING_32 Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 meaning (except: INTEGER_32): detachable STRING_8 new_cursor: ITERATION_CURSOR [IMMUTABLE_STRING_32] No_more_memory: INTEGER_32 None_type_name: STRING_8 Normal_response_flag: NATURAL_8 Number_of_codes: INTEGER_32 Old_exception: INTEGER_32 Operating_system_exception: INTEGER_32 Option_sign: CELL [CHARACTER_32] original_class_name: detachable STRING_8 original_exception: INTEGER_32 original_recipient_name: detachable STRING_8 original_tag_name: detachable STRING_8 Out_of_memory: INTEGER_32 Postcondition: INTEGER_32 Precondition: INTEGER_32 Quit_request_flag: NATURAL_8 recipient_name: detachable STRING_8 Rescue_exception: INTEGER_32 Resumption_failed: INTEGER_32 Retrieve_exception: INTEGER_32 retrieved (a_reader: SED_READER_WRITER; a_is_gc_enabled: BOOLEAN): detachable ANY retrieved_errors: detachable ARRAYED_LIST [SED_ERROR] retrieved_from_medium (a_medium: IO_MEDIUM): detachable ANY return_code: INTEGER_32 Root_directory_name: STRING_8 Routine_failure: INTEGER_32 Runtime_check_exception: INTEGER_32 Runtime_io_exception: INTEGER_32 separate_character_option_value (o: CHARACTER_32): detachable IMMUTABLE_STRING_32 separate_word_option_value (opt: READABLE_STRING_GENERAL): detachable IMMUTABLE_STRING_32 Serialization_exception: INTEGER_32 should_quit: BOOLEAN Signal_exception: INTEGER_32 Start_request_flag: NATURAL_8 starting_environment: HASH_TABLE [STRING_32, STRING_32] tag_name: detachable STRING_8 Temporary_directory_path: detachable PATH Type_request_flag: NATURAL_8 User_directory_path: detachable PATH valid_code (c: INTEGER_32): BOOLEAN Void_assigned_to_expanded: INTEGER_32 Void_call_target: INTEGER_32 Commands basic_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) catch (code: INTEGER_32) change_working_path (path: PATH) die (code: INTEGER_32) ignore (code: INTEGER_32) launch (s: READABLE_STRING_GENERAL) message_on_failure no_message_on_failure put (value, key: READABLE_STRING_GENERAL) raise (name: detachable READABLE_STRING_GENERAL) raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) session_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) set_option_sign (c: CHARACTER_32) sleep (nanoseconds: INTEGER_64) store (an_object: ANY; a_writer: SED_READER_WRITER) store_in_medium (an_object: ANY; a_medium: IO_MEDIUM) system (s: READABLE_STRING_GENERAL) Constraints log file open write store not void output buffer attached error buffer attached socket attached -- Generated by Eiffel Studio --
For more details: eiffel.org