Class: Kumi::Core::Analyzer::Passes::ContractCheckerPass

Inherits:
PassBase
  • Object
show all
Defined in:
lib/kumi/core/analyzer/passes/contract_checker_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

In: state, state Out: validates contracts and reports errors



12
13
14
15
16
17
18
19
20
21
22
23
24
 
# File 'lib/kumi/core/analyzer/passes/contract_checker_pass.rb', line 12

def run(errors)
  snast_module = get_state(:snast_module, required: true)
  input_table = get_state(:input_table, required: true)
  evaluation_order = get_state(:evaluation_order, required: true)

  validate_snast_structure(snast_module, errors)
  validate_input_table(input_table, errors)
  validate_snast_consistency(snast_module, input_table, errors)
  validate_evaluation_order_consistency(snast_module, evaluation_order, errors)
  validate_snast_metadata_requirements(snast_module, errors)

  state
end