/[eiffelstudio]/FreeELKS/trunk/library/kernel/part_comparable.e
ViewVC logotype

Contents of /FreeELKS/trunk/library/kernel/part_comparable.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91424 - (show annotations)
Tue Oct 26 18:39:32 2004 UTC (15 years, 3 months ago) by manus_eiffel
File size: 1924 byte(s)
Initial revision

1 indexing
2
3 description:
4 "Objects that may be compared according to a partial order relation"
5
6 status: "See notice at end of class"
7 names: part_comparable, comparison;
8 date: "$Date$"
9 revision: "$Revision$"
10
11 deferred class
12 PART_COMPARABLE
13
14 feature -- Comparison
15
16 infix "<" (other: like Current): BOOLEAN is
17 -- Is current object less than `other'?
18 require
19 other_exists: other /= Void
20 deferred
21 end
22
23 infix "<=" (other: like Current): BOOLEAN is
24 -- Is current object less than or equal to `other'?
25 require
26 other_exists: other /= Void
27 do
28 Result := (Current < other) or is_equal (other)
29 end
30
31 infix ">" (other: like Current): BOOLEAN is
32 -- Is current object greater than `other'?
33 require
34 other_exists: other /= Void
35 do
36 Result := other < Current
37 end
38
39 infix ">=" (other: like Current): BOOLEAN is
40 -- Is current object greater than or equal to `other'?
41 require
42 other_exists: other /= Void
43 do
44 Result := (other < Current) or is_equal (other)
45 end
46
47 indexing
48
49 library: "[
50 EiffelBase: Library of reusable components for Eiffel.
51 ]"
52
53 status: "[
54 Copyright 1986-2001 Interactive Software Engineering (ISE).
55 For ISE customers the original versions are an ISE product
56 covered by the ISE Eiffel license and support agreements.
57 ]"
58
59 license: "[
60 EiffelBase may now be used by anyone as FREE SOFTWARE to
61 develop any product, public-domain or commercial, without
62 payment to ISE, under the terms of the ISE Free Eiffel Library
63 License (IFELL) at http://eiffel.com/products/base/license.html.
64 ]"
65
66 source: "[
67 Interactive Software Engineering Inc.
68 ISE Building
69 360 Storke Road, Goleta, CA 93117 USA
70 Telephone 805-685-1006, Fax 805-685-6869
71 Electronic mail <info@eiffel.com>
72 Customer support http://support.eiffel.com
73 ]"
74
75 info: "[
76 For latest info see award-winning pages: http://eiffel.com
77 ]"
78
79 end -- class PART_COMPARABLE
80
81
82

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23