note description: "Objects that may be compared according to a partial order relation" remark: "[ The basic operation is < (less than); others are defined in terms of this operation and is_equal. ]" library: "Gobo Eiffel Kernel Library" copyright: "Copyright (c) 2000, Eric Bezault and others" license: "MIT License" date: "$Date: 2016-05-06 19:15:38 +0000 (Fri, 06 May 2016) $" revision: "$Revision: 98678 $" deferred class interface KL_PART_COMPARABLE feature -- Comparison is_less alias "<" (other: like Current): BOOLEAN -- Is current object less than other? require other_not_void: other /= Void is_less_equal alias "<=" (other: like Current): BOOLEAN -- Is current object less than or equal to other? require other_not_void: other /= Void ensure definition: Result = ((Current < other) or is_equal (other)) is_greater alias ">" (other: like Current): BOOLEAN -- Is current object greater than other? require other_not_void: other /= Void ensure definition: Result = (other < Current) is_greater_equal alias ">=" (other: like Current): BOOLEAN -- Is current object greater than or equal to other? require other_not_void: other /= Void ensure definition: Result = ((other < Current) or is_equal (other)) end -- class KL_PART_COMPARABLE
Generated by ISE EiffelStudio