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

kernel.support

Class KL_EQUALITY_TESTER


Known direct descendants

UC_STRING_EQUALITY_TESTER, KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER, KL_STRING_EQUALITY_TESTER, DS_EQUALITY_TESTER, ET_ALIAS_NAME_TESTER, ET_CLASS_NAME_TESTER, ET_FEATURE_NAME_TESTER, UT_MEDIA_TYPE_EQUALITY_TESTER, UT_URI_EQUALITY_TESTER, XM_XPATH_64BIT_TESTER, XM_XPATH_ATOMIC_VALUE_TESTER, XM_XPATH_EXPRESSION_TESTER, XM_XPATH_COMPARISON_KEY_TESTER

Features

Invariants

indexing

description

Equality testers

library

Gobo Eiffel Kernel Library

copyright

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

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/04/03 12:08:01 $

revision

$Revision: 1.4 $

class

KL_EQUALITY_TESTER [G]

feature -- Status report

test (v, u: G): BOOLEAN

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

invariant

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

end