Automatic generation produced by ISE Eiffel
deferred class PARAMETER_HDL General cluster: support Ancestors STRING_HDL* Queries is_executed: BOOLEAN is_mapped (key: READABLE_STRING_GENERAL): BOOLEAN is_prepared: BOOLEAN mapped_value (key: READABLE_STRING_GENERAL): detachable ANY Commands clear_all set_executed (b: BOOLEAN) set_map_name (n: detachable ANY; key: READABLE_STRING_GENERAL) set_prepared (b: BOOLEAN) unset_map_name (key: READABLE_STRING_GENERAL) -- Generated by Eiffel Studio --
For more details: eiffel.org