Class: ExecEqualQInstruction
Instance Attribute Summary
Attributes inherited from Instruction
#context
Instance Method Summary
collapse
Methods inherited from Instruction
all_instructions, #go, inherited, #initialize, #needs, #pushes, to_nudgecode
Constructor Details
This class inherits a constructor from Instruction
Instance Method Details
#cleanup ⇒ Object
14
15
16
|
# File 'lib/instructions/exec/exec_equal_q.rb', line 14
def cleanup
pushes :bool, @result
end
|
#derive ⇒ Object
9
10
11
12
13
|
# File 'lib/instructions/exec/exec_equal_q.rb', line 9
def derive
x1 = NudgeProgram.new(@arg1)
x2 = NudgeProgram.new(@arg2)
@result = ValuePoint.new("bool", x1.blueprint == x2.blueprint)
end
|
#preconditions? ⇒ Boolean
2
3
4
|
# File 'lib/instructions/exec/exec_equal_q.rb', line 2
def preconditions?
needs :exec, 2
end
|
#setup ⇒ Object
5
6
7
8
|
# File 'lib/instructions/exec/exec_equal_q.rb', line 5
def setup
@arg2 = @context.pop(:exec).blueprint
@arg1 = @context.pop(:exec).blueprint
end
|