/[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 3078 by dinov, Mon Oct 30 11:24:52 1995 UTC revision 3180 by dinov, Tue Nov 21 16:40:14 1995 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_to,
11                          storage_info, storage_info_with_name, associated_eclass                          storage_info, storage_info_with_name, associated_eclass
12                  end                  end
13    
# Line 19  feature -- Properties Line 19  feature -- Properties
19                          Result := True;                          Result := True;
20                  end;                  end;
21    
22    feature -- Access
23    
24          associated_eclass: E_CLASS is          associated_eclass: E_CLASS is
25                          -- No associated class                          -- No associated class
26                  do                  do
27                  end;                  end;
28    
29            same_as (other: TYPE_A): BOOLEAN is
30                            -- Is the current type the same as `other' ?
31                    do
32                            Result := other.is_none;
33                    end;
34    
35  feature -- Output  feature -- Output
36    
37          dump: STRING is "NONE";          dump: STRING is "NONE";
38                          -- Dumped trace                          -- Dumped trace
39    
40          append_clickable_signature (a_clickable: CLICK_WINDOW) is          append_to (ow: OUTPUT_WINDOW) is
41                  do                  do
42                          a_clickable.put_string ("NONE");                          ow.put_string ("NONE");
43                  end;                  end;
44    
45  feature  feature {COMPILER_EXPORTER}
46    
47          type_i: NONE_I is          type_i: NONE_I is
48                          -- Void C type                          -- Void C type
# Line 49  feature Line 57  feature
57                          -- No associated class                          -- No associated class
58                  end;                  end;
59    
         same_as (other: TYPE_A): BOOLEAN is  
                         -- Is the current type the same as `other' ?  
                 do  
                         Result := other.is_none;  
                 end;  
   
60          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is
61                          -- Does `other' conform to Current ?                          -- Does `other' conform to Current ?
62                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23