Class: Kumi::Core::Analyzer::Passes::DeclarationValidatorPass

Inherits:
VisitorPass show all
Defined in:
lib/kumi/core/analyzer/passes/declaration_validator_pass.rb

Constant Summary

Constants inherited from PassBase

PassBase::HALT

Instance Method Summary collapse

Methods inherited from VisitorPass

#visit

Methods inherited from PassBase

contract_declared?, #debug, #debug_enabled?, declared_optional_reads, declared_reads, declared_writes, #initialize, optional_reads, reads, writes

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 



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

def run(errors)
  # nil when run in isolation without the input collector; in that
  # case input-path checking is skipped (no tree to check against).
  @input_metadata = get_state(:input_metadata, required: false)
  each_decl do |decl|
    visit(decl) { |node| validate_node(node, errors) }
  end
  state
end