Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_OLE_IE_PAGE_ACTIONS General cluster: implementation_mswin description: "Emuration for OLE Internet Explorer page actions" keywords: "application, accelerator, event loop" Ancestors ANY Queries is_valid (a_integer: INTEGER_32): BOOLEAN Move_back: INTEGER_32 Move_forward: INTEGER_32 Move_to_home: INTEGER_32 Refresh: INTEGER_32 Search: INTEGER_32 Stop: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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