/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 55790 by alexk, Fri Nov 18 08:16:50 2005 UTC revision 56027 by alexk, Tue Dec 6 10:43:09 2005 UTC
# Line 9  deferred class Line 9  deferred class
9  inherit  inherit
10          TYPE_A          TYPE_A
11                  undefine                  undefine
12                          same_as, solved_type, instantiation_in                          instantiation_in, same_as, solved_type
13                  redefine                  redefine
14                          actual_type, has_like, is_loose, is_like, is_external,                          actual_type,
15                          is_basic, instantiated_in, meta_type,                          conformance_type,
16                            convert_to,
17                          has_associated_class,                          has_associated_class,
18                          is_reference, is_expanded, is_none, convert_to                          has_like,
19                            instantiated_in,
20                            is_basic,
21                            is_expanded,
22                            is_external,
23                            is_like,
24                            is_loose,
25                            is_none,
26                            is_reference,
27                            meta_type
28                  end                  end
29    
30          SHARED_LIKE_CONTROLER          SHARED_LIKE_CONTROLER
# Line 24  feature -- Properties Line 34  feature -- Properties
34          actual_type: TYPE_A          actual_type: TYPE_A
35                          -- Actual type of the anchored type in a given class                          -- Actual type of the anchored type in a given class
36    
37            conformance_type: TYPE_A is
38                            -- Type which is used to check conformance
39                    do
40                                    -- `conformance_type' has to be called because
41                                    -- `actual_type' may yield yet another anchored type.
42                            Result := actual_type.conformance_type
43                    end
44    
45          is_like: BOOLEAN is True          is_like: BOOLEAN is True
46                          -- Is the type anchored one ?                          -- Is the type anchored one ?
47    

Legend:
Removed from v.55790  
changed lines
  Added in v.56027

  ViewVC Help
Powered by ViewVC 1.1.23