tins 0.13.2 → 1.0.0

data/examples/multiply.reg

@@ -0,0 +1,42 @@
+# vim: set filetype=ruby:
+
+# Multiplication: C = A * B, A >= 0 and B >= 0
+register.A = 3
+register.B = 7
+
+# Save A in T
+label(SaveA)  { decrement A, MoveS1, IncT }
+label(IncT) { increment T, IncS1 }
+label(IncS1) { increment S, SaveA }
+
+label(MoveS1) { decrement S, SaveB, IncA1 }
+label(IncA1) { increment A, MoveS1 }
+
+# Save B in U
+label(SaveB)  { decrement B, MoveS2, IncU }
+label(IncU) { increment U, IncS2 }
+label(IncS2) { increment S, SaveB }
+
+label(MoveS2) { decrement S, Mul, IncB1 }
+label(IncB1) { increment B, MoveS2 }
+
+# Multiply A * B
+label(Mul) { decrement A, MoveT, DecB }
+
+# Add B to C
+label(DecB) { decrement B, MoveU, IncC }
+label(IncC) { increment C, DecB }
+
+# Move U back to B
+label(MoveU) { decrement U, SaveB, IncB2 }
+label(IncB2) { increment B, MoveU }
+
+# Move T back to A
+label(MoveT) { decrement T, ClearU, IncA2 }
+label(IncA2) { increment A, MoveT }
+
+# Clear U
+label(ClearU) { decrement U, Stop, ClearU }
+
+# Stop
+label(Stop)   { halt }

data/examples/null_pattern.rb

@@ -0,0 +1,52 @@
+require 'tins'
+$:.unshift 'examples'
+
+include Tins::Deflect
+
+puts "Example 1"
+deflect(NilClass, :method_missing, Deflector.new { nil }) do
+  begin
+    p "foo".bar.baz
+  rescue NoMethodError
+    p "caught 1"
+  end
+  p nil.bar.baz
+  t = Thread.new do
+    begin
+      p nil.bar.baz
+    rescue NoMethodError
+      p "caught 2"
+    end
+  end
+  t.join if t.alive?
+  p nil.bar.baz
+end
+begin
+  p nil.bar.baz
+rescue NoMethodError
+  p "caught 3"
+end
+
+puts "-" * 70, "Example 2"
+deflect_start(NilClass, :method_missing, Deflector.new { nil })
+begin
+  p "foo".bar.baz
+rescue NoMethodError
+  p "caught 1"
+end
+p nil.bar.baz
+t = Thread.new do
+  begin
+    p nil.bar.baz
+  rescue NoMethodError
+    p "caught 2"
+  end
+end
+t.join if t.alive?
+p nil.bar.baz
+deflect_stop(NilClass, :method_missing)
+begin
+  p nil.bar.baz
+rescue NoMethodError
+  p "caught 3"
+end

data/examples/ones_difference.mtm

@@ -0,0 +1,12 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.mtm 1111 11
+
+0. right 1, :goto => 1
+1. right 2, :goto => 2
+2. cond  1, :if => '1', :then => 3, :else => 4
+3. cond  2, :if => '1', :then => 0, :else => 5
+4. cond  2, :if => '1', :then => 5, :else => 7
+5. write 0, :symbol => '1', :goto => 6
+6. left  0, :goto => 0
+7. halt

data/examples/ones_difference.stm

@@ -0,0 +1,25 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.stm 1111 11
+
+ 1. right :goto => 2
+ 2. cond  :if => '1', :then => 1, :else => 3
+ 3. right :goto => 4
+ 4. cond  :if => '1', :then => 5, :else => 17
+ 5. right :goto => 6
+ 6. cond  :if => '1', :then => 5, :else => 7
+ 7. left  :goto => 8
+ 8. write :symbol => 'B', :goto => 9
+ 9. left  :goto => 10
+10. cond  :if => '1', :then => 9, :else => 11
+11. left  :goto => 12
+12. cond  :if => '1', :then => 11, :else => 13
+13. right :goto => 14
+14. cond  :if => '1', :then => 15, :else => 16
+15. write :symbol => 'B', :goto => 1
+16. write :symbol => '1', :goto => 18
+17. left  :goto => 20
+18. right :goto => 19
+19. cond  :if => '1', :then => 18, :else => 21
+20. halt
+21. halt

data/examples/ones_difference_19.mtm

@@ -0,0 +1,12 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.mtm 1111 11
+
+0. right 1, goto: 1
+1. right 2, goto: 2
+2. cond  1, if: '1', then: 3, else: 4
+3. cond  2, if: '1', then: 0, else: 5
+4. cond  2, if: '1', then: 5, else: 7
+5. write 0, symbol: '1', goto: 6
+6. left  0, goto: 0
+7. halt

data/examples/ones_difference_19.stm

@@ -0,0 +1,25 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with two strings of ones on the tape:
+# $ turing.rb ones_difference.stm 1111 11
+
+ 1. right goto: 2
+ 2. cond  if: '1', then: 1, else: 3
+ 3. right goto: 4
+ 4. cond  if: '1', then: 5, else: 17
+ 5. right goto: 6
+ 6. cond  if: '1', then: 5, else: 7
+ 7. left  goto: 8
+ 8. write symbol: 'B', goto: 9
+ 9. left  goto: 10
+10. cond  if: '1', then: 9, else: 11
+11. left  goto: 12
+12. cond  if: '1', then: 11, else: 13
+13. right goto: 14
+14. cond  if: '1', then: 15, else: 16
+15. write symbol: 'B', goto: 1
+16. write symbol: '1', goto: 18
+17. left  goto: 20
+18. right goto: 19
+19. cond  if: '1', then: 18, else: 21
+20. halt
+21. halt

data/examples/prefix-equals-suffix-reversed-with-infix.stm

@@ -0,0 +1,38 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm 100101001
+
+ 0. right :goto => 1
+ 1. cond  :if => '0', :then => 2, :else => 13
+ 2. write :symbol => 'O', :goto => 3
+ 3. right :goto => 4
+ 4. cond  :if => 'B', :then => 21, :else => 5
+ 5. right :goto => 6
+ 6. cond  :if => 'B', :then => 7, :else => 5
+ 7. left  :goto => 8
+ 8. cond  :if => '0', :then => 9, :else => 21
+ 9. write :symbol => 'B', :goto => 10
+10. left  :goto => 11
+11. cond  :if => '0', :then => 10, :else => 12
+12. cond  :if => '1', :then => 10, :else => 0
+13. cond  :if => '1', :then => 14, :else => 31
+14. write :symbol => 'I', :goto => 15
+15. right :goto => 16
+16. cond  :if => 'B', :then => 21, :else => 17
+17. right :goto => 18
+18. cond  :if => 'B', :then => 19, :else => 17
+19. left  :goto => 20
+20. cond  :if => '1', :then => 9, :else => 21
+21. write :symbol => 'B', :goto => 22
+22. left  :goto => 23
+23. cond  :if => '0', :then => 21, :else => 24
+24. cond  :if => '1', :then => 21, :else => 25
+25. write :symbol => 'B', :goto => 26
+26. left  :goto => 27
+27. cond  :if => 'O', :then => 29, :else => 28
+28. cond  :if => 'I', :then => 30, :else => 32
+29. write :symbol => '0', :goto => 26
+30. write :symbol => '1', :goto => 26
+31. halt
+32. right :goto => 33
+33. cond  :if => 'B', :then => 31, :else => 32

data/examples/prefix-equals-suffix-reversed-with-infix_19.stm

@@ -0,0 +1,38 @@
+# vim: ts=2 sw=2 et ft=ruby
+# Call with a binary number on the tape:
+# $ turing.rb prefix-equals-suffix-reversed-with-infix.stm 100101001
+
+ 0. right goto: 1
+ 1. cond  if: '0', then: 2, else: 13
+ 2. write symbol: 'O', goto: 3
+ 3. right goto: 4
+ 4. cond  if: 'B', then: 21, else: 5
+ 5. right goto: 6
+ 6. cond  if: 'B', then: 7, else: 5
+ 7. left  goto: 8
+ 8. cond  if: '0', then: 9, else: 21
+ 9. write symbol: 'B', goto: 10
+10. left  goto: 11
+11. cond  if: '0', then: 10, else: 12
+12. cond  if: '1', then: 10, else: 0
+13. cond  if: '1', then: 14, else: 31
+14. write symbol: 'I', goto: 15
+15. right goto: 16
+16. cond  if: 'B', then: 21, else: 17
+17. right goto: 18
+18. cond  if: 'B', then: 19, else: 17
+19. left  goto: 20
+20. cond  if: '1', then: 9, else: 21
+21. write symbol: 'B', goto: 22
+22. left  goto: 23
+23. cond  if: '0', then: 21, else: 24
+24. cond  if: '1', then: 21, else: 25
+25. write symbol: 'B', goto: 26
+26. left  goto: 27
+27. cond  if: 'O', then: 29, else: 28
+28. cond  if: 'I', then: 30, else: 32
+29. write symbol: '0', goto: 26
+30. write symbol: '1', goto: 26
+31. halt
+32. right goto: 33
+33. cond  if: 'B', then: 31, else: 32

data/examples/recipe.rb

@@ -0,0 +1,81 @@
+#!/usr/bin/env ruby
+
+require 'tins/xt'
+$:.unshift 'examples'
+require 'recipe_common'
+
+class Cup < Unit; end
+class Teaspoon < Unit; end
+class Tablespoon < Unit; end
+
+class Flour < Ingredient; end
+class Bakingpowder < Ingredient; end
+class Salt < Ingredient; end
+class Egg < Ingredient; end
+class Milk < Ingredient; end
+class Butter < Ingredient; end
+
+class Recipe < Tins::BlankSlate.with(:respond_to?, :instance_exec, :inspect, /^deflect/)
+  include Tins::Deflect
+
+  def initialize(&block)
+    @ingredients = []
+    deflector = Deflector.new do |number, id, name|
+      if unit = Unit.unit(name, number)
+        unit
+      else
+        ingredient = Ingredient.ingredient(name, number)
+        @ingredients << ingredient
+      end
+    end
+    deflect(Numeric, :method_missing, deflector) do
+      instance_exec(&block)
+    end
+  end
+
+  attr_reader :ingredients
+
+  def to_a
+    @ingredients
+  end
+  alias to_ary to_a
+
+  def to_s
+    to_a * "\n"
+  end
+  alias inspect to_s
+
+  def method_missing(name, *args)
+    name = name.to_s.gsub(/_/, '').capitalize
+    @ingredients << Object.const_get(name).new(*args)
+  end
+end
+
+class RecipeInterpreter
+  def recipe(&block)
+    Recipe.new(&block)
+  end
+end
+
+recipe_source = <<EOT
+pancakes = recipe do
+  flour         2.cups
+  baking_powder 2.5.teaspoons
+  salt          0.5.teaspoon
+  egg           1
+  milk          1.5.cups
+  butter        2.tablespoons
+end
+EOT
+
+pancakes = RecipeInterpreter.new.interpret(recipe_source)
+puts pancakes
+
+puts
+
+def recipe(&block)
+  Recipe.new(&block)
+end
+
+pancakes = eval recipe_source
+puts pancakes

data/examples/recipe2.rb

@@ -0,0 +1,82 @@
+#!/usr/bin/env ruby
+
+require 'tins/xt'
+$:.unshift 'examples'
+require 'recipe_common'
+
+class Cup < Unit; end
+class Teaspoon < Unit; end
+class Tablespoon < Unit; end
+
+class Flour < Ingredient; end
+class Bakingpowder < Ingredient; end
+class Salt < Ingredient; end
+class Egg < Ingredient; end
+class Milk < Ingredient; end
+class Butter < Ingredient; end
+
+class Recipe < Tins::BlankSlate.with(:respond_to?, :instance_exec, :inspect, /^deflect/)
+  include Tins::Deflect
+
+  def initialize(&block)
+    @ingredients = []
+    deflector = Deflector.new do |number, id, name|
+      if unit = Unit.unit(name, number)
+        unit
+      else
+        ingredient = Ingredient.ingredient(name, number)
+        @ingredients << ingredient
+      end
+    end
+    deflect_start(Numeric, :method_missing, deflector)
+    deflector2 = Deflector.new do |unit, id, name|
+      ingredient = Ingredient.ingredient(name, unit)
+      @ingredients << ingredient
+    end
+    deflect_start(Unit, :method_missing, deflector2)
+    instance_exec(&block)
+  ensure
+    deflect_stop(Numeric, :method_missing) if deflect?(Numeric, :method_missing)
+    deflect_stop(Unit, :method_missing) if deflect?(Unit, :method_missing)
+  end
+
+  attr_reader :ingredients
+
+  def to_a
+    @ingredients
+  end
+  alias to_ary to_a
+
+  def to_s
+    to_a * "\n"
+  end
+end
+
+class RecipeInterpreter
+  def recipe(&block)
+    Recipe.new(&block)
+  end
+end
+
+recipe_source = <<EOT
+pancakes = recipe do
+  2.cups.         flour
+  2.5.teaspoons.  baking_powder
+  0.5.teaspoon.   salt
+  1.              egg
+  1.5.cups.       milk
+  2.tablespoons.  butter
+end
+EOT
+
+pancakes = RecipeInterpreter.new.interpret(recipe_source)
+puts pancakes
+
+puts
+
+def recipe(&block)
+  Recipe.new(&block)
+end
+
+pancakes = eval recipe_source
+puts pancakes

data/examples/recipe_common.rb

@@ -0,0 +1,97 @@
+class Ingredient
+  class << self
+    def inherited(klass)
+      ingredients << klass
+    end
+
+    attr_accessor :ingredients
+
+    def ingredient(name, amount)
+      name = name.to_s.gsub(/_/, '').capitalize
+      if klass = ingredients.find { |n| n.to_s == name }
+        klass.new(amount)
+      else
+        raise "unknown ingredient #{name}"
+      end
+    end
+  end
+  self.ingredients = []
+
+  def initialize(amount = 1)
+    @amount = amount
+  end
+
+  def name
+    self.class.name.downcase
+  end
+
+  attr_reader :amount
+
+  def to_s
+    "#@amount #{name}"
+  end
+end
+
+class Unit
+  class << self
+    def inherited(klass)
+      units << klass
+    end
+
+    attr_accessor :units
+
+    def unit(name, amount)
+      name = name.to_s.gsub(/s$/, '').capitalize
+      if klass = units.find { |n| n.to_s == name }
+        klass.new(amount)
+      end
+    end
+  end
+  self.units = []
+
+  def initialize(n = 1)
+    @n = n
+  end
+
+  def name
+    self.class.name.downcase
+  end
+
+  attr_reader :n
+
+  def to_s
+    "#@n #{name}#{@n > 1 ? 's' : ''}"
+  end
+end
+
+class Unit
+  class << self
+    def inherited(klass)
+      units << klass
+    end
+
+    attr_accessor :units
+
+    def unit(name, amount)
+      name = name.to_s.gsub(/s$/, '').capitalize
+      if klass = units.find { |n| n.to_s == name }
+        klass.new(amount)
+      end
+    end
+  end
+  self.units = []
+
+  def initialize(n = 1)
+    @n = n
+  end
+
+  def name
+    self.class.name.downcase
+  end
+
+  attr_reader :n
+
+  def to_s
+    "#@n #{name}#{@n > 1 ? 's' : ''}"
+  end
+end