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

kernel.basic

Class KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER


Direct ancestors

KL_EQUALITY_TESTER, KL_IMPORTED_STRING_ROUTINES

Features

Invariants

indexing

description

Case-insensitive string equality testers

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2003, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

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

revision

$Revision: 1.2 $

class

KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER

inherit

KL_EQUALITY_TESTER
KL_IMPORTED_STRING_ROUTINES

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 (s1, s2: STRING): BOOLEAN

-- Are s1 and s2 considered equal?
-- Use case-insensitive comparison.

-- (From KL_EQUALITY_TESTER)

invariant


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

end