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

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 76125 by manus, Tue Dec 9 20:24:44 2008 UTC revision 76432 by manus, Mon Dec 29 23:41:59 2008 UTC
# Line 1  Line 1 
1  indexing  note
2          description: "Actual type for NONE."          description: "Actual type for NONE."
3          legal: "See notice at end of class."          legal: "See notice at end of class."
4          status: "See notice at end of class."          status: "See notice at end of class."
# Line 17  inherit Line 17  inherit
17    
18  feature -- Visitor  feature -- Visitor
19    
20          process (v: TYPE_A_VISITOR) is          process (v: TYPE_A_VISITOR)
21                          -- Process current element.                          -- Process current element.
22                  do                  do
23                          v.process_none_a (Current)                          v.process_none_a (Current)
# Line 25  feature -- Visitor Line 25  feature -- Visitor
25    
26  feature -- Comparison  feature -- Comparison
27    
28          is_equivalent (other: like Current): BOOLEAN is          is_equivalent (other: like Current): BOOLEAN
29                          -- Is `other' equivalent to the current object ?                          -- Is `other' equivalent to the current object ?
30                  do                  do
31                          Result := True                          Result := True
# Line 33  feature -- Comparison Line 33  feature -- Comparison
33    
34  feature -- Properties  feature -- Properties
35    
36          is_none: BOOLEAN is True          is_none: BOOLEAN = True
37                          -- Is the current type a none type ?                          -- Is the current type a none type ?
38    
39          is_full_named_type: BOOLEAN is True          is_full_named_type: BOOLEAN = True
40                          -- Current is a full named type.                          -- Current is a full named type.
41    
42  feature -- Access  feature -- Access
43    
44          hash_code: INTEGER is          hash_code: INTEGER
45                          -- Hash code for current type                          -- Hash code for current type
46                  do                  do
47                          Result := {SHARED_HASH_CODE}.none_code                          Result := {SHARED_HASH_CODE}.none_code
48                  end                  end
49    
50          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN
51                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
52                  do                  do
53                          Result := other.is_none                          Result := other.is_none
54                  end                  end
55    
56          associated_class: CLASS_C is          associated_class: CLASS_C
57                  do                  do
58                          -- No associated class                          -- No associated class
59                  end                  end
60    
61  feature -- Output  feature -- Output
62    
63          dump: STRING is "NONE"          dump: STRING = "NONE"
64                          -- Dumped trace                          -- Dumped trace
65    
66          ext_append_to (st: TEXT_FORMATTER; c: CLASS_C) is          ext_append_to (st: TEXT_FORMATTER; c: CLASS_C)
67                  do                  do
68                          st.add ({SHARED_TEXT_ITEMS}.ti_none_class)                          st.add ({SHARED_TEXT_ITEMS}.ti_none_class)
69                  end                  end
70    
71  feature -- Generic conformance  feature -- Generic conformance
72    
73          generated_id (final_mode: BOOLEAN; a_context_type: TYPE_A): NATURAL_16 is          generated_id (final_mode: BOOLEAN; a_context_type: TYPE_A): NATURAL_16
74                          -- Id of a `like xxx'.                          -- Id of a `like xxx'.
75                  do                  do
76                          Result := {SHARED_GEN_CONF_LEVEL}.none_type                          Result := {SHARED_GEN_CONF_LEVEL}.none_type
# Line 78  feature -- Generic conformance Line 78  feature -- Generic conformance
78    
79  feature -- IL code generation  feature -- IL code generation
80    
81          generate_gen_type_il (il_generator: IL_CODE_GENERATOR; use_info: BOOLEAN) is          generate_gen_type_il (il_generator: IL_CODE_GENERATOR; use_info: BOOLEAN)
82                          -- `use_info' is true iff we generate code for a                          -- `use_info' is true iff we generate code for a
83                          -- creation instruction.                          -- creation instruction.
84                  do                  do
# Line 87  feature -- IL code generation Line 87  feature -- IL code generation
87    
88  feature {COMPILER_EXPORTER}  feature {COMPILER_EXPORTER}
89    
90          create_info: CREATE_TYPE is          create_info: CREATE_TYPE
91                          -- Byte code information for entity type creation                          -- Byte code information for entity type creation
92                  do                  do
93                          create Result.make (as_attachment_mark_free)                          create Result.make (as_attachment_mark_free)
94                  end                  end
95    
96          c_type: REFERENCE_I is          c_type: REFERENCE_I
97                          -- Void C type                          -- Void C type
98                  do                  do
99                          Result := reference_c_type                          Result := reference_c_type
100                  end                  end
101    
102          conform_to (a_context_class: CLASS_C; other: TYPE_A): BOOLEAN is          conform_to (a_context_class: CLASS_C; other: TYPE_A): BOOLEAN
103                          -- Does Current conform to `other'?                          -- Does Current conform to `other'?
104                  local                  local
105                          l_type: TYPE_A                          l_type: TYPE_A
# Line 112  feature {COMPILER_EXPORTER} Line 112  feature {COMPILER_EXPORTER}
112                                  (l_type.is_formal implies l_type.is_reference)                                  (l_type.is_formal implies l_type.is_reference)
113                  end                  end
114    
115  indexing  note
116          copyright:      "Copyright (c) 1984-2008, Eiffel Software"          copyright:      "Copyright (c) 1984-2008, Eiffel Software"
117          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
118          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"

Legend:
Removed from v.76125  
changed lines
  Added in v.76432

  ViewVC Help
Powered by ViewVC 1.1.23