The Fortress Language Specification - CiteSeerX

38.2.4 getter hashCode(): Z64
38.2.5 toString():String
The toString method returns either “LessThan” or “EqualTo” or “GreaterThan” as appropriate.
38.3 Top-level Total Comparison Values
38.3.1 LessThan: TotalComparison
38.3.2 EqualTo: TotalComparison
38.3.3 GreaterThan: TotalComparison
The immutable variables LessThan, EqualTo, and GreaterThan have as their values the three total comparison
values that respectively signify whether a left-hand comparand is less than, equal to, or greater than a right-hand
comparand. They are top-level variables declared in the Fortress standard libraries.
38.4 The Trait Fortress.Standard.Comparison
When the comparison operator CMP is applied to values belonging to a partial order, rather than a total order, it typically
returns a value of type Comparison, which includes the three values LessThan, EqualTo, and GreaterThan
of type TotalComparison and also a fourth value, Unordered.
This trait, like trait TotalComparison, supports an associative operator LEXICO that is useful for supporting lexicographic
comparison of ordered sequences; the trick is to compare the sequences elementwise and then to use the
LEXICO operator to reduce the sequence of comparison results. Note that EqualTo is the identity for LEXICO , and
all other comparison values are left zeroes for LEXICO .
value trait Comparison
extends { IdentityEqualityComparison,
AssociativeComparison,LEXICO,
HasIdentityComparison,LEXICO,
HasLeftZeroesComparison,LEXICO,isLeftZeroForLEXICO }
comprises { TotalComparison, Unordered }
opr LEXICO(self,other: Comparison): Comparison
isLeftZeroForLEXICO(self):Boolean
opr =(self,other: Comparison):Boolean
getter hashCode(): Z64
toString():String
end
Unordered: Comparison
267