Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_EXECUTION_VERB General cluster: ribbon description: "Summary description for {EV_EXECUTION_VERB}." Ancestors ANY Queries Cancel_preview: INTEGER_32 Execute: INTEGER_32 is_valid (a_int: INTEGER_32): BOOLEAN Preview: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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