EDoc API
Overview Cluster Class Classes Index          Top Features

edoc.utility

Class FEATURE_CLAUSE_COMPARATOR


Direct ancestors

KL_PART_COMPARATOR, KL_IMPORTED_STRING_ROUTINES

Features

Invariants

indexing

description

Compare feature clauses according to order defined by the options

copyright

Copyright (c) 2005, Julian Tschannen

license

Eiffel Forum License v2 (see forum.txt)

class FEATURE_CLAUSE_COMPARATOR

inherit

KL_PART_COMPARATOR [PAIR[ET_FEATURE_CLAUSE, PAIR[INTEGER, STRING]]]

feature -- Status report

less_than (u, v: PAIR[ET_FEATURE_CLAUSE, PAIR[INTEGER, STRING]]): BOOLEAN

-- Is u considered less than v?
-- (From KL_PART_COMPARATOR)

require

u_not_void: u /= Void
v_not_void: v /= Void

ensure

asymmetric: Result implies not less_than (v, u)

greater_than (u, v: PAIR[ET_FEATURE_CLAUSE, PAIR[INTEGER, STRING]]): BOOLEAN

-- Is u considered greater than v?
-- (From KL_PART_COMPARATOR)

require

u_not_void: u /= Void
v_not_void: v /= Void

ensure

definition: Result = less_than (v, u)

invariant


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