/[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 1165 by grator, Thu Aug 19 20:09:35 1993 UTC revision 1166 by grator, Tue Oct 4 22:59:47 1994 UTC
# Line 7  inherit Line 7  inherit
7          BASIC_A          BASIC_A
8                  redefine                  redefine
9                          is_none, dump, type_i, associated_class, same_as,                          is_none, dump, type_i, associated_class, same_as,
10                          internal_conform_to, append_clickable_signature                          internal_conform_to, append_clickable_signature,
11                            storage_info, storage_info_with_name
12                  end                  end
13    
14  feature  feature
# Line 51  feature Line 52  feature
52                          Result := True;                          Result := True;
53                  end;                  end;
54    
55        storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
56                -- Storage info for Current type in class `classc'
57                -- and store the name of the class for Current
58            do
59                !! Result.make ("NONE", 0)
60            end;
61    
62  end  end

Legend:
Removed from v.1165  
changed lines
  Added in v.1166

  ViewVC Help
Powered by ViewVC 1.1.23