/[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 13227 by manus, Fri Feb 5 02:28:58 1999 UTC revision 26913 by manus, Sun Aug 12 23:50:20 2001 UTC
# Line 10  inherit Line 10  inherit
10          TYPE_A          TYPE_A
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
                         storage_info, storage_info_with_name  
14                  end                  end
15    
16  feature -- Comparison  feature -- Comparison
# Line 45  feature -- Output Line 44  feature -- Output
44          dump: STRING is "NONE"          dump: STRING is "NONE"
45                          -- Dumped trace                          -- Dumped trace
46    
47          append_to (st: STRUCTURED_TEXT) is          ext_append_to (st: STRUCTURED_TEXT; f: E_FEATURE) is
48                  do                  do
49                          st.add_string ("NONE")                          st.add (ti_None_class)
50                  end                  end
51    
52  feature {COMPILER_EXPORTER}  feature {COMPILER_EXPORTER}
# Line 75  feature {COMPILER_EXPORTER} Line 74  feature {COMPILER_EXPORTER}
74  -- FIXME: This test needs to be done, but since it's causing to much trouble for now  -- FIXME: This test needs to be done, but since it's causing to much trouble for now
75  -- we just desactivated it and we are back to the previous implementation  -- we just desactivated it and we are back to the previous implementation
76  --                      Result := not (other.is_basic or else other.is_expanded)  --                      Result := not (other.is_basic or else other.is_expanded)
77                          Result := True                          Result := not other.is_void
78                  end                  end
79    
     storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is  
             -- Storage info for Current type in class `classc'  
             -- and store the name of the class for Current  
         local  
                 fake_id: CLASS_ID  
         do  
                 !! fake_id.make (0)  
                 !! Result.make_for_bench ("NONE", fake_id)  
         end  
   
80  end -- class NONE_A  end -- class NONE_A

Legend:
Removed from v.13227  
changed lines
  Added in v.26913

  ViewVC Help
Powered by ViewVC 1.1.23