Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_PIPE General cluster: wel description: "Windows pipe, used in WEL_PROCESS_LAUNCHER" create: make, make_named, make_client Ancestors EXCEPTIONS STRING_HANDLER Queries assertion_violation: BOOLEAN Check_instruction: INTEGER_32 Class_invariant: INTEGER_32 class_name: detachable STRING_8 Com_exception: INTEGER_32 Create_on_deferred: INTEGER_32 Developer_exception: INTEGER_32 developer_exception_name: detachable STRING_8 Dollar_applied_to_melted_feature: INTEGER_32 Duplex: INTEGER_32 Eiffel_runtime_fatal_error: INTEGER_32 Eiffel_runtime_panic: INTEGER_32 exception: INTEGER_32 Exception_in_signal_handler: INTEGER_32 Exception_manager: EXCEPTION_MANAGER exception_trace: detachable STRING_8 exists: BOOLEAN External_exception: INTEGER_32 Floating_point_exception: INTEGER_32 Inbound: INTEGER_32 Incorrect_inspect_value: INTEGER_32 input_closed: BOOLEAN input_handle: POINTER Io_exception: INTEGER_32 is_developer_exception: BOOLEAN is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN last_read_bytes: INTEGER_32 last_read_successful: BOOLEAN last_string: detachable STRING_8 last_write_successful: BOOLEAN last_written_bytes: INTEGER_32 Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 meaning (except: INTEGER_32): detachable STRING_8 No_more_memory: INTEGER_32 Number_of_codes: INTEGER_32 Old_exception: INTEGER_32 Operating_system_exception: INTEGER_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 Outbound: INTEGER_32 output_closed: BOOLEAN output_handle: POINTER Postcondition: INTEGER_32 Precondition: INTEGER_32 recipient_name: detachable STRING_8 Rescue_exception: INTEGER_32 Resumption_failed: INTEGER_32 Retrieve_exception: INTEGER_32 Routine_failure: INTEGER_32 Runtime_check_exception: INTEGER_32 Runtime_io_exception: INTEGER_32 Serialization_exception: INTEGER_32 Signal_exception: INTEGER_32 tag_name: detachable STRING_8 valid_code (c: INTEGER_32): BOOLEAN Void_assigned_to_expanded: INTEGER_32 Void_call_target: INTEGER_32 Commands catch (code: INTEGER_32) close close_input close_output die (code: INTEGER_32) ignore (code: INTEGER_32) message_on_failure no_message_on_failure put_string (a_string: STRING_8) raise (name: detachable READABLE_STRING_GENERAL) raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) read_stream (count: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org