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

kernel.spec.ise

Class DUMMY_SPECIAL



Features

Invariants

indexing

description

Class similuating ISE's class SPECIAL with features item, put and count

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/13 17:05:04 $

revision

$Revision: 1.8 $

class

DUMMY_SPECIAL [G]

invariant

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

end