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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 94556 - (view) (annotate) - [select for diffs]
Modified Fri Feb 28 09:44:00 2014 UTC (5 years, 9 months ago) by jasonw
File length: 7527 byte(s)
Diff to previous 92684
<<Merged from trunk#94547.>>

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

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

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


Revision 76375 - (view) (annotate) - [select for diffs]
Modified Wed Dec 24 18:24:58 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7445 byte(s)
Diff to previous 74993
Added missing label validity checking for types used in a named tuple. This fixes eweasel test#valid224
  and bug#13067.


Revision 74993 - (view) (annotate) - [select for diffs]
Modified Tue Oct 7 05:24:47 2008 UTC (11 years, 2 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7292 byte(s)
Diff to previous 70329
Fixed eweasel test#tuple013 because `check_labels' was not properly defined for generic types
  and thus was not checking for BREG or VRFT errors in actual generic parameters.
Removed depedency on `context' in NAMED_TUPLE_TYPE_A to report the error as there is no
  assertion that says so.


Revision 70329 - (view) (annotate) - [select for diffs]
Modified Sun Sep 16 03:32:51 2007 UTC (12 years, 3 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7049 byte(s)
Diff to previous 67846
To reduce the number of features relying on HASH_TABLE from FEATURE_TABLE, I replaced the call
  to `has_key_id' by the pair `search_id/found'.


Revision 67846 - (view) (annotate) - [select for diffs]
Modified Fri Apr 13 21:29:28 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7009 byte(s)
Diff to previous 67828
cosmetics: proof of concept for removal of double new lines in code


Revision 67828 - (view) (annotate) - [select for diffs]
Modified Fri Apr 13 00:34:21 2007 UTC (12 years, 8 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7010 byte(s)
Diff to previous 67340
* The commit of `TYPE_A_CHECKER' implements 8.12.12 (creation readiness) of ECMA 2nd Edition.
  Tests assocaited with this: valid208, valid207, incr201, valid139, term147
* The split of `remaining_validity_check_list' into a temporary buffer and the global list should prevent incremental bugs.
  Tests associated with this: multicon15, multicon31, incr283
* Refactored named_tuple_type_a.e to use function `add_future_checking'
* Refactired error generatuion in gen_type_a.e to a function.

Revision 67340 - (view) (annotate) - [select for diffs]
Modified Fri Mar 16 19:14:13 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7080 byte(s)
Diff to previous 67227
Fixed eweasel tests:
1 - sometime we forgot to check the validity of labels (test#tuple008)
2 - when using multiple declaration in an entity declaration list it would crash
    when reporting the error (test#tuple009)


Revision 67227 - (view) (annotate) - [select for diffs]
Modified Tue Mar 13 01:32:16 2007 UTC (12 years, 9 months ago) by martins
Original Path: trunk/Src/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 7155 byte(s)
Diff to previous 65165
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.


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/API/evaluated_type/named_tuple_type_a.e
File length: 6906 byte(s)
Diff to previous 58325
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 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/API/evaluated_type/named_tuple_type_a.e
File length: 6898 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/API/evaluated_type/named_tuple_type_a.e
File length: 6898 byte(s)
Diff to previous 57241
Fixed mixing paranthesis in indexing clause for the licensing.
Added missing license reference in newly created Eiffel classes.


Revision 57241 - (view) (annotate) - [select for diffs]
Modified Thu Mar 2 20:38:04 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 5493 byte(s)
Diff to previous 57234
Added `label_name' to extract name of the `i-th' label in a named tuple.
Removed unused local.


Revision 57234 - (view) (annotate) - [select for diffs]
Modified Thu Mar 2 01:57:13 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 5295 byte(s)
Diff to previous 57210
Wrote a TYPE_A visitor.


Revision 57210 - (view) (annotate) - [select for diffs]
Modified Wed Mar 1 05:13:48 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 5149 byte(s)
Diff to previous 57198
Fixed issue with the way we check that TUPLE_CLASS_B is usable for
  performing the type checking.
Improved error reporting by giving  the location of the identifier
  that is actually causing the error (in the case of VREG error, the
  second element with the same name.


Revision 57198 - (view) (annotate) - [select for diffs]
Modified Tue Feb 28 05:16:40 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 4921 byte(s)
Diff to previous 57173
Fixed precondition violation by using `degree_4_processed' instead of `degree_4_needed' which
  is unfortunately reset after doing the future checking not before.


Revision 57173 - (view) (annotate) - [select for diffs]
Added Mon Feb 27 05:28:09 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/API/evaluated_type/named_tuple_type_a.e
File length: 4918 byte(s)
Implementation of labeled tuples with a limitation which is that the identifier
  list is reduced to only one element, as it is causing the grammar to be too
  difficult. But the current implementation is fully equipped to handle multiple
  entries as soon as the parser is fixed.


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