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

kernel.unicode

Class UC_EQUALITY_TESTER


Direct ancestors

UC_STRING_EQUALITY_TESTER

Features

Invariants

indexing

description

Equality testers between strings that can be polymorphically unicode strings

library

Gobo Eiffel Kernel Library

copyright

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

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/03/16 17:02:02 $

revision

$Revision: 1.6 $

class

UC_EQUALITY_TESTER

obsolete

[040315] Use UC_STRING_EQUALITY_TESTER instead.

inherit

UC_STRING_EQUALITY_TESTER

feature -- Access

string_: KL_STRING_ROUTINES

-- Routines that ought to be in class STRING

-- (From KL_IMPORTED_STRING_ROUTINES)

ensure
string_routines_not_void: Result /= Void

feature -- Status report

test (v, u: STRING): BOOLEAN

-- Are v and u considered equal?
-- They are considered equal if they have the same number of
-- characters and these characters (possibly unicode characters)
-- have codes which are one by one equal.

-- (From KL_EQUALITY_TESTER)

invariant


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

end