/[eiffelstudio]/branches/CAT_interval_types
ViewVC logotype

Log of /branches/CAT_interval_types

View Directory Listing Directory Listing


Sticky Revision:

Revision 69625 - Directory Listing
Modified Mon Jul 23 17:57:36 2007 UTC (12 years, 2 months ago) by martins
small comment changes

Revision 69623 - Directory Listing
Modified Mon Jul 23 17:09:07 2007 UTC (12 years, 2 months ago) by juliant
omit upper boundary check on formals

Revision 69554 - Directory Listing
Modified Thu Jul 19 15:57:36 2007 UTC (12 years, 2 months ago) by juliant
handle open types

Revision 69531 - Directory Listing
Modified Wed Jul 18 23:06:40 2007 UTC (12 years, 2 months ago) by juliant
check descendants list on monomorphic types

Revision 69528 - Directory Listing
Modified Wed Jul 18 22:40:34 2007 UTC (12 years, 2 months ago) by martins
small bug fixes and comments added

Revision 69526 - Directory Listing
Modified Wed Jul 18 20:57:20 2007 UTC (12 years, 2 months ago) by juliant
added counting of formal features
catcall check is now done on last evaluated target type


Revision 69525 - Directory Listing
Modified Wed Jul 18 20:11:01 2007 UTC (12 years, 2 months ago) by martins
super_none_a: Fixed implementation of polymorphic base-types for generics.
type_a.e: Added feature to check whether the interval is valid.
ast_type_a_generator.e: Fixed bug for basic types: They are actually "onces" so we twin for intervals. Luckily we do not need to twin for default: BASIC_TYPE .. NIL
This version seems not to properly report CAT calls.

Revision 69512 - Directory Listing
Modified Tue Jul 17 23:00:02 2007 UTC (12 years, 2 months ago) by martins
Implemented experimental new conformance rule for proper polymorphism on generic base-types.


Revision 69454 - Directory Listing
Modified Mon Jul 16 21:10:29 2007 UTC (12 years, 3 months ago) by martins
A few bugs less.
calls on targets of the kind `XY .. NIL' crash less often.
Feature containing formals are recorded no matter what.

Revision 69443 - Directory Listing
Modified Mon Jul 16 16:25:15 2007 UTC (12 years, 3 months ago) by juliant
corrected evaluation of formal arguments.


Revision 69416 - Directory Listing
Modified Fri Jul 13 20:37:30 2007 UTC (12 years, 3 months ago) by juliant
changed conform_to check of TYPE_A to only evaluate upper if lower already conformed.

Revision 69414 - Directory Listing
Modified Fri Jul 13 16:57:26 2007 UTC (12 years, 3 months ago) by juliant
fixed statistic counting bug

Revision 69412 - Directory Listing
Modified Fri Jul 13 15:32:10 2007 UTC (12 years, 3 months ago) by juliant
improved statistic measuring and output
added possibility to have old conformance checking (used in degree -1)


Revision 69404 - Directory Listing
Modified Thu Jul 12 16:36:17 2007 UTC (12 years, 3 months ago) by martins
added new feature which does interval conformance check without triggering a warning
small bug fix: generics handled correctly in descendand computation of cat call


Revision 69401 - Directory Listing
Modified Thu Jul 12 00:24:20 2007 UTC (12 years, 3 months ago) by juliant
record covariant features.
catcall check for formal generic feature arguments.


Revision 69389 - Directory Listing
Modified Wed Jul 11 16:16:31 2007 UTC (12 years, 3 months ago) by juliant
improved interval conformance warning
fixed bug where super-none did not instantiate it's generic parameters

Revision 69373 - Directory Listing
Modified Tue Jul 10 23:00:37 2007 UTC (12 years, 3 months ago) by martins
Minor differences of implementation after merge.

Revision 69369 - Directory Listing
Modified Tue Jul 10 22:27:31 2007 UTC (12 years, 3 months ago) by juliant
improved interval conformance warning

Revision 69364 - Directory Listing
Modified Tue Jul 10 18:01:41 2007 UTC (12 years, 3 months ago) by juliant
added copy of base library to adapt it to interval types.
added warning for conformance check which is different with interval types than before.
changed implementation of interval types. now, TYPE_A has lower and upper bound, i.e every type is an interval type.e

Revision 69333 - Directory Listing
Modified Fri Jul 6 20:51:08 2007 UTC (12 years, 3 months ago) by martins
Added default behavior for types not specified in an interval.
Added per class configuration.
Fixed bug which prevented correct generic constraint checking for interval types.

Revision 69321 - Directory Listing
Modified Fri Jul 6 15:36:16 2007 UTC (12 years, 3 months ago) by martins
Made class name of super-none is easily changeable.

Revision 69320 - Directory Listing
Modified Fri Jul 6 15:17:10 2007 UTC (12 years, 3 months ago) by martins
Introduced super-none type. Conforms to anything (even expanded) and can have an
arbitrary number of generic parameters.
Currently it is treated like a normal class until type instantiation for degree 3 where
we create an instance of SUPER_NONE_A which implements the special conformance rules.

Revision 69309 - Directory Listing
Modified Thu Jul 5 19:26:02 2007 UTC (12 years, 3 months ago) by juliant
reverted changes to NONE

Revision 69299 - Directory Listing
Modified Tue Jul 3 22:36:00 2007 UTC (12 years, 3 months ago) by juliant
'generics' and 'meta_type' for interval type implemented
catcall check on correct descendants

Revision 69291 - Directory Listing
Modified Tue Jul 3 01:00:46 2007 UTC (12 years, 3 months ago) by juliant
added interval types to compiler:
- for parser/ast-factory: INTERVAL_TYPE_AS
- for compiler: INTERVAL_TYPE_A
- adapted various visitors to process the new types


Revision 69286 - Directory Listing
Modified Mon Jul 2 22:23:11 2007 UTC (12 years, 3 months ago) by manus
Started CAT_interval_types branch.

Revision 69285 - Directory Listing
Added Mon Jul 2 22:18:34 2007 UTC (12 years, 3 months ago) by manus
Branch for implementing new ECMA proposal for removing CAT calls in an Eiffel system.

  ViewVC Help
Powered by ViewVC 1.1.23