/[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 89347 by jasonw, Fri Aug 10 15:09:25 2012 UTC revision 92434 by jasonw, Fri Apr 12 10:41:30 2013 UTC
# Line 112  feature {COMPILER_EXPORTER} Line 112  feature {COMPILER_EXPORTER}
112                          Result := reference_c_type                          Result := reference_c_type
113                  end                  end
114    
115          conform_to (a_context_class: CLASS_C; other: TYPE_A): BOOLEAN          conform_to (a_context_class: CLASS_C; other: INHERITANCE_TYPE_A): BOOLEAN
116                          -- Does Current conform to `other'?                          -- Does Current conform to `other'?
117                  do                  do
118                                  -- Apply the same conformance rules as for a class type.                                  -- Apply the same conformance rules as for a class type.
# Line 135  feature {COMPILER_EXPORTER} Line 135  feature {COMPILER_EXPORTER}
135                  end                  end
136    
137  note  note
138          copyright:      "Copyright (c) 1984-2012, Eiffel Software"          copyright:      "Copyright (c) 1984-2013, Eiffel Software"
139          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
140          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
141          copying: "[          copying: "[

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

  ViewVC Help
Powered by ViewVC 1.1.23