/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/like_current.e

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

revision 55810 by alexk, Fri Nov 18 08:31:20 2005 UTC revision 55811 by alexk, Mon Nov 21 13:31:53 2005 UTC
# Line 26  feature -- Properties Line 26  feature -- Properties
26          is_like_current: BOOLEAN is True          is_like_current: BOOLEAN is True
27                          -- Is the current type an anchored type on Current ?                          -- Is the current type an anchored type on Current ?
28    
29          is_expanded: BOOLEAN is False          is_expanded: BOOLEAN is
30                          -- Is type expanded?                          -- Is type expanded?
31                    do
32                            if conformance_type /= Void then
33                                    Result := conformance_type.is_expanded
34                            end
35                    end
36    
37          is_reference: BOOLEAN is False          is_reference: BOOLEAN is
38                          -- Is type reference?                          -- Is type reference?
39                    do
40                            if conformance_type /= Void then
41                                    Result := conformance_type.is_reference
42                            end
43                    end
44    
45          is_none: BOOLEAN is False          is_none: BOOLEAN is False
46                          -- Is current actual type NONE?                          -- Is current actual type NONE?

Legend:
Removed from v.55810  
changed lines
  Added in v.55811

  ViewVC Help
Powered by ViewVC 1.1.23