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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (show annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years ago) by ericb
File size: 1489 byte(s)
Synchronized with ISE 6.0.65740
1 indexing
2 description: "Truth values, with the boolean operations"
3 external_name: "System.Boolean"
4 assembly: "mscorlib"
5 library: "Free implementation of ELKS library"
6 copyright: "Copyright (c) 1986-2004, Eiffel Software and others"
7 license: "Eiffel Forum License v2 (see forum.txt)"
8 date: "$Date$"
9 revision: "$Revision$"
10
11 frozen expanded class BOOLEAN
12
13 inherit
14 BOOLEAN_REF
15 redefine
16 infix "and",
17 infix "and then",
18 infix "or",
19 infix "or else",
20 infix "xor",
21 infix "implies",
22 prefix "not"
23 end
24
25 create
26 default_create,
27 make_from_reference
28
29 convert
30 make_from_reference ({BOOLEAN_REF})
31
32 feature -- Basic operations
33
34 infix "and" (other: like Current): BOOLEAN is
35 -- Boolean conjunction with `other'
36 external
37 "built_in"
38 end
39
40 infix "and then" (other: like Current): BOOLEAN is
41 -- Boolean semi-strict conjunction with `other'
42 external
43 "built_in"
44 end
45
46 infix "implies" (other: like Current): BOOLEAN is
47 -- Boolean implication of `other'
48 -- (semi-strict)
49 external
50 "built_in"
51 end
52
53 prefix "not": like Current is
54 -- Negation
55 external
56 "built_in"
57 end
58
59 infix "or" (other: like Current): BOOLEAN is
60 -- Boolean disjunction with `other'
61 external
62 "built_in"
63 end
64
65 infix "or else" (other: like Current): BOOLEAN is
66 -- Boolean semi-strict disjunction with `other'
67 external
68 "built_in"
69 end
70
71 infix "xor" (other: like Current): BOOLEAN is
72 -- Boolean exclusive or with `other'
73 external
74 "built_in"
75 end
76
77 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23