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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

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: 5879 byte(s)
Diff to previous 90750
<<Merged from trunk#92682.>>

Revision 90750 - (view) (annotate) - [select for diffs]
Modified Mon Jan 21 13:30:30 2013 UTC (6 years, 10 months ago) by jasonw
File length: 5879 byte(s)
Diff to previous 89347
<<Merged from trunk#90747.>>

Revision 89347 - (view) (annotate) - [select for diffs]
Modified Fri Aug 10 15:09:25 2012 UTC (7 years, 4 months ago) by jasonw
File length: 5864 byte(s)
Diff to previous 83445
<<Merged from trunk#89346.>>

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: 5873 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: 5433 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/mc_feature_info.e
File length: 5433 byte(s)
Diff to previous 76432
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

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/mc_feature_info.e
File length: 5433 byte(s)
Diff to previous 68998
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


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/mc_feature_info.e
File length: 5441 byte(s)
Diff to previous 68334
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 68334 - (view) (annotate) - [select for diffs]
Modified Tue May 15 21:26:35 2007 UTC (12 years, 7 months ago) by juliant
Original Path: trunk/Src/Eiffel/API/evaluated_type/mc_feature_info.e
File length: 5287 byte(s)
Copied from: trunk/Src/Eiffel/API/evaluated_type/mc_error_report.e revision 68330
Diff to previous 68134
changed filename to match class name

Revision 68134 - (view) (annotate) - [select for diffs]
Modified Fri May 4 22:27:52 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/mc_error_report.e
File length: 5287 byte(s)
Diff to previous 68089
mc_error_report.e: I changed the way the error for features ar printed. It looks now like: {CLASS}.feature_name

Revision 68089 - (view) (annotate) - [select for diffs]
Modified Thu May 3 18:36:31 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/mc_error_report.e
File length: 5221 byte(s)
Diff to previous 67862
Refactored RENAMED_TYPE_A to RENAMED_TYPE [G -> TYPE_A]
This change allows us to program type safe if possible.

Revision 67862 - (view) (annotate) - [select for diffs]
Modified Tue Apr 17 02:11:27 2007 UTC (12 years, 7 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/mc_error_report.e
File length: 5212 byte(s)
Copied from: trunk/Src/Eiffel/API/error/common/mc_error_report.e revision 67855
Diff to previous 67264
* Fixed minor bug in FORMAL_CONSTRAINT_AS (renaming of single constraint type was not checked)
* Adapted precondition of conformance features in TYPE_SET_A
* Refactored EXTENDED_TYPE_A into RENAMED_TYPE_A.
* Refactored MC_ERROR_REPORT into MC_FEATURE_INFO

Revision 67264 - (view) (annotate) - [select for diffs]
Modified Wed Mar 14 01:45:26 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/API/error/common/mc_error_report.e
File length: 5190 byte(s)
Diff to previous 67227
- Fixed bug#12289: Flat view should work in more cases again.
- API changes to TYPE_SET_A and refactoring of feature names.
- Deleted obsolete features from MC_ERROR_REPORT

Revision 67227 - (view) (annotate) - [select for diffs]
Added Tue Mar 13 01:32:16 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/API/error/common/mc_error_report.e
File length: 5426 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