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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 69868 - (view) (annotate) - [select for diffs]
Modified Fri Aug 3 22:28:26 2007 UTC (12 years, 4 months ago) by martins
File length: 8617 byte(s)
Diff to previous 69657
enabled more types to store monomorph information

Revision 69657 - (view) (annotate) - [select for diffs]
Modified Tue Jul 24 19:16:42 2007 UTC (12 years, 4 months ago) by juliant
File length: 8453 byte(s)
Diff to previous 69650
changed type mark to bitwise operations

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: 8450 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: 8397 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/native_array_b.e
File length: 8397 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/native_array_b.e
File length: 8397 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/native_array_b.e
File length: 8387 byte(s)
Diff to previous 57371
New compiler with new configuration system
For now only the batch compiler works


Revision 57371 - (view) (annotate) - [select for diffs]
Modified Wed Mar 8 00:05:46 2006 UTC (13 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 8380 byte(s)
Diff to previous 56535
Refactoring which separate TYPE_AS from TYPE_A.
* The TYPE_AS classes specific to the compiler have been removed, we now use the one from the
  parser cluster. Only INTEGER_CONSTANT and FORMAL_CONSTRAINT_AS are compiler specific, but defined
  as descendants of INTEGER_AS and FORMAL_DEC_AS.
* The return type and arguments' type are of type TYPE_A, which help us in removing many calls to
  `actual_type' when the purpose was to get the TYPE_A instance as statically it was a TYPE_AS, but
  dynamically it was TYPE_A.
* Rewritten the way we go from TYPE_AS to TYPE_A. This is now done in two steps.
  1 - convert TYPE_AS into TYPE_A using the AST_TYPE_A_GENERATOR visitor. For Bits symbol and anchors
      we get an UNEVALUATED_XX version.
  2 - evaluate and check validity of TYPE_A we obtained by 1), this is done using TYPE_A_CHECKER.
      TYPE_A_CHECKER is modular in the sense that it can be configured to trigger or not errors.
	  Useful to disable when we are in part of the UI of EiffelStudio who does not care about an
	  error reporting.
* Thanks to the above refactoring, I fixed eweasel tests: test#valid104, test#valid131, test#valid135.
  It was due to a bug that when solving an anchor type, we did not update `feature_id', as a consequence
  a comparison would yield False instead of True, because they were referring to the same anchor.
* In TYPE_A, try to add some preconditions to `associated_class' and fix all incorrect usage of it.
  Use `is_valid' a lot to ensure that we have a valid type (used to check validity of types in
  inheritance clause and constraints).
* Changed formatting so that we see G#x and arg#x (whereas it was Generic #x, Formal #x and arg # x)
  to make things more compact.
* Updated all the other part of EiffelStudio that depended on the above changes.
* New version number 5.7.0806



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/native_array_b.e
File length: 8403 byte(s)
Diff to previous 56011
Added text of the GPL license to all classes of the compiler.


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/native_array_b.e
File length: 6998 byte(s)
Diff to previous 51821
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 51821 - (view) (annotate) - [select for diffs]
Modified Tue Jun 7 10:42:32 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6913 byte(s)
Diff to previous 51140
Supported declaration of assigner command.


Revision 51140 - (view) (annotate) - [select for diffs]
Modified Wed May 18 15:45:26 2005 UTC (14 years, 6 months ago) by alexk
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6904 byte(s)
Diff to previous 49446
Adjusted feature name setting to follow changes for alias name support.


Revision 49446 - (view) (annotate) - [select for diffs]
Modified Thu Mar 24 07:11:22 2005 UTC (14 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6889 byte(s)
Diff to previous 45562
Use new syntax for static calls.


Revision 45562 - (view) (annotate) - [select for diffs]
Modified Sat Sep 11 23:16:11 2004 UTC (15 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6961 byte(s)
Diff to previous 44449
Fixed errors reported by gelint since our compiler does not do yet system
validity checking (i.e. flat degree 3 checking).


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/native_array_b.e
File length: 6850 byte(s)
Diff to previous 43304
Changed `partial_actual_type' to not take into account if `reference' was
  specified or not, because support for `reference X' has been removed.


Revision 43304 - (view) (annotate) - [select for diffs]
Modified Fri May 28 06:41:38 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6969 byte(s)
Diff to previous 43164
Added redefinition of `actual_type' to return an instance of
  NATIVE_ARRAY_TYPE_A and not a GEN_TYPE_A as the inherited version does.


Revision 43164 - (view) (annotate) - [select for diffs]
Modified Fri May 21 23:55:58 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6199 byte(s)
Diff to previous 42641
Updated to use new error code names of SPECIAL_CONST. Do not use `once'
  for signatures of routines as it is only called once per compilation
  and we don't need to keep them around forever.


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/native_array_b.e
File length: 6147 byte(s)
Diff to previous 41845
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 41845 - (view) (annotate) - [select for diffs]
Modified Sat Mar 6 03:26:19 2004 UTC (15 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 6144 byte(s)
Diff to previous 40533
Implemented new feature `partial_actual_type' for native array.


Revision 40533 - (view) (annotate) - [select for diffs]
Modified Fri Nov 28 19:26:18 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 5287 byte(s)
Diff to previous 37693
Fixed code so that when we insert a new type we `melt_all' features of
associated class. This fixes eweasel bug `term114':
  After initial compilation, a generic class TEST1 [G] is changed to a
  non-generic class and the class that inherits from TEST1 is changed
  correspondingly. When the system is frozen, the compiler dies in degree -1.


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/native_array_b.e
File length: 5159 byte(s)
Diff to previous 33880
Replace !! with create keyword.
Replace creation keyword with create keyword.
Change order of elements in Precursor instructions.


Revision 33880 - (view) (annotate) - [select for diffs]
Modified Wed Aug 21 21:48:54 2002 UTC (17 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 5161 byte(s)
Diff to previous 33851
Removed non-used local variable.


Revision 33851 - (view) (annotate) - [select for diffs]
Modified Tue Aug 20 23:44:55 2002 UTC (17 years, 3 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 5204 byte(s)
Diff to previous 28393
Implemented `check_validity' to ensure content of NATIVE_ARRAY on IL code generation.


Revision 28393 - (view) (annotate) - [select for diffs]
Added Wed Oct 24 22:21:34 2001 UTC (18 years, 1 month ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/native_array_b.e
File length: 549 byte(s)
Removed IL specific generation since SPECIAL are not CLI arrays anymore.
Instead they are NATIVE_ARRAY and they are generated in the new class
NATIVE_ARRAY_CLASS_TYPE.


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