2018-07-19 13:46:51 +02:00
|
|
|
require_relative "normalizer"
|
|
|
|
|
|
|
|
module Ruby
|
2018-09-01 14:54:25 +02:00
|
|
|
# The if must have condition and a true branch, the false is optional
|
|
|
|
#
|
2019-10-03 23:36:49 +02:00
|
|
|
# It maps pretty much one to one to a Sol, except for "hoisting"
|
2018-09-01 14:54:25 +02:00
|
|
|
#
|
|
|
|
# Ruby may have super complex expressions as the condition, whereas
|
2019-10-03 23:36:49 +02:00
|
|
|
# Sol may not. Ie of a Statement list all but the last are hoisted to before
|
|
|
|
# the sol if. This is equivalent, just easier to compile later
|
2018-09-01 14:54:25 +02:00
|
|
|
#
|
|
|
|
# The hoisintg code is in Normalizer, as it is also useed in return and while
|
2018-07-19 13:46:51 +02:00
|
|
|
class IfStatement < Statement
|
|
|
|
include Normalizer
|
|
|
|
|
|
|
|
attr_reader :condition , :if_true , :if_false
|
|
|
|
|
|
|
|
def initialize( cond , if_true , if_false = nil)
|
|
|
|
@condition = cond
|
|
|
|
@if_true = if_true
|
|
|
|
@if_false = if_false
|
|
|
|
end
|
|
|
|
|
2019-10-03 23:36:49 +02:00
|
|
|
def to_sol
|
|
|
|
cond , hoisted = *normalized_sol(@condition)
|
|
|
|
me = Sol::IfStatement.new(cond , @if_true&.to_sol, @if_false&.to_sol)
|
2019-08-16 17:42:57 +02:00
|
|
|
return me unless hoisted
|
2019-10-03 23:36:49 +02:00
|
|
|
Sol::Statements.new( hoisted ) << me
|
2018-07-19 13:46:51 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
def has_false?
|
|
|
|
@if_false != nil
|
|
|
|
end
|
|
|
|
|
|
|
|
def has_true?
|
|
|
|
@if_true != nil
|
|
|
|
end
|
|
|
|
|
|
|
|
def to_s(depth = 0)
|
2019-09-19 19:48:21 +02:00
|
|
|
parts = "if(#{@condition})\n"
|
2019-10-02 16:42:24 +02:00
|
|
|
parts += " #{@if_true.to_s(1)}\n" if(@if_true)
|
2019-09-19 19:48:21 +02:00
|
|
|
parts += "else\n" if(@if_false)
|
2019-10-02 16:42:24 +02:00
|
|
|
parts += " #{@if_false.to_s(1)}\n" if(@if_false)
|
2019-09-19 19:48:21 +02:00
|
|
|
parts += "end\n"
|
|
|
|
at_depth(depth , parts )
|
2018-07-19 13:46:51 +02:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|