/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/interface/class_c.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/interface/class_c.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 1868  feature -- Actual class type Line 1868  feature -- Actual class type
1868    
1869  feature {TYPE_AS, AST_TYPE_A_GENERATOR, AST_FEATURE_CHECKER_GENERATOR} -- Actual class type  feature {TYPE_AS, AST_TYPE_A_GENERATOR, AST_FEATURE_CHECKER_GENERATOR} -- Actual class type
1870    
1871          partial_actual_type (gen: ARRAY [TYPE_A]; is_exp, is_sep: BOOLEAN): CL_TYPE_A is          partial_actual_type (gen: ARRAY [TYPE_A]; is_exp, is_sep, is_mono: BOOLEAN): CL_TYPE_A is
1872                          -- Actual type of `current depending on the context in which it is declared                          -- Actual type of `current depending on the context in which it is declared
1873                          -- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not                          -- in CLASS_TYPE_AS. That is to say, it could have generics `gen' but not
1874                          -- be a generic class. It simplifies creation of `CL_TYPE_A' instances in                          -- be a generic class. It simplifies creation of `CL_TYPE_A' instances in
# Line 1890  feature {TYPE_AS, AST_TYPE_A_GENERATOR, Line 1890  feature {TYPE_AS, AST_TYPE_A_GENERATOR,
1890                          end                          end
1891                          if is_expanded then                          if is_expanded then
1892                                  Result.set_expanded_class_mark                                  Result.set_expanded_class_mark
1893                            elseif is_mono then
1894                                    Result.set_monomorph_mark
1895                          end                          end
1896                  ensure                  ensure
1897                          actual_type_not_void: Result /= Void                          actual_type_not_void: Result /= Void
Legend:
Removed from v.69649  
changed lines
  Added in v.69650
  ViewVC Help
Powered by ViewVC 1.1.23