/[eiffelstudio]
ViewVC logotype

Revision 43828


Jump to revision: Previous Next
Author: manus
Date: Tue Jun 15 18:15:36 2004 UTC (15 years, 8 months ago)
Changed paths: 7
Log Message:
Redefined `dump' in GEN_TYPE_I to be correct, that is to say it will display
  the actual generic derivation, i.e. type of `associated_class_type'.
Changed signature of `instantiation_in' and `complete_instantiation_in' to
  take a CLASS_TYPE rather than a GEN_TYPE_I. This made a huge simplification
  in the code and made it clearer to understand that it was only used to find
  out the type in a given generic derivation and not in any kind of `GEN_TYPE_I'.
  By doing this work, we were able to easily fix eweasel test `exec181'.
In FORMAL_I, it showed that `complete_instantiation_in' did not have
  to do any special work, it just needed to take the information directly
  from the CLASS_TYPE_.
It enabled us to have a proper implementation of `generic_derivation' for
  generic types where `meta_generic' and `true_generics' are properly initialized.
New creation procedure for GEN_TYPE_I and descendants to help us add some
  invariants about `meta_generic' and `true_generics'.


Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/cl_type_i.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/formal_i.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/gen_type_i.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/instantiator.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/native_array_type_i.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/type_i.e modified , text changed
Directorytrunk/Src/bench/Eiffel/eiffel/genericity/typed_pointer_i.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23