indexing
description: "Component that has to be activated."
date: "$Date$"
revision: "$Revision$"
deferred class interface
DV_COMPONENT
feature
activate
require
can_be_activated: can_be_activated
ensure
is_activated: is_activated
feature
can_be_activated: BOOLEAN
is_activated: BOOLEAN
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
indexing
library: "[
EiffelStore: library of reusable components for ISE Eiffel.
]"
status: "[
Copyright (C) 1986-2001 Interactive Software Engineering Inc.
All rights reserved. Duplication and distribution prohibited.
May be used only with ISE Eiffel, under terms of user license.
Contact ISE for any other use.
]"
source: "[
Interactive Software Engineering Inc.
ISE Building
360 Storke Road, Goleta, CA 93117 USA
Telephone 805-685-1006, Fax 805-685-6869
Electronic mail <info@eiffel.com>
Customer support http://support.eiffel.com
]"
info: "[
For latest info see award-winning pages: http://eiffel.com
]"
end -- DV_COMPONENT