/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/AST/parser_override/type_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/AST/parser_override/type_a.e

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

revision 69867 by juliant, Fri Aug 3 01:00:54 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 308  feature -- Properties Line 308  feature -- Properties
308                          -- Do nothing                          -- Do nothing
309                  end                  end
310    
311          is_referencing_current: BOOLEAN is          frozen is_referencing_current: BOOLEAN is
312                          -- Is this type anchored in someway to `Current'?                          -- Is this type anchored in someway to `Current'?
313                            --| This is mainly a helper function to increase code readability.
314                  local                  local
315                          l_type, l_old_type: TYPE_A                          l_type, l_old_type: TYPE_A
316                  do                  do
317                          from                          Result := actual_type.is_like_current
                                 l_type := Current  
                         until  
                                 l_old_type = l_type  
                         loop  
                                 l_old_type := l_type  
                                 l_type := l_type.actual_type  
                         end  
                         Result := l_type.is_like_current  
                                 -- TODO: change implementation to this if it is the same  
                         check Result = actual_type.is_like_current end  
318                  end                  end
319    
320          is_monomorph: BOOLEAN is          is_monomorph: BOOLEAN is

Legend:
Removed from v.69867  
changed lines
  Added in v.69868

  ViewVC Help
Powered by ViewVC 1.1.23