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

kernel.basic

Class KL_STRING_EQUALITY_TESTER


Direct ancestors

KL_EQUALITY_TESTER

Features

Invariants

indexing

description

Equality testers between strings that can be polymorphically unicode strings

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/04/15 13:47:47 $

revision

$Revision: 1.2 $

class

KL_STRING_EQUALITY_TESTER

inherit

KL_EQUALITY_TESTER

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,
-- although not optimized in that case) 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