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

Log of /branches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_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: 4896 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: 4887 byte(s)
Diff to previous 66895
Creation of CAT_mono branch to implement variant/invariant proposal

Revision 66895 - (view) (annotate) - [select for diffs]
Modified Sun Feb 25 17:11:57 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/interface/pointer_b.e
File length: 4887 byte(s)
Diff to previous 66254
Support for FreeELKS:
- Added byte code for `floor' and `ceiling' operation on real types.
- Made `c_tagged_out' take an EIF_REFERENCE rather than an EIF_OBJECT, updated
  all C code using it accordingly and ANY/ISE_RUNTIME.
- Added `eif_built_in.h' to keep all macros used for external "built_in' features
  not implemented with Eiffel code.
- Added BUILT_IN_AS node for representing external "built_in' features:
  * when a built_in routine is found, we look in $ISE_EIFFEL/studio/built_ins to
    see if it has a corresponding implementation and the FEATURE_I/STD_BYTE_CODE
	is generated from the implementation. Otherwise we consider it as a special
	C routines.
  * In the formatters, we show the actual code of the implementation and not the
    external body, the same for debugging.
- Partial fix for Precursor call when call is made in an expanded class, the ancestor
  version might have non-expanded arguments and return type (e.g. like Current).
- Changed CLASS_TYPE for basic types so that `type_i' is a CL_TYPE_I and not
  a BASIC_I. It solves issues when you have code defined in basic types which
  would not be properly generated. Since it would be generated as if it was a
  normal expanded type but the types where still EIF_XXX instead of EIF_REFERENCE.
  This was needed for FreeELKS since now we have implementation in the basic types.
  Added some queries to CLASS_TYPE to avoid accessing `type' to get the information
  since sometime we still want to know that we are in basic types. Added `basic_type'
  to be used when it is a basic type. It has mostly an implication with .NET code
  generation.
- Updated debugger so that one can debug all features but attributes, deferred and
  constants.


Revision 66254 - (view) (annotate) - [select for diffs]
Modified Thu Jan 25 20:32:09 2007 UTC (12 years, 10 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/interface/pointer_b.e
File length: 4987 byte(s)
Diff to previous 66200
Slightly rewrote `check_validity' for basic types so that we can compile FreeELKS.


Revision 66200 - (view) (annotate) - [select for diffs]
Modified Thu Jan 25 01:45:31 2007 UTC (12 years, 10 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/interface/pointer_b.e
File length: 4599 byte(s)
Diff to previous 65185
Performed some renaming of constants in PREDEFINED_NAMES since they should have the following
  pattern: XXX_name_id.
Added `has' to NAMES_HEAP to find out if there is a string associated to a given ID.


Revision 65185 - (view) (annotate) - [select for diffs]
Modified Wed Nov 22 00:54:06 2006 UTC (13 years ago) by patrickr
Original Path: trunk/Src/Eiffel/eiffel/interface/pointer_b.e
File length: 4594 byte(s)
Diff to previous 58325
some changes to make use of the new ID_AS behavior

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/pointer_b.e
File length: 4542 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/pointer_b.e
File length: 4542 byte(s)
Diff to previous 56535
Fixed mixing paranthesis in indexing clause for the licensing.
Added missing license reference in newly created Eiffel classes.


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


Revision 43990 - (view) (annotate) - [select for diffs]
Modified Mon Jun 28 21:23:32 2004 UTC (15 years, 5 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 3437 byte(s)
Diff to previous 43164
Made sure to support anchors in basic type features' signatures.


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/pointer_b.e
File length: 3425 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/pointer_b.e
File length: 3381 byte(s)
Diff to previous 41846
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 41846 - (view) (annotate) - [select for diffs]
Modified Sat Mar 6 03:27:14 2004 UTC (15 years, 9 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 3388 byte(s)
Diff to previous 39175
Abstraction that represents both POINTER and TYPED_POINTER. Implemented
  `check_validity' and `partial_actual_type' depending on which type it
  represents.
Got rid of not used `cecil_value' and `generate_cecil_value'.


Revision 39175 - (view) (annotate) - [select for diffs]
Modified Sun Sep 21 22:44:43 2003 UTC (16 years, 2 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 759 byte(s)
Diff to previous 37693
First imlementation of TYPED_POINTER: now all $x expression where x is a local,
argument, Current, Result or an attribute are of type TYPED_POINTER [type of x].


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


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/pointer_b.e
File length: 511 byte(s)
Diff to previous 11601
Merged branch `dev46_manu' to the trunc.


Revision 11601 - (view) (annotate) - [select for diffs]
Modified Tue Oct 13 01:37:49 1998 UTC (21 years, 2 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 512 byte(s)
Diff to previous 353
Changed the C generation so that it generates into a string buffer first, and the
it writes the content of the buffer into a file.


Revision 353 - (view) (annotate) - [select for diffs]
Modified Mon Sep 6 16:04:47 1993 UTC (26 years, 3 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 512 byte(s)
Diff to previous 18
*** empty log message ***


Revision 18 - (view) (annotate) - [select for diffs]
Added Fri Mar 12 17:44:01 1993 UTC (26 years, 9 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/pointer_b.e
File length: 505 byte(s)
Initial revision


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