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

Diff of /vendor/gobosoft.com/gobo/4.0d/library/tools/src/eiffel/compilation/et_signature_checker.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 23  inherit Line 23  inherit
23                  undefine                  undefine
24                          make                          make
25                  redefine                  redefine
                         process_bit_feature,  
                         process_bit_n,  
26                          process_class,                          process_class,
27                          process_class_type,                          process_class_type,
28                          process_qualified_like_type,                          process_qualified_like_type,
# Line 590  feature {NONE} -- Signature validity Line 588  feature {NONE} -- Signature validity
588    
589  feature {NONE} -- VTCT Validity checking  feature {NONE} -- VTCT Validity checking
590    
         check_bit_feature_vtct_validity (a_type: ET_BIT_FEATURE)  
                         -- Check whether `a_type' is based on known classes.  
                 require  
                         a_type_not_void: a_type /= Void  
                 do  
 -- TODO: should we check whether class BIT is in the universe or not?  
                         -- No validity rule to be checked.  
                 end  
   
         check_bit_n_vtct_validity (a_type: ET_BIT_N)  
                         -- Check whether `a_type' is based on known classes.  
                 require  
                         a_type_not_void: a_type /= Void  
                 do  
 -- TODO: should we check whether class BIT is in the universe or not?  
                         -- No validity rule to be checked.  
                 end  
   
591          check_class_type_vtct_validity (a_type: ET_CLASS_TYPE)          check_class_type_vtct_validity (a_type: ET_CLASS_TYPE)
592                          -- Check whether `a_type' is based on known classes.                          -- Check whether `a_type' is based on known classes.
593                  require                  require
# Line 734  feature {NONE} -- Tuple-type-unfolding Line 714  feature {NONE} -- Tuple-type-unfolding
714    
715  feature {ET_AST_NODE} -- Type processing  feature {ET_AST_NODE} -- Type processing
716    
         process_bit_feature (a_type: ET_BIT_FEATURE)  
                         -- Process `a_type'.  
                 do  
                         if processing_mode = check_vtct_validity_mode then  
                                 check_bit_feature_vtct_validity (a_type)  
                         end  
                 end  
   
         process_bit_n (a_type: ET_BIT_N)  
                         -- Process `a_type'.  
                 do  
                         if processing_mode = check_vtct_validity_mode then  
                                 check_bit_n_vtct_validity (a_type)  
                         end  
                 end  
   
717          process_class (a_type: ET_CLASS)          process_class (a_type: ET_CLASS)
718                          -- Process `a_type'.                          -- Process `a_type'.
719                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23