stlab.adobe.com Adobe Systems Incorporated

EqualityComparable

utilities.gif
concept.gif
Category: utilities Component type: concept

Description

A type is EqualityComparable if objects of that type can be compared for equality using operator==, and if operator== is an equivalence relation.

Refinement of

Associated types

Notation

X A type that is a model of EqualityComparable
x, y, z Object of type X

Definitions

Valid expressions

Name Expression Type requirements Return type
Equality x == y   Convertible to bool
Inequality x != y   Convertible to bool

Expression semantics

Name Expression Precondition Semantics Postcondition
Equality x == y x and y are in the domain of ==    
Inequality x != y x and y are in the domain of == Equivalent to !(x == y)  

Complexity guarantees

Invariants

Identity &x == &y implies x == y
Reflexivity x == x
Symmetry x == y implies y == x
Transitivity x == y and y == z implies x == z

Models

Notes

See also

LessThanComparable.

Copyright © 2006-2007 Adobe Systems Incorporated.

Use of this website signifies your agreement to the Terms of Use and Online Privacy Policy.

Search powered by Google