/[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 94740 by jasonw, Fri Mar 28 09:42:08 2014 UTC revision 94983 by jasonw, Fri May 2 11:05:28 2014 UTC
# Line 107  feature {TYPE_A} -- Helpers Line 107  feature {TYPE_A} -- Helpers
107    
108          internal_conform_to (a_context_class: CLASS_C; other: TYPE_A; a_in_generic: BOOLEAN): BOOLEAN          internal_conform_to (a_context_class: CLASS_C; other: TYPE_A; a_in_generic: BOOLEAN): BOOLEAN
109                          -- <Precursor>                          -- <Precursor>
110                    local
111                            l_other_attachable_type: TYPE_A
112                  do                  do
113                                  -- Apply the same conformance rules as for a class type.                                  -- Apply the same conformance rules as for a class type.
114                            l_other_attachable_type := other.conformance_type
115                          if                          if
116                                  attached {ANNOTATED_TYPE_A} other.conformance_type as other_attachable_type and then                                  not l_other_attachable_type.is_void and then
117                                  (not other_attachable_type.is_expanded and then                                  (not l_other_attachable_type.is_expanded and then
118                                  (other_attachable_type.is_formal implies other_attachable_type.is_reference) or else                                  (l_other_attachable_type.is_formal implies l_other_attachable_type.is_reference) or else
119                                  is_attached)                                  is_attached)
120                          then                          then
121                                  Result := True                                  Result := True
122                                  if a_context_class.lace_class.is_void_safe_conformance then                                  if a_context_class.lace_class.is_void_safe_conformance then
123                                          Result :=                                          Result :=
124                                                  is_attachable_to (other_attachable_type) and then                                                  is_attachable_to (l_other_attachable_type) and then
125                                                  (other_attachable_type.is_formal implies                                                  (l_other_attachable_type.is_formal implies
126                                                          (other_attachable_type.has_detachable_mark or else is_implicitly_attached))                                                          (l_other_attachable_type.has_detachable_mark or else is_implicitly_attached))
127                                  end                                  end
128                                  if Result then                                  if Result then
129                                          Result := is_processor_attachable_to (other)                                          Result := is_processor_attachable_to (other)

Legend:
Removed from v.94740  
changed lines
  Added in v.94983

  ViewVC Help
Powered by ViewVC 1.1.23