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

kernel.spec.ise

Class DUMMY_DEBUG_OUTPUT



Features

Invariants

indexing

description

Class similuating ISE's class DEBUG_OUTPUT

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/08/01 18:45:50 $

revision

$Revision: 1.1 $

class

DUMMY_DEBUG_OUTPUT

invariant

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

end