Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class PROXY_COMPARABLE [G] General cluster: ise description: "Holder for non-comparable objects used for pseudo-comparison with others via the use of a custom comparator." create: make Ancestors COMPARABLE* Queries is_equal (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN is_greater alias ">" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN is_less alias "<" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN item: G less_than_comparator: PREDICATE [[like item] G, [like item] G] max alias "" (other: [like Current] PROXY_COMPARABLE [G]): [like Current] PROXY_COMPARABLE [G] min alias "" (other: [like Current] PROXY_COMPARABLE [G]): [like Current] PROXY_COMPARABLE [G] three_way_comparison alias "" (other: [like Current] PROXY_COMPARABLE [G]): INTEGER_32 Commands make (a_item: [like item] G; a_less_than_comparator: PREDICATE [[like item] G, [like item] G])
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org