/[eiffelstudio]/trunk/Src/bench/Eiffel/API/evaluated_type/boolean_a.e
ViewVC logotype

Contents of /trunk/Src/bench/Eiffel/API/evaluated_type/boolean_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3180 - (show annotations)
Tue Nov 21 16:40:14 1995 UTC (24 years, 3 months ago) by dinov
File size: 1276 byte(s)
different output routines
reorganization in feature clauses

1 -- Actual type for boolean type
2
3 class BOOLEAN_A
4
5 inherit
6
7 BASIC_A
8 rename
9 internal_conform_to as old_conform_to
10 redefine
11 is_boolean, type_i, associated_class, same_as,
12 associated_eclass
13 end;
14 BASIC_A
15 redefine
16 is_boolean, type_i, associated_class, same_as,
17 internal_conform_to, associated_eclass
18 select
19 internal_conform_to
20 end
21
22 feature -- Property
23
24 is_boolean: BOOLEAN is
25 -- Is the current type a boolean type ?
26 do
27 Result := True;
28 end;
29
30 feature -- Access
31
32 same_as (other: TYPE_A): BOOLEAN is
33 -- Is the current type the same as `other' ?
34 do
35 Result := other.is_boolean;
36 end;
37
38 associated_eclass: E_CLASS is
39 -- Associated eiffel class
40 once
41 Result := Eiffel_system.boolean_class.compiled_eclass;
42 end;
43
44 feature {COMPILER_EXPORTER}
45
46 internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
47 -- Does `other' conform to Current ?
48 do
49 if in_generics then
50 Result := other.is_boolean;
51 else
52 Result := old_conform_to (other, False);
53 end;
54 end;
55
56 type_i: BOOLEAN_I is
57 -- C type
58 once
59 Result := Boolean_c_type;
60 end;
61
62 associated_class: CLASS_C is
63 -- Class BOOLEAN
64 require else
65 System.boolean_class.compiled;
66 once
67 Result := System.boolean_class.compiled_class;
68 end;
69
70 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23