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

Log of /branches/eth/eve/Src/Eiffel/API/evaluated_type/qualified_anchored_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, 10 months ago) by jasonw
File length: 14163 byte(s)
Diff to previous 94093
<<Merged from trunk#94547.>>

Revision 94093 - (view) (annotate) - [select for diffs]
Modified Fri Jan 24 16:34:41 2014 UTC (6 years ago) by jasonw
File length: 13949 byte(s)
Diff to previous 92684
<<Merged from trunk#94092.>>

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

Revision 92516 - (view) (annotate) - [select for diffs]
Modified Fri May 3 04:29:22 2013 UTC (6 years, 8 months ago) by jasonw
File length: 13294 byte(s)
Diff to previous 89854
<<Merged from trunk#92515.>>

Revision 89854 - (view) (annotate) - [select for diffs]
Modified Wed Nov 7 18:37:58 2012 UTC (7 years, 2 months ago) by alexk
File length: 13024 byte(s)
Diff to previous 89347
Removed unused class name from export clause.

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

Revision 86946 - (view) (annotate) - [select for diffs]
Modified Fri Aug 5 15:34:52 2011 UTC (8 years, 5 months ago) by jasonw
File length: 13054 byte(s)
Diff to previous 86783
<<Merged from trunk#86945.>>

Revision 86783 - (view) (annotate) - [select for diffs]
Modified Fri Jun 24 10:21:15 2011 UTC (8 years, 7 months ago) by jasonw
File length: 12765 byte(s)
Diff to previous 86444
<<Merged from trunk#86782.>>

Revision 86444 - (view) (annotate) - [select for diffs]
Modified Fri May 13 12:30:41 2011 UTC (8 years, 8 months ago) by jasonw
File length: 12973 byte(s)
Diff to previous 86354
<<Merged from trunk#86443.>>

Revision 86354 - (view) (annotate) - [select for diffs]
Modified Fri Apr 29 18:23:18 2011 UTC (8 years, 8 months ago) by jasonw
File length: 12505 byte(s)
Diff to previous 85117
<<Merged from trunk#86353.>>

Revision 85117 - (view) (annotate) - [select for diffs]
Modified Fri Dec 10 16:29:10 2010 UTC (9 years, 1 month ago) by jasonw
File length: 12190 byte(s)
Diff to previous 84268
<<Merged from trunk#85114.>>

Revision 84268 - (view) (annotate) - [select for diffs]
Modified Tue Aug 24 14:02:11 2010 UTC (9 years, 5 months ago) by jasonw
File length: 11899 byte(s)
Diff to previous 84165
<<Merged from trunk#84267.>>

Revision 84165 - (view) (annotate) - [select for diffs]
Modified Fri Aug 13 11:31:54 2010 UTC (9 years, 5 months ago) by jasonw
File length: 12179 byte(s)
Diff to previous 83928
<<Merged from trunk#84164>>

Revision 83928 - (view) (annotate) - [select for diffs]
Modified Fri Jul 16 15:21:01 2010 UTC (9 years, 6 months ago) by mpei
File length: 11907 byte(s)
Diff to previous 83826
<<Merged from trunk#83927>>

Revision 83826 - (view) (annotate) - [select for diffs]
Modified Wed Jul 7 11:33:55 2010 UTC (9 years, 6 months ago) by mpei
File length: 11584 byte(s)
Diff to previous 83740
<<Merged from trunk#83825>>

Revision 83740 - (view) (annotate) - [select for diffs]
Modified Tue Jun 29 10:47:08 2010 UTC (9 years, 6 months ago) by julian
File length: 11289 byte(s)
Diff to previous 83702
<<Merged from trunk#83736.>>

Revision 83702 - (view) (annotate) - [select for diffs]
Modified Fri Jun 25 13:00:44 2010 UTC (9 years, 7 months ago) by julian
File length: 10936 byte(s)
Diff to previous 83594
<<Merged from trunk#83700.>>

Revision 83594 - (view) (annotate) - [select for diffs]
Modified Thu Jun 17 09:23:33 2010 UTC (9 years, 7 months ago) by julian
File length: 10650 byte(s)
Diff to previous 83524
<<Merged from trunk#83593.>>

Revision 83524 - (view) (annotate) - [select for diffs]
Modified Fri Jun 11 08:12:14 2010 UTC (9 years, 7 months ago) by jasonw
File length: 10013 byte(s)
Diff to previous 83445
<<Merged from trunk#83523.>>

Revision 83445 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 15:29:40 2010 UTC (9 years, 7 months ago) by jasonw
File length: 9167 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, 7 months ago) by jasonw
File length: 8855 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, 8 months ago) by jasonw
Original Path: branches/eth/eve3/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 8855 byte(s)
Diff to previous 83209
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

Revision 83209 - (view) (annotate) - [select for diffs]
Modified Mon May 17 17:31:25 2010 UTC (9 years, 8 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 8855 byte(s)
Diff to previous 83052
Added a feature to set qualifier.

Revision 83052 - (view) (annotate) - [select for diffs]
Modified Mon May 3 15:51:44 2010 UTC (9 years, 8 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 8651 byte(s)
Diff to previous 82959
Supported qualified anchored types that involve generic types.
Changed processing in {TYPE_A_CHECKER} to support qualified types when
context type may be different from the current class which affects
evaluation of `like Current' and formal generics and fixes test#anchor006
and test#anchor007.
Registered intermediate types during processing in {TYPE_A_CHECKER} so that
they are available when the code is generated.
Recorded context class ID in {QUALIFIED_ACNHORED_TYPE_A} to allow creation
of {CREATE_QUALIFIED} without any additional context when generating type
tables in finalized mode.
Added a class {TYPE_A_FEATURE_FINDER} to factor out the general need to
find a feature in a given type that might be not that straightforward when
the type is anchored, a formal generic parameter or even a formal generic
parameter with multiple constraints.
Corrected {QUALIFIED_ACNHORED_TYPE_A}.evaluated_type_in_descendant that did
not work quite well for generic types, now it uses {TYPE_A_FEATURE_FINDER}.
Used {TYPE_A_FEATURE_FINDER} to initialize {CREATE_QUALIFIED} correctly.
Redefined `generate_gen_type_conversion' and `is_generic' in
{CREATE_QUALIFIED} since it depends on both qualifier and current type.


Revision 82959 - (view) (annotate) - [select for diffs]
Modified Tue Apr 27 14:05:42 2010 UTC (9 years, 9 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 8352 byte(s)
Diff to previous 82901
Added new byte codes to support creation of qualified anchored types.
Corrected evaluation of qualified anchored type in descendant to record the
resulting actual type.
Introduced new class to generate code to create qualified anchored types.


Revision 82901 - (view) (annotate) - [select for diffs]
Modified Wed Apr 21 09:50:11 2010 UTC (9 years, 9 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 7883 byte(s)
Diff to previous 82539
Added a feature that tests whether 2 types are syntactically equal.

Revision 82539 - (view) (annotate) - [select for diffs]
Modified Wed Mar 10 13:19:44 2010 UTC (9 years, 10 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 7486 byte(s)
Diff to previous 82434
Cosmetics.

Revision 82434 - (view) (annotate) - [select for diffs]
Modified Thu Feb 25 17:45:30 2010 UTC (9 years, 11 months ago) by manus
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 7477 byte(s)
Diff to previous 82278
Removed usage of {SPECIAL}.do_all_in_bounds since it does not in non-experimental mode.


Revision 82278 - (view) (annotate) - [select for diffs]
Modified Sun Feb 7 17:26:38 2010 UTC (9 years, 11 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 7468 byte(s)
Diff to previous 82277
Corrected off-by-one errors in traversing anchor chain.
Modified type output to produce more readable (though more verbose) form
when type qualifier is anchored because the output for anchored types
involves both original type in brackets and actual type.


Revision 82277 - (view) (annotate) - [select for diffs]
Added Sun Feb 7 10:23:57 2010 UTC (9 years, 11 months ago) by alexk
Original Path: trunk/Src/Eiffel/API/evaluated_type/qualified_anchored_type_a.e
File length: 7631 byte(s)
Supported type checking (except code generation for creation and object
test) for qualified anchored types.
Supported structured output for qualified anchored types.
Simplified interface and logic behind detection of cyclic anchors.


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