/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/renaming_a.e
ViewVC logotype

Log of /branches/eth/eve/Src/Eiffel/API/evaluated_type/renaming_a.e

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 93518 - (view) (annotate) - [select for diffs]
Modified Fri Nov 22 10:13:29 2013 UTC (6 years ago) by jasonw
File length: 13490 byte(s)
Diff to previous 92782
<<Merged from trunk#93517.>>

Revision 92782 - (view) (annotate) - [select for diffs]
Modified Fri Jul 5 06:01:58 2013 UTC (6 years, 5 months ago) by jasonw
File length: 13209 byte(s)
Diff to previous 92684
<<Merged from trunk#92781.>>

Revision 92684 - (view) (annotate) - [select for diffs]
Modified Fri Jun 7 15:28:53 2013 UTC (6 years, 6 months ago) by jasonw
File length: 13257 byte(s)
Diff to previous 91005
<<Merged from trunk#92682.>>

Revision 91005 - (view) (annotate) - [select for diffs]
Modified Mon Jan 28 14:40:26 2013 UTC (6 years, 10 months ago) by jasonw
File length: 13257 byte(s)
Diff to previous 83445
<<Merged from trunk#90997.>>

Revision 83445 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 15:29:40 2010 UTC (9 years, 6 months ago) by jasonw
File length: 13256 byte(s)
Diff to previous 83441
<<Merged from trunk@83442.>>

Revision 83441 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 6 months ago) by jasonw
File length: 13176 byte(s)
Diff to previous 83331
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

Revision 83331 - (view) (annotate) - [select for diffs]
Modified Wed May 26 18:49:35 2010 UTC (9 years, 6 months ago) by jasonw
Original Path: branches/eth/eve3/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 13176 byte(s)
Diff to previous 80988
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

Revision 80988 - (view) (annotate) - [select for diffs]
Modified Thu Oct 1 19:38:21 2009 UTC (10 years, 2 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 13176 byte(s)
Diff to previous 77520
Made batch compiler compile in full class checking mode.

Revision 77520 - (view) (annotate) - [select for diffs]
Modified Wed Mar 4 01:50:25 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 11818 byte(s)
Diff to previous 76432
Updated to new syntax of object test and attached/detachable types using the `syntax_updater' tool.


Revision 76432 - (view) (annotate) - [select for diffs]
Modified Mon Dec 29 23:41:59 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 11796 byte(s)
Diff to previous 76153
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


Revision 76153 - (view) (annotate) - [select for diffs]
Modified Sun Dec 14 06:40:46 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 11818 byte(s)
Diff to previous 76151
Removed non-used local.


Revision 76151 - (view) (annotate) - [select for diffs]
Modified Sat Dec 13 05:21:09 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 11841 byte(s)
Diff to previous 71189
When changing EiffelBase to not use aliases, we found out that most eweasel tests were now reporting
  a VWOE error for not finding some infix routines. This was because the code handling of names in rename
  clauses of a multiple constraint properly processed infix routines, not aliases. The code now takes
  care of alias and even removal of alias when you do `rename at as at' if `at' was actually `at alias "@"'
  in the constraint class.


Revision 71189 - (view) (annotate) - [select for diffs]
Modified Fri Nov 16 17:40:00 2007 UTC (12 years ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 12570 byte(s)
Diff to previous 69154
Fixed bug#13380 by removing VFAV(4) validity rule that is no longer specified in the standard and updated the corresponding tests accordingly.

Revision 69154 - (view) (annotate) - [select for diffs]
Modified Mon Jun 18 21:50:37 2007 UTC (12 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 12910 byte(s)
Diff to previous 69139
Cosmetics.
Renamed `a_feature_id' into `a_name_id' to avoid confusion with `feature_id' used to identify a
  a feature in a class.


Revision 69139 - (view) (annotate) - [select for diffs]
Modified Sat Jun 16 01:30:00 2007 UTC (12 years, 5 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 12972 byte(s)
Diff to previous 69065
Cleanup and renaming of misleading argument name.
formal_a.e: Removed obsolete feature.
renaming_a.e: Renamed argument to proper name (feature_id into feature_name_id)



Revision 69065 - (view) (annotate) - [select for diffs]
Modified Thu Jun 14 05:44:56 2007 UTC (12 years, 5 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 12952 byte(s)
Diff to previous 68998
Fixed VWEQ warning since we were not comparing the proper kind of objects.


Revision 68998 - (view) (annotate) - [select for diffs]
Modified Mon Jun 11 01:41:38 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 12937 byte(s)
Diff to previous 68852
vtgc2.e: Error printing improved.
ast_feature_checker_generator.e: Added a protection for NONE types and refactored code. Compare bug#13012 (test#fixed133).
class_c.e and formal_a.e: Bugfix related to bug in ast_feature_checker_generator.e
mc_feature_info.e: added constraint position to output (more information for the user)
renaming_a.e: implemented alias support for multi constraints. Various bugs fixed, see list below.
type_set_a.e: went from is_loose to has_formal as is_loose includes like which is ok.
ast_compiler_factory.e: Added comment about where similar code can be found code.
formal_constraint_as.e: Added code to print erros without using the compiled version of a renaming, as it cannot reproduce the complete information.
rename_clause_as.e: Added two features to support error output generation.

The following bugs are fixed because of better error printing and alias support for multi-constraint formals:
 * bug#12776 with test#multicon044
 * bug#12778 (now there is a proper error message)
 * bug#12877 with test#multicon045
 * bug#12785 with test#multicon047

Revision 68852 - (view) (annotate) - [select for diffs]
Modified Mon Jun 4 18:15:15 2007 UTC (12 years, 6 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 7684 byte(s)
Diff to previous 67948
Fixed bug#12818 (assigner command).
Added more support for alias features.
vwbr.e: Extended the error class to be able to support multi constraint error messages (switcht from CLACC_C to TYPE_A)
formal_a.e: Removed obsolete feature `has_multi_constraints'
gen_type_a.e: Cosmetics
renaming_a.e: Enabled storage of alias names. Detection of Infix/Prefix is not implemented (see bug#12817). 
type_set_a.e: Changed code related to alias names and added some more contracts.
formal_constraint_as.e: Creation of renaming with alias names
ast_feature_checker_generator.e: Fixed bug#12818 (assigner command) and fixed a bug for infix features.
byte_context.e: Fixed bug#12784 reproduced by test#multicon041.
constraining_type_as.e: refactored code into query
ast_formal_generics_pass2.e: In case of enabled assertions there are cases where the checks fail.


Revision 67948 - (view) (annotate) - [select for diffs]
Modified Sat Apr 21 00:50:00 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 7186 byte(s)
Diff to previous 67875
formal_a.e: Added feature to check whether a formals constraint has a renaming or not. This is a necessary adaptation to handle single constraints which have a renaming correctly.
gen_type_a.e: provide location information.
renamed_type_a.e: Fixed bug in is_equivalent
renaming_a.e: Added a feature to map old names onto their new names.
type_a.e: added feature allows to check for certain conditions without a reverse assignment to formal_a.e
formal_constraint_as.e: removed too strong error handling (eweasel tests failed because of this, that's why it is removed)
ast_feature_checker_generator.e: Bug fix for bug#12503 and bug#12504
formal_constraint_as.e: Added a feature to support changes in formal.a and fixed a plain wrong feature.
named_tuple_type_as.e: fixed a bug which printed one comma too much in the `dump' feature



Revision 67875 - (view) (annotate) - [select for diffs]
Modified Wed Apr 18 00:40:15 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 6731 byte(s)
Diff to previous 67874
Further adapted refactoring away from EXTENDED_TYPE_A to RENAMED_TYPE_A.

Revision 67874 - (view) (annotate) - [select for diffs]
Modified Tue Apr 17 17:00:15 2007 UTC (12 years, 7 months ago) by juliant
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 6527 byte(s)
Diff to previous 67649
changed comment to fit refactoring.


Revision 67649 - (view) (annotate) - [select for diffs]
Modified Sat Mar 31 01:36:09 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 6499 byte(s)
Diff to previous 67227
* Fixed bugs: bug#12316, bug#12420
* Fixed typos and did minor cosmetics

Revision 67227 - (view) (annotate) - [select for diffs]
Added Tue Mar 13 01:32:16 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/renaming_a.e
File length: 6465 byte(s)
Support for multi constraint generics:
- Central new class is TYPE_SET_A: It provides features for type checking and feature lookup.
  (the TYPE_A interface is not perfectly complete until now)
- Added EXTENDED_TYPE_A: It basically encapsulates a type and a feature renaming.
- Changed parser to accept the new syntax.
- Adapted validity checks for generics to reflect the new rules.
- Changed AST_FEATURE_CHECKER_GENERATOR in particular `process_call' and its siblings
  to select the so called `multi_constrained_static'. This is the actual static type
  of the target. It is done for each access on a multi constraint generic.
- Added error classes VTGC*, VTGD* and VTMC*.
- Changed code which called `constrained_type' feature to make it capable
  of handling multi constraints. This is in most cases achieved through handling these cases
  explicitly: Autocompletion, query language and debugger are not yet adapted and don't work
  properly in the presence of multi constraint formals.
- Changed AST_DECORATED_OUTPUT_STRATEGY and the like to pretty print the multi constraints correctly.

Support for recursive formals:
- I added a second pass AST_FORMAL_GENERICS_PASS2 which handles the registration of suppliers
  and transformation of the types into the right class (formal or class type).

The rest of the changes are targeted to either one of these.


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