note description: "[ Objects providing byte code support for testing facilities. ]" author: "" date: "$Date: 2013-05-20 23:15:17 +0000 (Mon, 20 May 2013) $" revision: "$Revision: 92557 $" class EQA_EXTERNALS create default_create feature {NONE} -- Basic operations frozen invoke_routine (a_test_set: EQA_TEST_SET; a_body_id: INTEGER_32) -- Call arbitrary routine on given test set. -- -- Note: this routine can raise an exception. require a_test_set_attached: a_test_set /= Void a_body_id_not_negative: a_body_id >= 0 external "built_in static" end frozen override_byte_code_of_body (a_body_id: INTEGER_32; a_pattern_id: INTEGER_32; a_byte_code: POINTER; a_length: INTEGER_32) -- Store a_byte_code of a_length byte long for feature with a_body_id. require a_body_id_not_negative: a_body_id >= 0 a_byte_code_attached: a_byte_code /= default_pointer a_length_positive: a_length > 0 external "built_in static" end note copyright: "Copyright (c) 1984-2010, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class EQA_EXTERNALS
Generated by ISE EiffelStudio