INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "Platform-independent universal properties "
title: "EiffelBase: library of reusable components for Eiffel. ", "Based on EiffelBase library for ISE Eiffel, ", "used with permission. "
project: "EiffelBase Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: eiffelbase
class ISE_GENERAL
feature -- Status report

consistent (other: like Current): BOOLEAN
-- Is current object in a consistent state so that `other'
-- may be copied onto it? (Default answer: yes).
feature -- Comparison

setup (other: like Current)
-- Assuming current object has just been created, perform
-- actions necessary to ensure that contents of `other'
-- can be safely copied onto it.
ensure
consistent (other)
feature -- Basic operations

die (code: INTEGER)
obsolete "Use ``new_die'' from ``EXCEPTIONS''"
-- Terminate execution with exit status `code',
-- without triggering an exception.
end -- class ISE_GENERAL

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES