/[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 11263 by manus, Thu Sep 10 01:35:47 1998 UTC revision 11302 by manus, Sun Sep 13 22:35:07 1998 UTC
# Line 11  inherit Line 11  inherit
11                  redefine                  redefine
12                          is_none, dump, type_i, same_as,                          is_none, dump, type_i, same_as,
13                          internal_conform_to, append_to,                          internal_conform_to, append_to,
14                          storage_info, storage_info_with_name, associated_eclass                          storage_info, storage_info_with_name
15                  end                  end
16    
17  feature -- Comparison  feature -- Comparison
# Line 29  feature -- Properties Line 29  feature -- Properties
29    
30  feature -- Access  feature -- Access
31    
         associated_eclass: CLASS_C is  
                         -- No associated class  
                 do  
                 end  
   
32          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
33                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
34                  do                  do
35                          Result := other.is_none                          Result := other.is_none
36                  end                  end
37    
38            associated_class: CLASS_C is
39                    do
40                            -- No associated class
41                    end
42    
43  feature -- Output  feature -- Output
44    
45          dump: STRING is "NONE"          dump: STRING is "NONE"
# Line 65  feature {COMPILER_EXPORTER} Line 65  feature {COMPILER_EXPORTER}
65                          !!Result                          !!Result
66                  end                  end
67    
         associated_class: CLASS_C is  
                 require else  
                         True  
                 do  
                         -- No associated class  
                 end  
   
68          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is
69                          -- Does `other' conform to Current ?                          -- Does `other' conform to Current ?
70                  do                  do

Legend:
Removed from v.11263  
changed lines
  Added in v.11302

  ViewVC Help
Powered by ViewVC 1.1.23