Class: IgniterLang::SemanticIREmitter

Inherits:
Object
  • Object
show all
Defined in:
lib/igniter_lang/semanticir_emitter.rb

Constant Summary collapse

FORMAT_VERSION = 
"0.1.0"

Instance Method Summary collapse

Instance Method Details

#emit(parsed_program, sample_input:) ⇒ Object Also known as: compile 



10
11
12
13
14
15
16
17
18
19
20
21
22
 
# File 'lib/igniter_lang/semanticir_emitter.rb', line 10

def emit(parsed_program, sample_input:)
  @types = type_shapes(parsed_program)
  semantic_contracts = parsed_program.fetch("contracts").map do |contract|
    emit_contract(parsed_program, contract, sample_input)
  end
  diagnostics = dedupe_oofs(semantic_contracts.flat_map { |contract| contract.fetch("diagnostics") })
  semantic_ir = diagnostics.empty? ? semantic_ir_program(parsed_program, semantic_contracts) : nil

  {
    "semantic_ir" => semantic_ir,
    "compilation_report" => compilation_report(parsed_program, diagnostics, semantic_ir)
  }
end

#emit_typed(typed_program) ⇒ Object 



26
27
28
29
30
31
32
33
34
 
# File 'lib/igniter_lang/semanticir_emitter.rb', line 26

def emit_typed(typed_program)
  diagnostics = typed_program.fetch("type_errors", [])
  semantic_ir = diagnostics.empty? ? typed_semantic_ir_program(typed_program) : nil

  {
    "semantic_ir" => semantic_ir,
    "compilation_report" => typed_compilation_report(typed_program, diagnostics, semantic_ir)
  }
end