Class: Mirah::AST::Condition

Inherits:
Node
  • Object
show all
Defined in:
lib/mirah/ast/flow.rb,
lib/mirah/compiler/flow.rb

Instance Attribute Summary

Attributes inherited from Node

#children, #inferred_type, #newline, #parent, #position

Instance Method Summary collapse

Methods inherited from Node

#<<, ===, #[], #[]=, #_dump, _load, #_set_parent, child, child_name, #child_nodes, #each, #empty?, #expr?, #inferred_type!, #initialize_copy, #insert, #inspect, #inspect_children, #line_number, #log, #precompile, #resolve_if, #resolved!, #resolved?, #simple_name, #string_value, #temp, #to_s, #top_level?, #validate_child, #validate_children

Constructor Details

#initialize(parent, line_number, &block) ⇒ Condition

Returns a new instance of Condition.



21
22
23
 
# File 'lib/mirah/ast/flow.rb', line 21

def initialize(parent, line_number, &block)
  super(parent, line_number, &block)
end

Instance Method Details

#compile(compiler, expression) ⇒ Object 



28
29
30
31
32
33
34
 
# File 'lib/mirah/compiler/flow.rb', line 28

def compile(compiler, expression)
  # TODO: can a condition ever be an expression? I don't think it can...
  compiler.line(line_number)
  predicate.compile(compiler, expression)
rescue Exception => ex
  raise Mirah::InternalCompilerError.wrap(ex, self)
end

#infer(typer, expression) ⇒ Object 



25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
 
# File 'lib/mirah/ast/flow.rb', line 25

def infer(typer, expression)
  unless resolved?
    @inferred_type = typer.infer(predicate, true)
    if @inferred_type && !@inferred_type.primitive?
      call = Call.new(parent, position, '!=') do |call|
        predicate.parent = call
        [predicate, [Null.new(call, position)]]
      end
      self.predicate = call
      @inferred_type = typer.infer(predicate, true)
    end

    @inferred_type ? resolved! : typer.defer(self)
  end

  @inferred_type
end