/[eiffelstudio]
ViewVC logotype

Revision 69685


Jump to revision: Previous Next
Author: juliant
Date: Wed Jul 25 18:14:30 2007 UTC (12 years, 3 months ago)
Changed paths: 7
Log Message:
added statistics from CAT_interval_types branch
added feature flags (covariant/formal) from CAT_interval_types branch
added catcall check from CAT_interval_types branch
set resolved type of like Current to be monomorphic


Changed paths

Path Details
Directorybranches/CAT_mono/Src/Eiffel/API/error/eiffel/feature/cat_call_warning.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/API/evaluated_type/like_current.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/class_c.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/feature_i.e modified , text changed
Directorybranches/CAT_mono/Src/Eiffel/eiffel/interface/system_i.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23