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

structure.support

Class DS_EQUALITY_TESTER


Direct ancestors

KL_EQUALITY_TESTER

Features

Invariants

indexing

description

Equality testers

library

Gobo Eiffel Structure Library

copyright

Copyright (c) 1999-2000, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2003/02/07 12:59:59 $

revision

$Revision: 1.6 $

class

DS_EQUALITY_TESTER [G]

obsolete

[020707] Use KL_EQUALITY_TESTER instead.

inherit

KL_EQUALITY_TESTER

feature -- Status report

test (v, u: G): BOOLEAN

-- Are v and u considered equal?
-- (Use equal by default.)

-- (From KL_EQUALITY_TESTER)

invariant


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

end