/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/like_type_a.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 56535 by manus, Tue Jan 17 01:37:10 2006 UTC revision 57371 by manus, Wed Mar 8 00:05:46 2006 UTC
# Line 11  deferred class Line 11  deferred class
11  inherit  inherit
12          TYPE_A          TYPE_A
13                  undefine                  undefine
14                          instantiation_in, same_as, solved_type                          instantiation_in, same_as
15                  redefine                  redefine
16                          actual_type,                          actual_type,
17                          conformance_type,                          conformance_type,
# Line 26  inherit Line 26  inherit
26                          is_loose,                          is_loose,
27                          is_none,                          is_none,
28                          is_reference,                          is_reference,
29                            is_valid,
30                          meta_type                          meta_type
31                  end                  end
32    
         SHARED_LIKE_CONTROLER  
   
33  feature -- Properties  feature -- Properties
34    
35          actual_type: TYPE_A          actual_type: TYPE_A
# Line 83  feature -- Properties Line 82  feature -- Properties
82                          Result := actual_type.is_none                          Result := actual_type.is_none
83                  end                  end
84    
85            is_valid: BOOLEAN is
86                            -- Is current type valid?
87                    do
88                            Result := actual_type /= Void
89                    end
90    
91  feature -- Access  feature -- Access
92    
93          same_as (other: TYPE_A): BOOLEAN is          same_as (other: TYPE_A): BOOLEAN is
# Line 111  feature -- Primitives Line 116  feature -- Primitives
116                          actual_type := a                          actual_type := a
117                  end                  end
118    
         solved_type (feat_table: FEATURE_TABLE f: FEATURE_I): like Current is  
                         -- Calculated type in function of the feature `f' which has  
                         -- the type Current and the feautre table `feat_table  
                 deferred  
                 end  
   
119          instantiation_in (type: TYPE_A written_id: INTEGER): TYPE_A is          instantiation_in (type: TYPE_A written_id: INTEGER): TYPE_A is
120                          -- Instantiation of Current in the context of `class_type',                          -- Instantiation of Current in the context of `class_type',
121                          -- assuming that Current is written in class of id `written_id'.                          -- assuming that Current is written in class of id `written_id'.
# Line 175  indexing Line 174  indexing
174          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
175          copying: "[          copying: "[
176                          This file is part of Eiffel Software's Eiffel Development Environment.                          This file is part of Eiffel Software's Eiffel Development Environment.
177                            
178                          Eiffel Software's Eiffel Development Environment is free                          Eiffel Software's Eiffel Development Environment is free
179                          software; you can redistribute it and/or modify it under                          software; you can redistribute it and/or modify it under
180                          the terms of the GNU General Public License as published                          the terms of the GNU General Public License as published
181                          by the Free Software Foundation, version 2 of the License                          by the Free Software Foundation, version 2 of the License
182                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
183                            
184                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
185                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
186                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
187                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
188                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
189                            
190                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
191                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
192                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,

Legend:
Removed from v.56535  
changed lines
  Added in v.57371

  ViewVC Help
Powered by ViewVC 1.1.23