/[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 88881 by jasonw, Fri Jun 15 12:21:45 2012 UTC revision 89347 by jasonw, Fri Aug 10 15:09:25 2012 UTC
# Line 9  class Line 9  class
9          NONE_A          NONE_A
10    
11  inherit  inherit
12          ATTACHABLE_TYPE_A          DEANCHORED_TYPE_A
13                  redefine                  redefine
14                          is_none, dump, c_type, same_as, is_full_named_type, generated_id,                          is_none, dump, c_type, same_as, is_full_named_type, generated_id,
15                          generate_gen_type_il                          generate_gen_type_il
# Line 55  feature -- Access Line 55  feature -- Access
55                          end                          end
56                  end                  end
57    
58          associated_class: CLASS_C          base_class: CLASS_C
59                  do                  do
60                          -- No associated class                          -- No associated class
61                  end                  end
# Line 117  feature {COMPILER_EXPORTER} Line 117  feature {COMPILER_EXPORTER}
117                  do                  do
118                                  -- Apply the same conformance rules as for a class type.                                  -- Apply the same conformance rules as for a class type.
119                          if                          if
120                                  attached {ATTACHABLE_TYPE_A} other.conformance_type as other_attachable_type and then                                  attached {ANNOTATED_TYPE_A} other.conformance_type as other_attachable_type and then
121                                  not other_attachable_type.is_expanded and then                                  not other_attachable_type.is_expanded and then
122                                  (other_attachable_type.is_formal implies other_attachable_type.is_reference)                                  (other_attachable_type.is_formal implies other_attachable_type.is_reference)
123                          then                          then

Legend:
Removed from v.88881  
changed lines
  Added in v.89347

  ViewVC Help
Powered by ViewVC 1.1.23