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

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

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

revision 41740 by manus, Fri Mar 5 19:07:40 2004 UTC revision 44539 by manus, Wed Aug 4 18:14:58 2004 UTC
# Line 9  class Line 9  class
9  inherit  inherit
10          TYPE_A          TYPE_A
11                  redefine                  redefine
12                          is_none, dump, type_i, same_as                          is_none, dump, type_i, same_as, is_full_named_type
13                  end                  end
14    
15  feature -- Comparison  feature -- Comparison
# Line 25  feature -- Properties Line 25  feature -- Properties
25          is_none: BOOLEAN is True          is_none: BOOLEAN is True
26                          -- Is the current type a none type ?                          -- Is the current type a none type ?
27    
28            is_full_named_type: BOOLEAN is True
29                            -- Current is a full named type.
30    
31  feature -- Access  feature -- Access
32    
33          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is

Legend:
Removed from v.41740  
changed lines
  Added in v.44539

  ViewVC Help
Powered by ViewVC 1.1.23