/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/interface/tuple_class_b.e
ViewVC logotype

Log of /branches/CAT_mono/Src/Eiffel/eiffel/interface/tuple_class_b.e

Parent Directory Parent Directory | Revision Log Revision Log


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

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: 3612 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: 3559 byte(s)
Diff to previous 58325
Creation of CAT_mono branch to implement variant/invariant proposal

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/interface/tuple_class_b.e
File length: 3559 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/interface/tuple_class_b.e
File length: 3559 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/interface/tuple_class_b.e
File length: 3549 byte(s)
Diff to previous 56535
New compiler with new configuration system
For now only the batch compiler works


Revision 56535 - (view) (annotate) - [select for diffs]
Modified Tue Jan 17 01:37:10 2006 UTC (13 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3551 byte(s)
Diff to previous 56063
Added text of the GPL license to all classes of the compiler.


Revision 56063 - (view) (annotate) - [select for diffs]
Modified Thu Dec 8 13:51:16 2005 UTC (14 years ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 2146 byte(s)
Diff to previous 56011
Unified processing of class types between normal classes and tuple class.
Corrected a recently introduced bug in a class type processing that might
cause duplicate class types to be registered.


Revision 56011 - (view) (annotate) - [select for diffs]
Modified Mon Dec 5 17:36:00 2005 UTC (14 years ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 4215 byte(s)
Diff to previous 48810
Recorded explicit class type declaration rather than a calculated one to
avoid issues with recompiling classes that change their expandedness
status.
Initialized class types associated with a class using `update_types' to
ensure that all structures (e.g., `derivations') are updated as well.
Used instantiation procedure unconditionally to cover the case of "like
Current" type.
Made a feature `duplicate' available in CL_TYPE_I to avoid using reverse
assignment.
Ensured that parent types are reference.
Created generic attribute descriptor not only for types that depend on
formal generic but also for those depending on anchored type ("like
Current").


Revision 48810 - (view) (annotate) - [select for diffs]
Modified Tue Mar 1 01:22:06 2005 UTC (14 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3998 byte(s)
Diff to previous 48671
Updated invariant as it is violated at creation time until we set `types'.
So now I've just put that at most it has one element.


Revision 48671 - (view) (annotate) - [select for diffs]
Modified Wed Feb 23 17:52:32 2005 UTC (14 years, 9 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3997 byte(s)
Diff to previous 44449
Taken into account "expanded" and "separate" status of the class type.


Revision 44449 - (view) (annotate) - [select for diffs]
Modified Wed Jul 21 05:35:08 2004 UTC (15 years, 4 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3612 byte(s)
Diff to previous 43834
Changed `partial_actual_type' to not take into account if `reference' was
  specified or not, because support for `reference X' has been removed.


Revision 43834 - (view) (annotate) - [select for diffs]
Modified Tue Jun 15 18:26:23 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3699 byte(s)
Diff to previous 42641
Updated code using `instantiation_in' from TYPE_I since now the parameter has
  to be a CLASS_TYPE and not a GEN_TYPE_I.
Take into account new creation procedure of TUPLE_TYPE_I.
Added invariant about number of CLASS_TYPE for tuple which is only 1.


Revision 42641 - (view) (annotate) - [select for diffs]
Modified Fri Apr 9 03:22:01 2004 UTC (15 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3559 byte(s)
Diff to previous 41850
Implemented constraints that are either reference or expanded:
  Renamed `formal_name' to `name' to match new name in FORMAL_AS/FORMAL_DEC_AS.
  Updated to new way of creating a FORMAL_A instance which now needs to know
  whether or not it has the `reference' or `expanded' constraint.


Revision 41850 - (view) (annotate) - [select for diffs]
Modified Sat Mar 6 04:02:12 2004 UTC (15 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3565 byte(s)
Diff to previous 37693
Fixed `update_types' to do the same as in parent class CLASS_C, but make sure
   that only one generic derivation of TUPLE is stored in `types'


Revision 37693 - (view) (annotate) - [select for diffs]
Modified Wed Jun 11 23:57:03 2003 UTC (16 years, 6 months ago) by julieng
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 1408 byte(s)
Diff to previous 37434
Replace !! with create keyword.
Replace creation keyword with create keyword.
Change order of elements in Precursor instructions.


Revision 37434 - (view) (annotate) - [select for diffs]
Modified Wed May 28 21:05:21 2003 UTC (16 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 1410 byte(s)
Diff to previous 37423
Removed `mark_all_used' since it is not used anymore.
Updated TUPLE_CLASS_B so that there is no special `check_validity' implementation
for TUPLE. Made TUPLE_CLASS_B redefine `is_tuple' accordingly.
Cosmetics.


Revision 37423 - (view) (annotate) - [select for diffs]
Modified Wed May 28 01:34:34 2003 UTC (16 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 2734 byte(s)
Diff to previous 33847
Redefined `is_tuple' from CLASS_C to True.
Removed checking that TUPLE should inherit from ARRAY, this is not the case
  anymore.


Revision 33847 - (view) (annotate) - [select for diffs]
Modified Tue Aug 20 23:00:26 2002 UTC (17 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3184 byte(s)
Diff to previous 32291
Make some parts of `check_validity' checked only when not compiling for IL
since those validity checks do not apply in this case.


Revision 32291 - (view) (annotate) - [select for diffs]
Modified Thu May 30 22:54:59 2002 UTC (17 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3124 byte(s)
Diff to previous 30325
Use `extend' instead of `put_front', and `after' instead of `off' on `types'
 from CLASS_C. This is due because in TYPE_LIST we reduced number of exported
 features.


Revision 30325 - (view) (annotate) - [select for diffs]
Modified Mon Jan 21 16:18:16 2002 UTC (17 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3127 byte(s)
Diff to previous 30243
Use new creation procedure of CL_TYPE_A, GEN_TYPE_A and TUPLE_TYPE_A.


Revision 30243 - (view) (annotate) - [select for diffs]
Modified Thu Jan 17 03:08:01 2002 UTC (17 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3207 byte(s)
Diff to previous 27539
Updated to use new creation procedure `make' from TUPLE_TYPE_I.


Revision 27539 - (view) (annotate) - [select for diffs]
Modified Wed Sep 12 00:33:48 2001 UTC (18 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3219 byte(s)
Diff to previous 26913
Use `set_feature_name_id' with predefined constants from NAMES_HEAP instead of
using manifest strings.


Revision 26913 - (view) (annotate) - [select for diffs]
Modified Sun Aug 12 23:50:20 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3199 byte(s)
Diff to previous 12180
Merged branch `dev46_manu' to the trunc.


Revision 12180 - (view) (annotate) - [select for diffs]
Modified Sat Dec 5 21:27:36 1998 UTC (21 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 3157 byte(s)
Diff to previous 11217
Introduction of the new routine object in the compiler with an updated
TUPLE class. Now you can write: ~r or ~{A}r.


Revision 11217 - (view) (annotate) - [select for diffs]
Added Thu Sep 3 23:45:31 1998 UTC (21 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/tuple_class_b.e
File length: 2223 byte(s)
New TUPLE classes in the compiler.


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