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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 91477 - (hide annotations)
Sun Jan 14 09:47:13 2007 UTC (13 years, 1 month ago) by ericb
File size: 1489 byte(s)
Synchronized with ISE 6.0.65740
1 manus_eiffel 91424 indexing
2 manus_eiffel 91434 description: "Truth values, with the boolean operations"
3 ericb 91477 external_name: "System.Boolean"
4     assembly: "mscorlib"
5 manus_eiffel 91434 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 manus_eiffel 91424 date: "$Date$"
9     revision: "$Revision$"
10    
11 ericb 91445 frozen expanded class BOOLEAN
12 manus_eiffel 91424
13     inherit
14     BOOLEAN_REF
15 ericb 91445 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 manus_eiffel 91424
25     create
26     default_create,
27     make_from_reference
28    
29     convert
30 ericb 91477 make_from_reference ({BOOLEAN_REF})
31 manus_eiffel 91424
32 ericb 91445 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 manus_eiffel 91438 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23