ViewVC logotype

Revision 69741

Jump to revision: Previous Next
Author: martins
Date: Tue Jul 31 00:04:43 2007 UTC (12 years, 3 months ago)
Changed paths: 8
Log Message:
* added feature `is_like_feature' to type_a.e and descendants
* fixed bugs in dump/output of types where the variant keyword was missing
* added check and error for variant generic features (i.e as soon as a "variant" feature is used the compiler reports an error (for now vuar3)
* enhanced algorithm to mark features which have: covaraint argument or result type redefinition
* bug fix (features added to wrong lists) (feature_i.e)

Changed paths

Path Details
Directorybranches/CAT_mono/Src/Eiffel/API/error/eiffel/unredefined/vuar3.e added
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/gen_type_a.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/like_feature.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/output/ast_decorated_output_strategy.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/AST/parser_override/type_a.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_feature_checker_generator.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/inheritance/inherit_table.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/feature_i.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23