/[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 92684 by jasonw, Fri Jun 7 15:28:53 2013 UTC revision 92723 by jasonw, Fri Jun 21 07:47:04 2013 UTC
# Line 103  feature {COMPILER_EXPORTER} Line 103  feature {COMPILER_EXPORTER}
103                          Result := reference_c_type                          Result := reference_c_type
104                  end                  end
105    
106          conform_to (a_context_class: CLASS_C; other: INHERITANCE_TYPE_A): BOOLEAN  feature {TYPE_A} -- Helpers
107                          -- Does Current conform to `other'?  
108            internal_conform_to (a_context_class: CLASS_C; other: TYPE_A; a_in_generic: BOOLEAN): BOOLEAN
109                            -- <Precursor>
110                  do                  do
111                                  -- Apply the same conformance rules as for a class type.                                  -- Apply the same conformance rules as for a class type.
112                          if                          if

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

  ViewVC Help
Powered by ViewVC 1.1.23