/[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 92723 by jasonw, Fri Jun 21 07:47:04 2013 UTC revision 94740 by jasonw, Fri Mar 28 09:42:08 2014 UTC
# Line 111  feature {TYPE_A} -- Helpers Line 111  feature {TYPE_A} -- Helpers
111                                  -- Apply the same conformance rules as for a class type.                                  -- Apply the same conformance rules as for a class type.
112                          if                          if
113                                  attached {ANNOTATED_TYPE_A} other.conformance_type as other_attachable_type and then                                  attached {ANNOTATED_TYPE_A} other.conformance_type as other_attachable_type and then
114                                  not other_attachable_type.is_expanded and then                                  (not other_attachable_type.is_expanded and then
115                                  (other_attachable_type.is_formal implies other_attachable_type.is_reference)                                  (other_attachable_type.is_formal implies other_attachable_type.is_reference) or else
116                                    is_attached)
117                          then                          then
118                                  Result := True                                  Result := True
119                                  if a_context_class.lace_class.is_void_safe_conformance then                                  if a_context_class.lace_class.is_void_safe_conformance then
# Line 128  feature {TYPE_A} -- Helpers Line 129  feature {TYPE_A} -- Helpers
129                  end                  end
130    
131  note  note
132          copyright:      "Copyright (c) 1984-2013, Eiffel Software"          copyright:      "Copyright (c) 1984-2014, Eiffel Software"
133          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
134          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
135          copying: "[          copying: "[

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

  ViewVC Help
Powered by ViewVC 1.1.23