/[eiffelstudio]/vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/compilation/et_class_type_status_checker2.e
ViewVC logotype

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/compilation/et_class_type_status_checker2.e

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

revision 98697 by manus, Sat May 7 16:18:26 2016 UTC revision 98698 by manus, Mon May 9 13:53:54 2016 UTC
# Line 20  inherit Line 20  inherit
20    
21          ET_AST_NULL_PROCESSOR          ET_AST_NULL_PROCESSOR
22                  redefine                  redefine
                         process_bit_feature,  
                         process_bit_n,  
23                          process_class,                          process_class,
24                          process_class_type,                          process_class_type,
25                          process_qualified_like_braced_type,                          process_qualified_like_braced_type,
# Line 53  feature -- Validity checking Line 51  feature -- Validity checking
51    
52  feature {NONE} -- Type validity  feature {NONE} -- Type validity
53    
         check_bit_type_validity (a_type: ET_BIT_TYPE)  
                         -- Check whether all classes that appear in `a_type'  
                         -- have their ancestors already successfully built.  
                         -- Set `has_fatal_error' to True otherwise.  
                 require  
                         a_type_not_void: a_type /= Void  
                 local  
                         l_class: ET_NAMED_CLASS  
                 do  
                         l_class := a_type.named_base_class  
                         if not l_class.ancestors_built or else l_class.has_ancestors_error then  
                                 set_fatal_error  
                         end  
                 end  
   
54          check_class_type_validity (a_type: ET_CLASS_TYPE)          check_class_type_validity (a_type: ET_CLASS_TYPE)
55                          -- Check whether all classes that appear in `a_type'                          -- Check whether all classes that appear in `a_type'
56                          -- have their ancestors already successfully built.                          -- have their ancestors already successfully built.
# Line 130  feature {NONE} -- Type validity Line 113  feature {NONE} -- Type validity
113    
114  feature {ET_AST_NODE} -- Type dispatcher  feature {ET_AST_NODE} -- Type dispatcher
115    
         process_bit_feature (a_type: ET_BIT_FEATURE)  
                         -- Process `a_type'.  
                 do  
                         check_bit_type_validity (a_type)  
                 end  
   
         process_bit_n (a_type: ET_BIT_N)  
                         -- Process `a_type'.  
                 do  
                         check_bit_type_validity (a_type)  
                 end  
   
116          process_class (a_class: ET_CLASS)          process_class (a_class: ET_CLASS)
117                          -- Process `a_class'.                          -- Process `a_class'.
118                  do                  do

Legend:
Removed from v.98697  
changed lines
  Added in v.98698

  ViewVC Help
Powered by ViewVC 1.1.23