Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.spec.ise

Class KL_CLONABLE


Direct ancestors

KL_IMPORTED_ANY_ROUTINES

Known direct descendants

KI_PATHNAME, LX_AUTOMATON, LX_STATE, LX_TRANSITION_TABLE, LX_TRANSITION, MA_DECIMAL_CONTEXT, DS_CONTAINER, DT_ABSOLUTE_TIME, DT_DURATION, ET_FEATURE_IDS, ET_XACE_MOUNTED_LIBRARY, XM_NODE, XM_XPATH_TYPE, XM_XPATH_CONTEXT, XM_XSLT_OUTPUT_PROPERTIES

Features

Invariants

indexing

description

Clonable objects

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2005, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/04 19:10:27 $

revision

$Revision: 1.1 $

class

KL_CLONABLE

feature -- Duplication

cloned_object: like Current

-- Clone of current object

ensure
cloned_not_void: Result /= Void
same_type: ANY_.same_types (Result, Current)
is_equal: Result.is_equal (Current)

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end