/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/boolean_a.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/evaluated_type/boolean_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89347 - (show annotations)
Fri Aug 10 15:09:25 2012 UTC (7 years, 4 months ago) by jasonw
File size: 2360 byte(s)
<<Merged from trunk#89346.>>
1 note
2 description: "Actual type for boolean type."
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision $"
7
8 class BOOLEAN_A
9
10 inherit
11 BASIC_A
12 redefine
13 is_boolean, base_class, same_as,
14 default_create, process
15 end
16
17 create
18 default_create
19
20 feature {NONE} -- Initialization
21
22 default_create
23 -- Initialize new instance of BOOLEAN_A.
24 do
25 make (base_class.class_id)
26 end
27
28 feature -- Visitor
29
30 process (v: TYPE_A_VISITOR)
31 -- Process current element.
32 do
33 v.process_boolean_a (Current)
34 end
35
36 feature -- Property
37
38 is_boolean: BOOLEAN = True
39 -- Is the current type a boolean type ?
40
41 feature -- Access
42
43 same_as (other: TYPE_A): BOOLEAN
44 -- Is the current type the same as `other' ?
45 do
46 Result := same_type (other)
47 end
48
49 base_class: CLASS_C
50 -- Class BOOLEAN
51 once
52 Result := System.boolean_class.compiled_class
53 end
54
55 feature {COMPILER_EXPORTER}
56
57 c_type: BOOLEAN_I
58 -- C type
59 do
60 Result := boolean_c_type
61 end
62
63 note
64 copyright: "Copyright (c) 1984-2007, Eiffel Software"
65 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
66 licensing_options: "http://www.eiffel.com/licensing"
67 copying: "[
68 This file is part of Eiffel Software's Eiffel Development Environment.
69
70 Eiffel Software's Eiffel Development Environment is free
71 software; you can redistribute it and/or modify it under
72 the terms of the GNU General Public License as published
73 by the Free Software Foundation, version 2 of the License
74 (available at the URL listed under "license" above).
75
76 Eiffel Software's Eiffel Development Environment is
77 distributed in the hope that it will be useful, but
78 WITHOUT ANY WARRANTY; without even the implied warranty
79 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
80 See the GNU General Public License for more details.
81
82 You should have received a copy of the GNU General Public
83 License along with Eiffel Software's Eiffel Development
84 Environment; if not, write to the Free Software Foundation,
85 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
86 ]"
87 source: "[
88 Eiffel Software
89 356 Storke Road, Goleta, CA 93117 USA
90 Telephone 805-685-1006, Fax 805-685-6869
91 Website http://www.eiffel.com
92 Customer support http://support.eiffel.com
93 ]"
94
95 end -- class BOOLEAN_A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23