Automatic generation produced by ISE Eiffel
deferred class ROUTINE [OPEN_ARGS -> detachable TUPLE create default_create end] Ancestors HASHABLE* MISMATCH_CORRECTOR REFLECTOR Descendants FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] PROCEDURE [OPEN_ARGS -> detachable TUPLE create default_create end] Clients BASE_PROCESS* EQA_EXTRACTED_TEST_SET* EQA_GENERATED_TEST_SET EQA_TEST_EVALUATOR [G -> EQA_TEST_SET create default_create end] EV_THREAD_WORKER ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] WEL_PROCESS_LAUNCHER Suppliers ANY ARRAY [G] BOOLEAN INTEGER_32 ISE_RUNTIME NATURAL_8 POINTER ROUTINE* [OPEN_ARGS -> detachable TUPLE create default_create end] TUPLE TYPE [G] -- Generated by Eiffel Studio --
For more details: eiffel.org