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

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/compilation/et_class_type_status_checker1.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 19  inherit Line 19  inherit
19    
20          ET_AST_NULL_PROCESSOR          ET_AST_NULL_PROCESSOR
21                  redefine                  redefine
                         process_bit_feature,  
                         process_bit_n,  
22                          process_class,                          process_class,
23                          process_class_type,                          process_class_type,
24                          process_qualified_like_type,                          process_qualified_like_type,
# Line 52  feature -- Validity checking Line 50  feature -- Validity checking
50    
51  feature {NONE} -- Type validity  feature {NONE} -- Type validity
52    
         check_bit_type_validity (a_type: ET_BIT_TYPE)  
                         -- Check whether all classes that appear in  
                         -- `a_type' exist and have already been parsed.  
                         -- 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.is_preparsed then  
                                 set_fatal_error  
                         elseif not l_class.is_parsed or else l_class.has_syntax_error then  
                                 set_fatal_error  
                         end  
                 end  
   
53          check_class_type_validity (a_type: ET_CLASS_TYPE)          check_class_type_validity (a_type: ET_CLASS_TYPE)
54                          -- Check whether all classes that appear in                          -- Check whether all classes that appear in
55                          -- `a_type' exist and have already been parsed.                          -- `a_type' exist and have already been parsed.
# Line 135  feature {NONE} -- Type validity Line 116  feature {NONE} -- Type validity
116    
117  feature {ET_AST_NODE} -- Type dispatcher  feature {ET_AST_NODE} -- Type dispatcher
118    
         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  
   
119          process_class (a_class: ET_CLASS)          process_class (a_class: ET_CLASS)
120                          -- Process `a_class'.                          -- Process `a_class'.
121                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23