mame-dynamicwind 1.0.0

data/History.txt

@@ -0,0 +1,6 @@
+=== 1.0.0 / 2008-11-20
+
+* 1 major enhancement
+
+  * Birthday!
+

data/Manifest.txt

@@ -0,0 +1,6 @@
+History.txt
+Manifest.txt
+README.txt
+Rakefile
+lib/dynamicwind.rb
+test/test_dynamicwind.rb

data/README.txt

@@ -0,0 +1,48 @@
+= dynamicwind
+
+* http://github.com/mame/dynamicwind/tree/master
+
+== DESCRIPTION:
+
+An implementation of dynamic-wind for ruby's continuation.
+See R6RS 11.15 Control features for detail.
+http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-14.html#node_idx_764
+
+== FEATURES/PROBLEMS:
+
+* callcc becomes robust!
+
+== SYNOPSIS:
+
+require "dynamicwind"
+
+callcc do |c|
+  dynamicwind(
+    proc { p :before },
+    proc { p :thunk; c.call },
+    proc { p :after }
+  )
+end
+#=> :before, :thunk, :after
+
+dynamicwind(
+  proc { p :before },
+  proc { callcc {|c| $c = c }; p :thunk },
+  proc { p :after }
+)
+#=> :before, :thunk, :after
+
+$c.call #=> :before, :thunk, :after, ...(infinite loop)
+
+== REQUIREMENTS:
+
+None
+
+== INSTALL:
+
+* gem install mame-dynamicwind
+
+== LICENSE:
+
+Copyright:: Yusuke Endoh <mame@tsg.ne.jp>
+License:: Ruby's

data/Rakefile

@@ -0,0 +1,12 @@
+# -*- ruby -*-
+
+require 'rubygems'
+require 'hoe'
+require './lib/dynamicwind.rb'
+
+Hoe.new('dynamicwind', DynamicWind::VERSION) do |p|
+  p.rubyforge_name = 'dynamicwind'
+  p.developer('Yusuke Endoh', 'mame@tsg.ne.jp')
+end
+
+# vim: syntax=ruby

data/lib/dynamicwind.rb

@@ -0,0 +1,50 @@
+begin
+  require "continuation"
+rescue LoadError
+end
+
+module DynamicWind
+  VERSION = '1.0.0'
+
+  Stack = Struct.new(:fst, :snd, :next)
+
+  alias __callcc_orig callcc
+
+  def callcc
+    mark = __top
+    __callcc_orig do |ctn|
+      yield(proc {|*ret| __switch(mark); ctn.call(*ret) })
+    end
+  end
+
+  def dynamicwind(before, thunk, after)
+    mark = __top
+    __switch(Stack[[before, nil], [nil, after], mark])
+    thunk.call ensure __switch(mark)
+  end
+
+  def __top
+    Thread.current[:dynamicwind_stack] ||= Stack.new
+  end
+
+  def __top=(x)
+    Thread.current[:dynamicwind_stack] = x
+  end
+
+  def __switch(mark)
+    return if __top.equal?(mark)
+    __switch(mark.next)
+    fst, snd = mark.fst, mark.snd
+    fst.first.call if fst.first
+    __top.fst = snd
+    __top.snd = fst
+    __top.next = mark
+    self.__top = mark
+    __top.fst = nil
+    __top.snd = nil
+    __top.next = nil
+    fst.last.call if fst.last
+  end
+end
+
+include DynamicWind

data/test/test_dynamicwind.rb

@@ -0,0 +1,188 @@
+require "dynamicwind"
+require "test/unit"
+
+class TestDynamicWind < Test::Unit::TestCase
+  def test_leave
+    ary = []
+    callcc do |c|
+      dynamicwind(
+        proc { ary << :before },
+        proc { ary << :thunk; c.call },
+        proc { ary << :after }
+      )
+    end
+    assert_equal([:before, :thunk, :after], ary)
+  end
+
+  def test_enter
+    ary = []
+    ctn = nil
+    flag = true
+    dynamicwind(
+      proc { ary << :before },
+      proc { callcc {|c| ctn = c }; ary << :thunk },
+      proc { ary << :after }
+    )
+    (flag = false; ctn.call) if flag
+    assert_equal([:before, :thunk, :after] * 2, ary)
+  end
+
+  def test_leave_enter
+    ary = []
+    c2 = nil
+    flag = true
+    callcc do |c1|
+      dynamicwind(
+        proc { ary << :before },
+        proc do
+          ary << :thunk1
+          callcc {|c| c2 = c }
+          ary << :thunk2
+          c1.call
+          ary << :thunk3
+        end,
+        proc { ary << :after }
+      )
+    end
+    ary << :end
+    (flag = false; c2.call) if flag
+    assert_equal([:before, :thunk1, :thunk2, :after, :end, :before, :thunk2, :after, :end], ary)
+  end
+
+  def test_leave_enter_2
+    ary = []
+    c2 = nil
+    flag = true
+    callcc do |c1|
+      dynamicwind(
+        proc { ary << :before },
+        proc do
+          ary << :thunk1
+          callcc do |c|
+            c2 = c
+            ary << :thunk2
+            c1.call
+          end
+          ary << :thunk3
+        end,
+        proc { ary << :after }
+      )
+    end
+    ary << :end
+    (flag = false; c2.call) if flag
+    assert_equal([:before, :thunk1, :thunk2, :after, :end, :before, :thunk3, :after, :end], ary)
+  end
+
+  def test_callcc_in_before
+    ary = []
+    ctn = nil
+    flag = true
+    dynamicwind(
+      proc do
+        ary << :before1
+        callcc {|c| ctn = c }
+        ary << :before2
+      end,
+      proc { ary << :thunk },
+      proc do
+        ary << :after1
+        (flag = false; ctn.call) if flag
+        ary << :after2
+      end
+    )
+    assert_equal([:before1, :before2, :thunk, :after1, :before2, :thunk, :after1, :after2], ary)
+  end
+
+  def test_raise
+    ary = []
+    assert_raise(RuntimeError) do
+      dynamicwind(
+        proc { ary << :before; raise },
+        proc { ary << :thunk },
+        proc { ary << :after }
+      )
+    end
+    assert_equal([:before], ary)
+
+    ary = []
+    assert_raise(RuntimeError) do
+      dynamicwind(
+        proc { ary << :before },
+        proc { ary << :thunk; raise },
+        proc { ary << :after }
+      )
+    end
+    assert_equal([:before, :thunk, :after], ary)
+
+    ary = []
+    assert_raise(RuntimeError) do
+      dynamicwind(
+        proc { ary << :before },
+        proc { ary << :thunk },
+        proc { ary << :after; raise }
+      )
+    end
+    assert_equal([:before, :thunk, :after], ary)
+  end
+
+  def test_throw
+    ary = []
+    assert_throws(:foo) do
+      dynamicwind(
+        proc { ary << :before; throw :foo },
+        proc { ary << :thunk },
+        proc { ary << :after }
+      )
+    end
+    assert_equal([:before], ary)
+
+    ary = []
+    assert_throws(:foo) do
+      dynamicwind(
+        proc { ary << :before },
+        proc { ary << :thunk; throw :foo },
+        proc { ary << :after }
+      )
+    end
+    assert_equal([:before, :thunk, :after], ary)
+
+    ary = []
+    assert_throws(:foo) do
+      dynamicwind(
+        proc { ary << :before },
+        proc { ary << :thunk },
+        proc { ary << :after; throw :foo }
+      )
+    end
+    assert_equal([:before, :thunk, :after], ary)
+  end
+
+  def test_double_wind
+    ary = []
+    c2 = nil
+    flag = true
+    callcc do |c1|
+      dynamicwind(
+        proc { ary << :before1 },
+        proc do
+          dynamicwind(
+            proc { ary << :before2 },
+            proc do
+              ary << :thunk1
+              callcc do |c|
+                c2 = c
+                c1.call
+              end
+              ary << :thunk2
+            end,
+            proc { ary << :after2 }
+          )
+        end,
+        proc { ary << :after1 }
+      )
+    end
+    ary << :end
+    (flag = false; c2.call) if flag
+    assert_equal([:before1, :before2, :thunk1, :after2, :after1, :end, :before1, :before2, :thunk2, :after2, :after1, :end], ary)
+  end
+end

metadata

@@ -0,0 +1,70 @@
+--- !ruby/object:Gem::Specification 
+name: mame-dynamicwind
+version: !ruby/object:Gem::Version 
+  version: 1.0.0
+platform: ruby
+authors: 
+- Yusuke Endoh
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2008-11-20 00:00:00 -08:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: hoe
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: 1.8.2
+    version: 
+description: An implementation of dynamic-wind for ruby's continuation. See R6RS 11.15 Control features for detail. http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-14.html#node_idx_764
+email: 
+- mame@tsg.ne.jp
+executables: []
+
+extensions: []
+
+extra_rdoc_files: 
+- History.txt
+- Manifest.txt
+- README.txt
+files: 
+- History.txt
+- Manifest.txt
+- README.txt
+- Rakefile
+- lib/dynamicwind.rb
+- test/test_dynamicwind.rb
+has_rdoc: true
+homepage: http://github.com/mame/dynamicwind/tree/master
+post_install_message: 
+rdoc_options: 
+- --main
+- README.txt
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: dynamicwind
+rubygems_version: 1.2.0
+signing_key: 
+specification_version: 2
+summary: An implementation of dynamic-wind for ruby's continuation
+test_files: 
+- test/test_dynamicwind.rb