2017-04-01 20:28:57 +02:00
|
|
|
module Vool
|
|
|
|
class IfStatement < Statement
|
2017-04-06 15:06:51 +02:00
|
|
|
attr_reader :condition , :if_true , :if_false
|
2017-04-02 18:12:42 +02:00
|
|
|
|
2017-08-30 16:21:13 +02:00
|
|
|
def initialize( cond , if_true , if_false = nil)
|
2017-04-02 18:12:42 +02:00
|
|
|
@condition = cond
|
2017-04-06 15:06:51 +02:00
|
|
|
@if_true = if_true
|
|
|
|
@if_false = if_false
|
|
|
|
simplify_condition
|
|
|
|
end
|
|
|
|
|
2017-08-30 16:21:13 +02:00
|
|
|
def to_mom( method )
|
2017-09-04 20:00:08 +02:00
|
|
|
if_true = @if_true.to_mom( method )
|
|
|
|
if_false = @if_false.to_mom( method )
|
|
|
|
condition , hoisted = hoist_condition( method )
|
|
|
|
check = Mom::IfStatement.new( Mom::TruthCheck.new(condition) , if_true , if_false )
|
|
|
|
check.hoisted = hoisted.to_mom(method) if hoisted
|
|
|
|
check
|
2017-08-30 16:21:13 +02:00
|
|
|
end
|
|
|
|
|
2017-08-30 21:54:03 +02:00
|
|
|
def hoist_condition( method )
|
2017-08-30 21:27:12 +02:00
|
|
|
return [@condition] if @condition.is_a?(Vool::Named)
|
|
|
|
local = method.create_tmp
|
2017-09-04 20:00:08 +02:00
|
|
|
assign = LocalAssignment.new( local , @condition)
|
|
|
|
[Vool::LocalVariable.new(local) , assign]
|
2017-08-30 16:21:13 +02:00
|
|
|
end
|
|
|
|
|
2017-04-08 11:10:42 +02:00
|
|
|
def collect(arr)
|
|
|
|
@if_true.collect(arr)
|
|
|
|
@if_false.collect(arr)
|
|
|
|
super
|
|
|
|
end
|
|
|
|
|
2017-04-06 15:06:51 +02:00
|
|
|
def simplify_condition
|
|
|
|
return unless @condition.is_a?(ScopeStatement)
|
|
|
|
@condition = @condition.first if @condition.single?
|
2017-04-02 18:12:42 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
def has_false?
|
|
|
|
@if_false != nil
|
|
|
|
end
|
|
|
|
|
|
|
|
def has_true?
|
|
|
|
@if_true != nil
|
|
|
|
end
|
2017-08-30 17:23:54 +02:00
|
|
|
|
2017-04-01 20:28:57 +02:00
|
|
|
end
|
|
|
|
end
|