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

kernel.basic

Class KL_SHARED_STRING_EQUALITY_TESTER


Known direct descendants

TS_VARIABLES, ET_EIFFEL_SCANNER_SKELETON, XM_DTD_XMLID_VALIDATOR, XM_XMLID_VALIDATOR

Features

Invariants

indexing

description

Shared 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: 2004/08/30 22:32:07 $

revision

$Revision: 1.2 $

class

KL_SHARED_STRING_EQUALITY_TESTER

feature -- Access

case_insensitive_string_equality_tester: KL_CASE_INSENSITIVE_STRING_EQUALITY_TESTER

-- Case-insensitive string equality tester

ensure
case_insensitive_string_equality_tester_not_void: Result /= Void
string_equality_tester: KL_STRING_EQUALITY_TESTER

-- String equality tester

ensure
string_equality_tester_not_void: Result /= Void

invariant

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

end