/[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 3632 by guusl, Mon Jan 15 11:35:14 1996 UTC revision 9656 by manus, Sun Mar 15 02:19:40 1998 UTC
# Line 1  Line 1 
1  indexing  indexing
2            description: "Actual type for integer type."
3          description:          date: "$Date$"
                 "Actual type for integer type.";  
         date: "$Date$";  
4          revision: "$Revision $"          revision: "$Revision $"
5    
6  class NONE_A  class
7            NONE_A
8    
9  inherit  inherit
10            TYPE_A
         BASIC_A  
11                  redefine                  redefine
12                          is_none, dump, type_i, associated_class, 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, associated_eclass
15                  end                  end
16    
17    feature -- Comparison
18    
19            is_equivalent (other: like Current): BOOLEAN is
20                            -- Is `other' equivalent to the current object ?
21                    do
22                            Result := True
23                    end
24    
25  feature -- Properties  feature -- Properties
26    
27          is_none: BOOLEAN is          is_none: BOOLEAN is True
28                          -- Is the current type a none type ?                          -- Is the current type a none type ?
                 do  
                         Result := True;  
                 end;  
29    
30  feature -- Access  feature -- Access
31    
32          associated_eclass: E_CLASS is          associated_eclass: E_CLASS is
33                          -- No associated class                          -- No associated class
34                  do                  do
35                  end;                  end
36    
37          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
38                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
39                  do                  do
40                          Result := other.is_none;                          Result := other.is_none
41                  end;                  end
42    
43  feature -- Output  feature -- Output
44    
45          dump: STRING is "NONE";          dump: STRING is "NONE"
46                          -- Dumped trace                          -- Dumped trace
47    
48          append_to (st: STRUCTURED_TEXT) is          append_to (st: STRUCTURED_TEXT) is
49                  do                  do
50                          st.add_string ("NONE");                          st.add_string ("NONE")
51                  end;                  end
52    
53  feature {COMPILER_EXPORTER}  feature {COMPILER_EXPORTER}
54    
55            create_info: CREATE_TYPE is
56                            -- Byte code information for entity type creation
57                    do
58                            !!Result
59                            Result.set_type (type_i)
60                    end
61    
62          type_i: NONE_I is          type_i: NONE_I is
63                          -- Void C type                          -- Void C type
64                  once                  once
65                          !!Result;                          !!Result
66                  end;                  end
67    
68          associated_class: CLASS_C is          associated_class: CLASS_C is
69                  require else                  require else
70                          True                          True
71                  do                  do
72                          -- No associated class                          -- No associated class
73                  end;                  end
74    
75          internal_conform_to (other: TYPE_A; in_generics: BOOLEAN): BOOLEAN is          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is
76                          -- Does `other' conform to Current ?                          -- Does `other' conform to Current ?
77                  do                  do
78                          Result := True;                          Result := True
79                  end;                  end
80    
81      storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is      storage_info, storage_info_with_name (classc: CLASS_C): S_CLASS_TYPE_INFO is
82              -- Storage info for Current type in class `classc'              -- Storage info for Current type in class `classc'
83              -- and store the name of the class for Current              -- and store the name of the class for Current
84          do          do
85              !! Result.make ("NONE", 0)              !! Result.make ("NONE", 0)
86          end;          end
87    
88  end -- class NONE_A  end -- class NONE_A

Legend:
Removed from v.3632  
changed lines
  Added in v.9656

  ViewVC Help
Powered by ViewVC 1.1.23