/[eiffelstudio]/trunk/Src/bench/Eiffel/API/evaluated_type/like_type_a.e
ViewVC logotype

Log of /trunk/Src/bench/Eiffel/API/evaluated_type/like_type_a.e

Parent Directory Parent Directory | Revision Log Revision Log


Sticky Revision:
(Current path doesn't exist after revision 58325)

Revision 44434 - (view) (annotate) - [select for diffs]
Modified Wed Jul 21 04:49:24 2004 UTC (15 years, 6 months ago) by manus
File length: 3082 byte(s)
Diff to previous 42626
Removed support for `reference' types:
  - removed `reference_actual_type'.
  - added `is_conformant_to' which enables us to find if one type inherits
    from another one in a conformant way. It is needed for checking constraint
	genericity when actual generic is an expanded and constraint is a reference.
	Before we were using `reference_actual_type.conform_to' but since we
	removed it, we need something else and this is `is_conformant_to'.


Revision 42626 - (view) (annotate) - [select for diffs]
Modified Fri Apr 9 02:52:52 2004 UTC (15 years, 9 months ago) by manus
File length: 3294 byte(s)
Diff to previous 41738
Implemented constraints that are either reference or expanded.
Added proper redefinition of newly introduced `is_reference' in TYPE_A.
Fixed missing redefinition of `is_expanded' from TYPE_A.


Revision 41738 - (view) (annotate) - [select for diffs]
Modified Fri Mar 5 18:59:26 2004 UTC (15 years, 10 months ago) by manus
File length: 3020 byte(s)
Diff to previous 40762
Added definition of `is_external' to find if we are handling an external type.
Added definition of `reference_actual_type' in case we anchor to a basic type.
Renamed `internal_conform_to' into `conform_to' since `internal_conform_to'
  has now been removed from parent.
Fixed `type_i' so that when the type is expanded, there is no need to have
  a CREATE_INFO instance because no redefinition can occur on the anchor type.


Revision 40762 - (view) (annotate) - [select for diffs]
Modified Thu Dec 11 23:17:07 2003 UTC (16 years, 1 month ago) by manus
File length: 2638 byte(s)
Diff to previous 30264
Use `deep_twin' instead of `deep_clone' which is now made obsolete.
Use `twin' instead of `clone' which is now made obsolete.
Use `as_lower' and `as_upper' whenever appropriate instead of cloning and
  then calling `to_lower' or `to_upper'.


Revision 30264 - (view) (annotate) - [select for diffs]
Modified Mon Jan 21 01:39:29 2002 UTC (18 years ago) by manus
File length: 2649 byte(s)
Diff to previous 26913
Removed `rout_id' as it is only used in the LIKE_FEATURE descendant and therefore
we save a small amount of space.


Revision 26913 - (view) (annotate) - [select for diffs]
Modified Sun Aug 12 23:50:20 2001 UTC (18 years, 5 months ago) by manus
File length: 2767 byte(s)
Diff to previous 12165
Merged branch `dev46_manu' to the trunc.


Revision 12165 - (view) (annotate) - [select for diffs]
Modified Sat Dec 5 19:29:49 1998 UTC (21 years, 1 month ago) by manus
File length: 2772 byte(s)
Diff to previous 11302
Before when compiling this code:

	secret: REAL
	guess_history: ARRAY [like secret]

	do_something is
		local
			gh: like guess_history
		do
			gh := guess_history
		end

you got the following error:

Error code: VJAR
Type error: source of assignment does not conform to target.
What to do: make sure that type of source (right-hand side)
  conforms (in the sense of inheritance rule) to type of target.

Class: GUESSBOX
Feature: is_closest
Target name: gh
Target type: ARRAY [[like secret]: REAL]
Source_type: ARRAY [[like secret]: REAL]

because we forget to take the actual type of `other' in internal_conforms_to.


Revision 11302 - (view) (annotate) - [select for diffs]
Modified Sun Sep 13 22:35:07 1998 UTC (21 years, 4 months ago) by manus
File length: 2760 byte(s)
Diff to previous 11128
Removed `evaluated_type' and `associated_eclass' from TYPE_A and from their
descendants.

The first one, because it was a synonym to `actual_type'
The second one because it was the same as `associated_class'

Removed also useless precondition which were not exactly doing what their author
expected.


Revision 11128 - (view) (annotate) - [select for diffs]
Modified Mon Aug 24 02:25:56 1998 UTC (21 years, 5 months ago) by manus
File length: 2940 byte(s)
Diff to previous 10886
We removed E_CLASS from the system, we should now use CLASS_C instead.


Revision 10886 - (view) (annotate) - [select for diffs]
Modified Mon Aug 10 23:49:22 1998 UTC (21 years, 5 months ago) by manus
File length: 2940 byte(s)
Diff to previous 9658
Fixed a bug in the generic conformance when handling with anchored types.


Revision 9658 - (view) (annotate) - [select for diffs]
Added Sun Mar 15 02:27:12 1998 UTC (21 years, 10 months ago) by manus
File length: 2771 byte(s)
Add a new class to the system for simplification purpose


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