/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
ViewVC logotype

Log of /branches/CAT_mono/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 69868 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 22:28:26 2007 UTC (12 years, 4 months ago) by martins
File length: 7988 byte(s)
Diff to previous 69687
enabled more types to store monomorph information

Revision 69687 - (view) (annotate) - [select for diffs]
Modified Wed Jul 25 18:55:08 2007 UTC (12 years, 4 months ago) by martins
File length: 7969 byte(s)
Diff to previous 69650
* monomorph for formals
* covaraince for generics (syntax only)

Revision 69650 - (view) (annotate) - [select for diffs]
Modified Tue Jul 24 17:18:14 2007 UTC (12 years, 4 months ago) by juliant
File length: 7477 byte(s)
Diff to previous 69629
Added monomorph mark for class types, either "frozen" or "invariant".
First (simple) conformance check for monomorphic types.

Revision 69629 - (view) (annotate) - [select for diffs]
Modified Mon Jul 23 21:36:18 2007 UTC (12 years, 4 months ago) by manus
File length: 7439 byte(s)
Diff to previous 65165
Creation of CAT_mono branch to implement variant/invariant proposal

Revision 65165 - (view) (annotate) - [select for diffs]
Modified Tue Nov 21 01:36:22 2006 UTC (13 years ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7439 byte(s)
Diff to previous 64788
made old and new HASH_TABLE compatible
added some catcall detection and prevention features to HASH_TABLE
changed ID_AS not to inherit form STRING but have a name_id which is an id into the names heap
switched compiler from the obsolete HASH_TABLE to the normal HASH_TABLE of base

Revision 64788 - (view) (annotate) - [select for diffs]
Modified Fri Nov 3 18:52:08 2006 UTC (13 years, 1 month ago) by jfiat
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7424 byte(s)
Diff to previous 64704
removed SHARED_RESCUE_STATUS where it was not needed,

Revision 64704 - (view) (annotate) - [select for diffs]
Modified Tue Oct 31 23:40:42 2006 UTC (13 years, 1 month ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7476 byte(s)
Diff to previous 64635
Removed previous commit since it is not actually used to evaluate a type only using
  the group where it appears.


Revision 64635 - (view) (annotate) - [select for diffs]
Modified Fri Oct 27 23:43:04 2006 UTC (13 years, 1 month ago) by martins
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 8451 byte(s)
Diff to previous 60594
* removed argument constraints from creation features of the root class which are not specified as the root creation feature
* added support for generic root types
* adapted the error codes according to ecma standard



Revision 60594 - (view) (annotate) - [select for diffs]
Modified Tue Jun 27 17:14:12 2006 UTC (13 years, 5 months ago) by konradm
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7476 byte(s)
Diff to previous 58325
Fixed bug for named tuples with identifier lists

Revision 58325 - (view) (annotate) - [select for diffs]
Modified Thu Apr 20 16:05:16 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7445 byte(s)
Diff to previous 58027
Moved trunk/Src/bench/Eiffel to trunk/Src/Eiffel.

Revision 58027 - (view) (annotate) - [select for diffs]
Modified Wed Apr 5 07:08:57 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7445 byte(s)
Diff to previous 57781
Fixed mixing paranthesis in indexing clause for the licensing.
Added missing license reference in newly created Eiffel classes.


Revision 57781 - (view) (annotate) - [select for diffs]
Modified Mon Mar 27 17:11:27 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7435 byte(s)
Diff to previous 57773
New compiler with new configuration system
For now only the batch compiler works


Revision 57773 - (view) (annotate) - [select for diffs]
Modified Sun Mar 26 23:42:12 2006 UTC (13 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7437 byte(s)
Diff to previous 57371
Changed signature of `evaluate_type_if_possible' to return TYPE_A instead of CL_TYPE_A.
  It was clearly a copy/paste error from `evaluate_class_type'.


Revision 57371 - (view) (annotate) - [select for diffs]
Added Wed Mar 8 00:05:46 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/AST/visitor/ast_type_a_generator.e
File length: 7440 byte(s)
Refactoring which separate TYPE_AS from TYPE_A.
* The TYPE_AS classes specific to the compiler have been removed, we now use the one from the
  parser cluster. Only INTEGER_CONSTANT and FORMAL_CONSTRAINT_AS are compiler specific, but defined
  as descendants of INTEGER_AS and FORMAL_DEC_AS.
* The return type and arguments' type are of type TYPE_A, which help us in removing many calls to
  `actual_type' when the purpose was to get the TYPE_A instance as statically it was a TYPE_AS, but
  dynamically it was TYPE_A.
* Rewritten the way we go from TYPE_AS to TYPE_A. This is now done in two steps.
  1 - convert TYPE_AS into TYPE_A using the AST_TYPE_A_GENERATOR visitor. For Bits symbol and anchors
      we get an UNEVALUATED_XX version.
  2 - evaluate and check validity of TYPE_A we obtained by 1), this is done using TYPE_A_CHECKER.
      TYPE_A_CHECKER is modular in the sense that it can be configured to trigger or not errors.
	  Useful to disable when we are in part of the UI of EiffelStudio who does not care about an
	  error reporting.
* Thanks to the above refactoring, I fixed eweasel tests: test#valid104, test#valid131, test#valid135.
  It was due to a bug that when solving an anchor type, we did not update `feature_id', as a consequence
  a comparison would yield False instead of True, because they were referring to the same anchor.
* In TYPE_A, try to add some preconditions to `associated_class' and fix all incorrect usage of it.
  Use `is_valid' a lot to ensure that we have a valid type (used to check validity of types in
  inheritance clause and constraints).
* Changed formatting so that we see G#x and arg#x (whereas it was Generic #x, Formal #x and arg # x)
  to make things more compact.
* Updated all the other part of EiffelStudio that depended on the above changes.
* New version number 5.7.0806



This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23