reconsidered 0.9

data/.autotest

@@ -0,0 +1,23 @@
+# -*- ruby -*-
+
+require 'autotest/restart'
+
+# Autotest.add_hook :initialize do |at|
+#   at.extra_files << "../some/external/dependency.rb"
+#
+#   at.libs << ":../some/external"
+#
+#   at.add_exception 'vendor'
+#
+#   at.add_mapping(/dependency.rb/) do |f, _|
+#     at.files_matching(/test_.*rb$/)
+#   end
+#
+#   %w(TestA TestB).each do |klass|
+#     at.extra_class_map[klass] = "test/test_misc.rb"
+#   end
+# end
+
+# Autotest.add_hook :run_command do |at|
+#   system "rake build"
+# end

data/History.txt

@@ -0,0 +1,4 @@
+=== 0.9 / 2012-10-05
+
+* Initial Version
+

data/LICENSE.txt

@@ -0,0 +1,28 @@
+== LICENSE:
+
+(The BSD 2-clause License)
+
+ Copyright (c) 2011,2012 Jim Wise
+ All rights reserved.
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+
+ 1. Redistributions of source code must retain the above copyright
+    notice, this list of conditions and the following disclaimer.
+ 2. Redistributions in binary form must reproduce the above copyright
+    notice, this list of conditions and the following disclaimer in the
+    documentation and/or other materials provided with the distribution.
+
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+ TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS
+ BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+ INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+ CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ POSSIBILITY OF SUCH DAMAGE.

data/Manifest.txt

@@ -0,0 +1,11 @@
+.autotest
+History.txt
+LICENSE.txt
+Manifest.txt
+README.rdoc
+README.txt
+Rakefile
+examples/guessing.rb
+examples/simple.rb
+lib/reconsidered.rb
+test/test_reconsidered.rb

data/README.rdoc

@@ -0,0 +1,176 @@
+= reconsidered
+
+https://github.com/jimwise/reconsidered
+
+Author::    Jim Wise  (mailto:jwise@draga.com)
+Copyright:: Copyright (c) 2012 Jim Wise
+License::   2-clause BSD-Style (see LICENSE.txt)
+
+== DESCRIPTION:
+
+Reconsidered adds a vital and sorely missed language feature to Ruby:  the
+well known and widely loved GO TO operation, as discussed in Donald Knuth's
+seminal paper {<em>Structured Programming with <tt>go to</tt>
+Statements</em>} (see REFERENCES, below).
+
+However, this implementation is itself severely limited -- it only allows
+execution to jump to a point in the program which has already been passed
+during execution of the program; it is thus less general purpose a tool than
+the true GOTO of languages such as Fortran.
+
+== REQUIREMENTS:
+
+<b>This code will not work in JRuby or MacRuby (no callcc).  It is tested
+(and should work fine) in Ruby 1.8.7 and 1.9.3.</b>
+
+== INSTALL:
+
+To install: 
+
+    $ gem install reconsidered
+
+== SYNOPSIS:
+
+=== General usage
+
+The syntax here mirrors that of the optional __goto__ extension included
+(disabled by default) as a joke (see REFERENCES, below) in the Ruby 1.9 sources
+
+You may label any point in your program with the Kernel#__label__ statement, as
+in:
+
+      __label__ 10
+      puts "Hello, world!"
+
+or
+
+      __label__ :guess
+      print "Can you guess it? "
+
+This creates a <em>global label</em>, which you may return to at any point
+in your program using the Kernel#__goto__ statement, as in:
+
+      __goto__ 10
+
+or
+
+      guess = gets.to_i
+      if num != guess
+        puts "Wrong!"
+        __goto__ :guess
+      else
+        puts "Right!"
+      end
+
+The __goto__ statement will immediately resume execution from the last point
+at which __label__ was called with the same value.
+
+Note that this implies that you may only use __goto__ to return to a __label__
+statement which has already been executed, unlike the GOTO statement in,
+e.g. C, which can be used to jump forward (but only within a given
+function):
+
+	if (num == guess)
+	    goto right;
+	else
+	    goto guess;
+
+    right:
+        puts("Right!")
+
+Working around this limitation is left as an exercise for the reader.
+
+If you try to __goto__ a label which you have not defined (or not yet
+defined), you're gonna have a hard time (and raise a
+Reconsidered::NoSuchLabel exception).
+
+
+=== Private Labels
+
+In addition to the default global scope used with __label__ and __goto__,
+you can allocate a private scope of labels using the Reconsidered::Labels
+class.  This class provides methods Labels#label and Lables#goto which can
+be used as follows:
+
+    l = Reconsidered::Labels.new
+    acc = 0
+    l.label 30
+    acc = acc + 1
+    if acc < 10
+      l.goto 30
+    end
+
+this not only provides a private set of objects (not overlapping with other
+use of __label__ and __goto__), but has the added advantage that all memory
+used to store labels within such an object is freed when the object is
+garbage collected.
+
+== DEVELOPERS:
+
+After checking out the source, run:
+
+  $ rake newb
+
+This task will install any missing dependencies, run the tests/specs,
+and generate the RDoc.
+
+== REFERENCES:
+
+For competing views on GOTO as a language feature, see
+
+* Knuth, Donald E. {<em>Structured Programming with <tt>go to</tt>
+  Statements</em>}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.6084&rep=rep1&type=pdf],
+  in <em>Computing Surveys</em>, Vol 6, No 4, 1974
+
+* Dijkstra, Edsger W., {<em><tt>go to</tt> Statement Considered
+  Harmful</em>}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.875&rep=rep1&type=pdf]
+  in <em>Communications of the ACM</em>, Vol. 11, No. 3, 1968
+
+For information on the implementation strategy used here (and the general
+equivalence of the more powerful call-with-current-continuation operation to
+<tt>go to</tt>), see
+
+* Steele, Guy Lewis, Jr., {<em>Debunking the 'Expensive Procedure Call'
+  Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda:
+  The Ultimate
+  <tt>GOTO</tt></em>}[http://dspace.mit.edu/handle/1721.1/5753], MIT
+  Artificial Intelligence Memo AIM-443, 1977
+
+For information on Ruby's implementation of call-with-current-continuation
+see
+
+* {<em>Ruby Core Documentation:
+  Continuation</em>}[http://www.ruby-doc.org/core-1.9.3/Continuation.html],
+  Ruby Core Documentation, Version 1.9.3
+
+For information on the (different, and less limited) implementation provided
+in ruby 1.9 as a language feature, but disabled by default, see
+
+* Shaugnessy, Pat {<em>The Joke Is On Us: How Ruby 1.9 Supports the <tt>Goto</tt>
+  Statement</em>}[http://patshaughnessy.net/2012/2/29/the-joke-is-on-us-how-ruby-1-9-supports-the-goto-statement],
+  <em>patshaugnessy.net</em> blog, February 29, 2012
+
+== LICENSE:
+
+(The MIT License)
+
+Copyright (c) 2012 FIX
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+'Software'), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.txt

@@ -0,0 +1,176 @@
+= reconsidered
+
+https://github.com/jimwise/reconsidered
+
+Author::    Jim Wise  (mailto:jwise@draga.com)
+Copyright:: Copyright (c) 2012 Jim Wise
+License::   2-clause BSD-Style (see LICENSE.txt)
+
+== DESCRIPTION:
+
+Reconsidered adds a vital and sorely missed language feature to Ruby:  the
+well known and widely loved GO TO operation, as discussed in Donald Knuth's
+seminal paper {<em>Structured Programming with <tt>go to</tt>
+Statements</em>} (see REFERENCES, below).
+
+However, this implementation is itself severely limited -- it only allows
+execution to jump to a point in the program which has already been passed
+during execution of the program; it is thus less general purpose a tool than
+the true GOTO of languages such as Fortran.
+
+== REQUIREMENTS:
+
+<b>This code will not work in JRuby or MacRuby (no callcc).  It is tested
+(and should work fine) in Ruby 1.8.7 and 1.9.3.</b>
+
+== INSTALL:
+
+To install: 
+
+    $ gem install reconsidered
+
+== SYNOPSIS:
+
+=== General usage
+
+The syntax here mirrors that of the optional __goto__ extension included
+(disabled by default) as a joke (see REFERENCES, below) in the Ruby 1.9 sources
+
+You may label any point in your program with the Kernel#__label__ statement, as
+in:
+
+      __label__ 10
+      puts "Hello, world!"
+
+or
+
+      __label__ :guess
+      print "Can you guess it? "
+
+This creates a <em>global label</em>, which you may return to at any point
+in your program using the Kernel#__goto__ statement, as in:
+
+      __goto__ 10
+
+or
+
+      guess = gets.to_i
+      if num != guess
+        puts "Wrong!"
+        __goto__ :guess
+      else
+        puts "Right!"
+      end
+
+The __goto__ statement will immediately resume execution from the last point
+at which __label__ was called with the same value.
+
+Note that this implies that you may only use __goto__ to return to a __label__
+statement which has already been executed, unlike the GOTO statement in,
+e.g. C, which can be used to jump forward (but only within a given
+function):
+
+	if (num == guess)
+	    goto right;
+	else
+	    goto guess;
+
+    right:
+        puts("Right!")
+
+Working around this limitation is left as an exercise for the reader.
+
+If you try to __goto__ a label which you have not defined (or not yet
+defined), you're gonna have a hard time (and raise a
+Reconsidered::NoSuchLabel exception).
+
+
+=== Private Labels
+
+In addition to the default global scope used with __label__ and __goto__,
+you can allocate a private scope of labels using the Reconsidered::Labels
+class.  This class provides methods Labels#label and Lables#goto which can
+be used as follows:
+
+    l = Reconsidered::Labels.new
+    acc = 0
+    l.label 30
+    acc = acc + 1
+    if acc < 10
+      l.goto 30
+    end
+
+this not only provides a private set of objects (not overlapping with other
+use of __label__ and __goto__), but has the added advantage that all memory
+used to store labels within such an object is freed when the object is
+garbage collected.
+
+== DEVELOPERS:
+
+After checking out the source, run:
+
+  $ rake newb
+
+This task will install any missing dependencies, run the tests/specs,
+and generate the RDoc.
+
+== REFERENCES:
+
+For competing views on GOTO as a language feature, see
+
+* Knuth, Donald E. {<em>Structured Programming with <tt>go to</tt>
+  Statements</em>}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.6084&rep=rep1&type=pdf],
+  in <em>Computing Surveys</em>, Vol 6, No 4, 1974
+
+* Dijkstra, Edsger W., {<em><tt>go to</tt> Statement Considered
+  Harmful</em>}[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.132.875&rep=rep1&type=pdf]
+  in <em>Communications of the ACM</em>, Vol. 11, No. 3, 1968
+
+For information on the implementation strategy used here (and the general
+equivalence of the more powerful call-with-current-continuation operation to
+<tt>go to</tt>), see
+
+* Steele, Guy Lewis, Jr., {<em>Debunking the 'Expensive Procedure Call'
+  Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda:
+  The Ultimate
+  <tt>GOTO</tt></em>}[http://dspace.mit.edu/handle/1721.1/5753], MIT
+  Artificial Intelligence Memo AIM-443, 1977
+
+For information on Ruby's implementation of call-with-current-continuation
+see
+
+* {<em>Ruby Core Documentation:
+  Continuation</em>}[http://www.ruby-doc.org/core-1.9.3/Continuation.html],
+  Ruby Core Documentation, Version 1.9.3
+
+For information on the (different, and less limited) implementation provided
+in ruby 1.9 as a language feature, but disabled by default, see
+
+* Shaugnessy, Pat {<em>The Joke Is On Us: How Ruby 1.9 Supports the <tt>Goto</tt>
+  Statement</em>}[http://patshaughnessy.net/2012/2/29/the-joke-is-on-us-how-ruby-1-9-supports-the-goto-statement],
+  <em>patshaugnessy.net</em> blog, February 29, 2012
+
+== LICENSE:
+
+(The MIT License)
+
+Copyright (c) 2012 FIX
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+'Software'), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Rakefile

@@ -0,0 +1,11 @@
+# -*- ruby -*-
+
+require 'rubygems'
+require 'hoe'
+
+# Hoe.plugin :git
+Hoe.plugin :test
+
+Hoe.spec 'reconsidered' do
+  developer('Jim Wise', 'jwise@draga.com')
+end

data/examples/guessing.rb

@@ -0,0 +1,16 @@
+#!/usr/bin/ruby
+
+require 'reconsidered'
+
+num = Random.rand 10
+puts "I'm thinking of a number between 1 and 10."
+
+__label__ :guess
+print "Can you guess it? "
+guess = gets.to_i
+if num != guess
+  puts "Wrong!"
+  __goto__ :guess
+else
+  puts "Right!"
+end

data/examples/simple.rb

@@ -0,0 +1,7 @@
+#!/usr/bin/ruby
+
+require 'reconsidered'
+
+__label__ 10
+puts "Hello, world!"
+__goto__ 10

data/lib/reconsidered.rb

@@ -0,0 +1,55 @@
+# This gem provides the classical "GO TO" statement for Ruby
+#
+# Author::    Jim Wise  (mailto:jwise@draga.com)
+# Copyright:: Copyright (c) 2012 Jim Wise
+# License::   2-clause BSD-Style (see LICENSE[link:files/LICENSE.html])
+
+require 'continuation' unless RUBY_VERSION.start_with?("1.8")
+
+module Reconsidered
+  VERSION = '0.9'
+
+  # Exception thrown if you __goto__ a non-existent label
+  class NoSuchLabel < StandardError
+  end
+
+  class Labels
+    # Allocate a new private Label set.  Usually not needed -- use Kernel#__label__
+    # and Kernel#__goto__ isnstead.
+    #
+    # See "Private Labels" in the README for details
+    def initialize
+      @labels = {}
+    end
+
+    # Create a new label which, when used with #goto, will return to the current
+    # location in the program
+    def label sym
+      callcc do |cc|
+        @labels[sym] = cc
+      end
+    end
+
+    # Return to the location in the code labeled with sym
+    def goto sym
+      raise NoSuchLabel unless @labels[sym].instance_of? Continuation
+      @labels[sym].call
+    end
+  end
+
+  # :nodoc:
+  Default_Labels = Labels.new
+end
+
+module Kernel  
+  # Create a new label which, when used with __goto__, will return to the current
+  # location in the program
+  def __label__ sym
+    Reconsidered::Default_Labels.label sym
+  end
+
+  # Return to the location in the code labeled with sym
+  def __goto__ sym
+    Reconsidered::Default_Labels.goto sym
+  end
+end

data/test/test_reconsidered.rb

@@ -0,0 +1,50 @@
+require "test/unit"
+require "reconsidered"
+
+class TestReconsidered < Test::Unit::TestCase
+  def test_simple
+    acc = 0
+    __label__ 10
+    acc = acc + 1
+    if acc < 10
+      __goto__ 10
+    end
+    assert_equal 10, acc
+  end
+
+  def test_nosuchlabel
+    assert_raise Reconsidered::NoSuchLabel do
+      __goto__ 42
+    end
+  end
+
+  # this is actually testing call/cc, but fine
+  def test_after_exit
+    flag = false
+    @acc = 0
+    def bar
+      __label__ 20
+      @acc = @acc + 1
+    end
+    bar
+    unless flag
+      flag = true
+      __goto__ 20
+    end
+    assert_equal 2, @acc
+  end
+
+  def test_private
+    l = Reconsidered::Labels.new
+    acc = 0
+    l.label 30
+    acc = acc + 1
+    if acc < 10
+      l.goto 30
+    end
+    assert_raise Reconsidered::NoSuchLabel do
+      __goto__ 30
+    end
+    assert_equal 10, acc
+  end    
+end

metadata

@@ -0,0 +1,115 @@
+--- !ruby/object:Gem::Specification
+name: reconsidered
+version: !ruby/object:Gem::Version
+  version: '0.9'
+  prerelease: 
+platform: ruby
+authors:
+- Jim Wise
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-10-05 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rdoc
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.10'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.10'
+- !ruby/object:Gem::Dependency
+  name: hoe
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ~>
+      - !ruby/object:Gem::Version
+        version: '3.1'
+description: ! 'Reconsidered adds a vital and sorely missed language feature to Ruby:  the
+
+  well known and widely loved GO TO operation, as discussed in Donald Knuth''s
+
+  seminal paper {<em>Structured Programming with <tt>go to</tt>
+
+  Statements</em>} (see REFERENCES, below).
+
+
+  However, this implementation is itself severely limited -- it only allows
+
+  execution to jump to a point in the program which has already been passed
+
+  during execution of the program; it is thus less general purpose a tool than
+
+  the true GOTO of languages such as Fortran.'
+email:
+- jwise@draga.com
+executables: []
+extensions: []
+extra_rdoc_files:
+- History.txt
+- LICENSE.txt
+- Manifest.txt
+- README.rdoc
+- README.txt
+files:
+- .autotest
+- History.txt
+- LICENSE.txt
+- Manifest.txt
+- README.rdoc
+- README.txt
+- Rakefile
+- examples/guessing.rb
+- examples/simple.rb
+- lib/reconsidered.rb
+- test/test_reconsidered.rb
+- .gemtest
+homepage: https://github.com/jimwise/reconsidered
+licenses: []
+post_install_message: 
+rdoc_options:
+- --main
+- README.rdoc
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: reconsidered
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: ! 'Reconsidered adds a vital and sorely missed language feature to Ruby:  the
+  well known and widely loved GO TO operation, as discussed in Donald Knuth''s seminal
+  paper {<em>Structured Programming with <tt>go to</tt> Statements</em>} (see REFERENCES,
+  below)'
+test_files:
+- test/test_reconsidered.rb