/[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 3077 by grator, Tue Oct 4 22:59:47 1994 UTC revision 3078 by dinov, Mon Oct 30 11:24:52 1995 UTC
# Line 8  inherit Line 8  inherit
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                          storage_info, storage_info_with_name, associated_eclass
12                  end                  end
13    
14  feature  feature -- Properties
15    
16          is_none: BOOLEAN is          is_none: BOOLEAN is
17                          -- Is the current type a none type ?                          -- Is the current type a none type ?
# Line 19  feature Line 19  feature
19                          Result := True;                          Result := True;
20                  end;                  end;
21    
22            associated_eclass: E_CLASS is
23                            -- No associated class
24                    do
25                    end;
26    
27    feature -- Output
28    
29          dump: STRING is "NONE";          dump: STRING is "NONE";
30                          -- Dumped trace                          -- Dumped trace
31    
# Line 27  feature Line 34  feature
34                          a_clickable.put_string ("NONE");                          a_clickable.put_string ("NONE");
35                  end;                  end;
36    
37    feature
38    
39          type_i: NONE_I is          type_i: NONE_I is
40                          -- Void C type                          -- Void C type
41                  once                  once

Legend:
Removed from v.3077  
changed lines
  Added in v.3078

  ViewVC Help
Powered by ViewVC 1.1.23