nudge 0.0.2 → 0.1.0

data/lib/instructions/stack_manipulation.rb

@@ -1,739 +0,0 @@
-module PopInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    needs @target_stack, 1
-  end
-  def setup
-    @result = @context.stacks[@target_stack].pop
-  end
-  def derive
-  end
-  def cleanup
-  end
-end
-
-
-class IntPopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatPopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolPopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecPopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NamePopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodePopInstruction < Instruction
-  include PopInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-module SwapInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    needs @target_stack, 2
-  end
-  def setup
-    @result1 = @context.stacks[@target_stack].pop
-    @result2 = @context.stacks[@target_stack].pop
-  end
-  def derive
-  end
-  def cleanup
-    pushes @target_stack, @result1
-    pushes @target_stack, @result2
-  end
-end
-
-
-class IntSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeSwapInstruction < Instruction
-  include SwapInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-
-module DuplicateInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    needs @target_stack, 1
-  end
-  def setup
-    @arg1 = @context.stacks[@target_stack].peek.value
-  end
-  def derive
-    @result = LiteralPoint.new(@target_stack.to_s,@arg1)
-  end
-  def cleanup
-    pushes @target_stack, @result
-  end
-end
-
-
-class IntDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeDuplicateInstruction < Instruction
-  include DuplicateInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-module RotateInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    needs @target_stack, 3
-  end
-  def setup
-    @arg3 = @context.stacks[@target_stack].pop
-    @arg2 = @context.stacks[@target_stack].pop
-    @arg1 = @context.stacks[@target_stack].pop
-  end
-  def derive
-  end
-  def cleanup
-    pushes @target_stack, @arg2
-    pushes @target_stack, @arg3
-    pushes @target_stack, @arg1
-  end
-end
-
-
-class IntRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeRotateInstruction < Instruction
-  include RotateInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-module DepthInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    @context.stacks[@target_stack].depth != nil
-  end
-  def setup
-  end
-  def derive
-    @result = LiteralPoint.new("int",@context.stacks[@target_stack].depth)
-  end
-  def cleanup
-    pushes :int, @result
-  end
-end
-
-
-class IntDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeDepthInstruction < Instruction
-  include DepthInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-
-
-module FlushInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    @context.stacks[@target_stack].depth != nil
-  end
-  def setup
-  end
-  def derive
-  end
-  def cleanup
-    @context.stacks[@target_stack].clear
-  end
-end
-
-
-
-class IntFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-
-class FloatFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeFlushInstruction < Instruction
-  include FlushInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-module ShoveInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    if @target_stack != :int
-      needs :int, 1
-      needs @target_stack, 1
-    else
-      needs :int, 2
-    end
-  end
-  
-  def setup
-    @how_far = @context.stacks[:int].pop.value
-    @result = @context.stacks[@target_stack].pop
-  end
-  
-  def derive
-    max = @context.stacks[@target_stack].depth
-    case 
-    when @how_far <= 0
-      @new_depth = max
-    when @how_far > max
-      @new_depth = 0
-    else
-      @new_depth = max - @how_far
-    end
-  end
-  
-  def cleanup
-    @context.stacks[@target_stack].entries.insert(@new_depth,@result)
-  end
-end
-
-
-class IntShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class BoolShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class FloatShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class ExecShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeShoveInstruction < Instruction
-  include ShoveInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-
-module YankInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    if @target_stack != :int
-      needs :int, 1
-      needs @target_stack, 1
-    else
-      needs :int, 2
-    end
-  end
-  
-  def setup
-    @from_where = @context.stacks[:int].pop.value
-  end
-  
-  def derive
-    max = @context.stacks[@target_stack].depth-1
-    case 
-    when @from_where < 0
-      @which = max
-    when @from_where > max
-      @which = 0
-    else
-      @which = max - @from_where 
-    end
-  end
-  
-  def cleanup
-    moved_value = @context.stacks[@target_stack].entries.delete_at(@which)
-    @context.stacks[@target_stack].push(moved_value)
-  end
-end
-
-
-class IntYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeYankInstruction < Instruction
-  include YankInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-
-
-
-
-
-
-
-module YankdupInstruction
-  attr_reader :target_stack
-  
-  def initialize(context, target_stack)
-    @target_stack = target_stack
-    super(context)
-  end
-  
-  def preconditions?
-    if @target_stack != :int
-      needs :int, 1
-      needs @target_stack, 1
-    else
-      needs :int, 2
-    end
-  end
-  
-  def setup
-    @from_where = @context.stacks[:int].pop.value
-  end
-  
-  def derive
-    max = @context.stacks[@target_stack].depth-1
-    case 
-    when @from_where < 0
-      @which = max
-    when @from_where > max
-      @which = 0
-    else
-      @which = max - @from_where 
-    end
-  end
-  
-  def cleanup
-    moved_value = @context.stacks[@target_stack].entries[@which].dup
-    @context.stacks[@target_stack].push(moved_value)
-  end
-end
-
-
-class IntYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :int)
-  end
-end
-
-
-class FloatYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :float)
-  end
-end
-
-
-class BoolYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :bool)
-  end
-end
-
-
-class ExecYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :exec)
-  end
-end
-
-
-class NameYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :name)
-  end
-end
-
-
-class CodeYankdupInstruction < Instruction
-  include YankdupInstruction
-  def initialize(context)
-    super(context, :code)
-  end
-end
-