Class: Kumi::Core::Analyzer::Passes::DFValidatePass

Inherits:
PassBase
  • Object
show all
Defined in:
lib/kumi/core/analyzer/passes/df_validate_pass.rb

Instance Method Summary collapse

Methods inherited from PassBase

#debug, #debug_enabled?, #initialize

Methods included from ErrorReporting

#inferred_location, #raise_localized_error, #raise_syntax_error, #raise_type_error, #report_enhanced_error, #report_error, #report_semantic_error, #report_syntax_error, #report_type_error

Constructor Details

This class inherits a constructor from Kumi::Core::Analyzer::Passes::PassBase

Instance Method Details

#run(_errors) ⇒ Object 



10
11
12
13
14
15
16
17
18
19
 
# File 'lib/kumi/core/analyzer/passes/df_validate_pass.rb', line 10

def run(_errors)
  unoptimized = get_state(:df_module_unoptimized, required: false)
  optimized = get_state(:df_module, required: false)
  registry = get_state(:registry, required: false)

  Kumi::IR::DF::Validator.validate!(unoptimized, allow_fold: true, registry:) if unoptimized
  Kumi::IR::DF::Validator.validate!(optimized, registry:) if optimized

  state
end