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

Log of /branches/CAT_mono/Src/Eiffel/eiffel/interface/special_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: 9215 byte(s)
Diff to previous 69629
enabled more types to store monomorph information

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

Revision 68945 - (view) (annotate) - [select for diffs]
Modified Fri Jun 8 14:58:16 2007 UTC (12 years, 6 months ago) by alexk
Original Path: trunk/Src/Eiffel/eiffel/interface/special_b.e
File length: 9159 byte(s)
Diff to previous 66980
Renamed `{SYSTEM_I}.set_freeze' and `{SYSTEM_I}.private_freeze' into
`request_freeze' and `is_freeze_requested' respectively to highlight the
fact that freezing happens because of compiler needs rather than due to
project settings or users' request.
Made `{SYSTEM_I}.is_freeze_requested' available for call to allow quick
test if the system is about to be frozen anyway to avoid more complex
checks.
Changed code generation for CECIL table in workbench mode to call wrappers
that convert CECIL types into EIF_UNION and back, so that CECIL interface
is preserved (this fixes code generation issues in test#ccomp063).
Ensured that if visible features are recompiled, the code is frozen so that
CECIL wrappers are generated.
Removed precondition "has_current_class" from `{TYPE_A}.create_info'
because it is not required for the implementation.
Removed byte code generation for CECIL table as it is not used in the
current implementation.


Revision 66980 - (view) (annotate) - [select for diffs]
Modified Wed Feb 28 19:29:36 2007 UTC (12 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/eiffel/interface/special_b.e
File length: 9155 byte(s)
Diff to previous 58325
Fixed eweasel test#valid190 on .NET because we were inline the call to `out' instead of
  taking the more correct Eiffel version, like we do in classic mode.
Added queries `is_character_8' and `is_character_32' to make it easier to know the current type
  we are handling.


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/special_b.e
File length: 9147 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/special_b.e
File length: 9147 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/special_b.e
File length: 9137 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/special_b.e
File length: 9130 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/special_b.e
File length: 9161 byte(s)
Diff to previous 51821
Added text of the GPL license to all classes of the compiler.


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/special_b.e
File length: 7756 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/special_b.e
File length: 7753 byte(s)
Diff to previous 47866
Adjusted feature name setting to follow changes for alias name support.


Revision 47866 - (view) (annotate) - [select for diffs]
Modified Tue Jan 25 03:15:40 2005 UTC (14 years, 10 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 7744 byte(s)
Diff to previous 47234
Added NATURAL_XX types support.


Revision 47234 - (view) (annotate) - [select for diffs]
Modified Sat Dec 25 00:19:09 2004 UTC (14 years, 11 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 6954 byte(s)
Diff to previous 45562
Provided new class names, new feature names to entities representing
  basic types so that they are close to the new basic type names:
    real -> real_32
	double -> double_32
	float -> real_32
	long -> integer
	....


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/special_b.e
File length: 6942 byte(s)
Diff to previous 43173
Fixed errors reported by gelint since our compiler does not do yet system
validity checking (i.e. flat degree 3 checking).


Revision 43173 - (view) (annotate) - [select for diffs]
Modified Sat May 22 04:41:03 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 6840 byte(s)
Diff to previous 43164
Forgot to uncomment code before committing, we now require that SPECIAL be
  a frozen class to prevent people to inherit from it as we have no idea
  on how to create descendant classes.


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/special_b.e
File length: 6848 byte(s)
Diff to previous 43086
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 43086 - (view) (annotate) - [select for diffs]
Modified Tue May 18 04:21:39 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 5384 byte(s)
Diff to previous 42641
Used two words names instead of just one for `put_xx', `read_xx' and `last_xxx' routines.
Used specific `put_xxx_id' routines to generate runtime IDs. This removes those
  very annoying `- 1' in the code because the runtime and the compiler are not
  indexed the same way.


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/special_b.e
File length: 5317 byte(s)
Diff to previous 40533
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 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/special_b.e
File length: 5315 byte(s)
Diff to previous 40402
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 40402 - (view) (annotate) - [select for diffs]
Modified Thu Nov 13 00:55:00 2003 UTC (16 years, 1 month ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 5187 byte(s)
Diff to previous 37693
Fixed `new_type' to force a freeze when needed if those classes contain
C externals to match precursor version.


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


Revision 35042 - (view) (annotate) - [select for diffs]
Modified Tue Dec 10 00:21:54 2002 UTC (17 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 5135 byte(s)
Diff to previous 32445
Fixed incorrect generation of value of `egc_sp_ref' where it will take the
value of the last derivation of special which is not a basic type. But this
is incorrect since we only want the SPECIAL [ANY] derivation only, not the
one for expanded classes.


Revision 32445 - (view) (annotate) - [select for diffs]
Modified Wed Jun 12 17:07:54 2002 UTC (17 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 5102 byte(s)
Diff to previous 28398
Cosmetics.
Added generation of `egc_sp_ref' to represent SPECIAL of references.
Modified generation of `egc_sp_XX' variables to include a case to (uint32)
as it is there type as defined in `eif_project.h'.


Revision 28398 - (view) (annotate) - [select for diffs]
Modified Wed Oct 24 22:30:40 2001 UTC (18 years, 1 month ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4552 byte(s)
Diff to previous 27539
Added redefinition of new feature of CLASS_C `is_special_array' to make
the difference between SPECIAL and TO_SPECIAL.


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/special_b.e
File length: 4517 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/special_b.e
File length: 4477 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/special_b.e
File length: 3706 byte(s)
Diff to previous 10200
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 10200 - (view) (annotate) - [select for diffs]
Modified Fri May 22 01:28:10 1998 UTC (21 years, 6 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 3742 byte(s)
Diff to previous 9737
Removed a useless inheritance of SHARED_TYPES


Revision 9737 - (view) (annotate) - [select for diffs]
Modified Fri Mar 20 03:59:29 1998 UTC (21 years, 8 months ago) by fiat
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 3757 byte(s)
Diff to previous 9719
Changed the generated c code for the egc_ and _init system.


Revision 9719 - (view) (annotate) - [select for diffs]
Modified Wed Mar 18 20:44:45 1998 UTC (21 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 3745 byte(s)
Diff to previous 9703
Removed the declaration of variables which are not defined in the Run-time:
egc_*


Revision 9703 - (view) (annotate) - [select for diffs]
Modified Wed Mar 18 00:44:21 1998 UTC (21 years, 8 months ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 3940 byte(s)
Diff to previous 9691
Change the signature of the function to generate the plug file


Revision 9691 - (view) (annotate) - [select for diffs]
Modified Tue Mar 17 23:27:26 1998 UTC (21 years, 8 months ago) by fiat
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 3941 byte(s)
Diff to previous 8808
Changed the generated C code to use the convention  egc_ as a prefix for the
variables intialised in the system.


Revision 8808 - (view) (annotate) - [select for diffs]
Modified Wed Dec 10 17:39:50 1997 UTC (22 years ago) by manus
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4002 byte(s)
Diff to previous 7883
Final changes to the new FIXED_LIST in CLASS_C
Cosmetics
Fixed a problem with is_equal from UNIVERSE_I


Revision 7883 - (view) (annotate) - [select for diffs]
Modified Fri May 9 13:02:25 1997 UTC (22 years, 7 months ago) by zorans
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4023 byte(s)
Diff to previous 3653
typo corrected


Revision 3653 - (view) (annotate) - [select for diffs]
Modified Mon Jan 15 15:47:20 1996 UTC (23 years, 10 months ago) by ericb
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4024 byte(s)
Diff to previous 621
new abstractions for system counters (class ids and type ids)


Revision 621 - (view) (annotate) - [select for diffs]
Modified Thu Jul 14 21:37:03 1994 UTC (25 years, 5 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4006 byte(s)
Diff to previous 485
*** empty log message ***


Revision 485 - (view) (annotate) - [select for diffs]
Modified Fri Feb 18 11:40:51 1994 UTC (25 years, 9 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4004 byte(s)
Diff to previous 353
*** empty log message ***


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/special_b.e
File length: 4096 byte(s)
Diff to previous 296
*** empty log message ***


Revision 296 - (view) (annotate) - [select for diffs]
Modified Thu Aug 19 20:09:35 1993 UTC (26 years, 3 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4037 byte(s)
Diff to previous 146
*** empty log message ***


Revision 146 - (view) (annotate) - [select for diffs]
Modified Mon Apr 5 10:16:44 1993 UTC (26 years, 8 months ago) by grator
Original Path: trunk/Src/bench/Eiffel/eiffel/interface/special_b.e
File length: 4025 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/special_b.e
File length: 3770 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