stamina 0.4.0 → 0.5.0

data/tasks/spec_test.rake

@@ -1,79 +0,0 @@
-# Installs a rake task for for running examples written using rspec.
-#
-# This file installs the 'rake spec_test' (aliased as 'rake spec') as well as
-# extends 'rake test' to run spec tests, if any. It is automatically generated 
-# by Noe from your .noespec file, and should therefore be configured there, 
-# under the variables/rake_tasks/spec_test entry, as illustrated below:
-#
-# variables:
-#   rake_tasks:
-#     spec_test:
-#       pattern: spec/**/*_spec.rb
-#       verbose: true
-#       rspec_opts: [--color, --backtrace]
-#       ...
-#
-# If you have specific needs requiring manual intervention on this file, 
-# don't forget to set safe-override to false in your noe specification:
-# 
-# template-info:
-#   manifest:
-#     tasks/spec_test.rake:
-#       safe-override: false
-#
-# This file has been written to conform to RSpec v2.4.0. More information about 
-# rspec and options of the rake task defined below can be found on 
-# http://relishapp.com/rspec
-#
-begin
-  require "rspec/core/rake_task"
-  desc "Run RSpec code examples"
-  RSpec::Core::RakeTask.new(:spec_test) do |t|
-    # Glob pattern to match files.
-    t.pattern = "spec/**/*_spec.rb"
-
-    # By default, if there is a Gemfile, the generated command will include
-    # 'bundle exec'. Set this to true to ignore the presence of a Gemfile, 
-    # and not add 'bundle exec' to the command.
-    t.skip_bundler = false
-
-    # Name of Gemfile to use
-    t.gemfile = "Gemfile"
-
-    # Whether or not to fail Rake when an error occurs (typically when 
-    # examples fail).
-    t.fail_on_error = true
-
-    # A message to print to stderr when there are failures.
-    t.failure_message = nil
-
-    # Use verbose output. If this is set to true, the task will print the
-    # executed spec command to stdout.
-    t.verbose = true
-
-    # Use rcov for code coverage?
-    t.rcov = false
-
-    # Path to rcov.
-    t.rcov_path = "rcov"
-
-    # Command line options to pass to rcov. See 'rcov --help' about this
-    t.rcov_opts = []
-
-    # Command line options to pass to ruby. See 'ruby --help' about this 
-    t.ruby_opts = []
-
-    # Path to rspec
-    t.rspec_path = "rspec"
-
-    # Command line options to pass to rspec. See 'rspec --help' about this
-    t.rspec_opts = ["--color", "--backtrace"]
-  end
-rescue LoadError => ex
-  task :spec_test do
-    abort 'rspec is not available. In order to run spec, you must: gem install rspec'
-  end
-ensure
-  task :spec => [:spec_test]
-  task :test => [:spec_test]
-end

data/tasks/unit_test.rake

@@ -1,77 +0,0 @@
-# Installs a rake task for for running unit tests.
-#
-# This file installs the 'rake unit_test' and extends 'rake test' to run unit 
-# tests, if any. It is automatically generated by Noe from your .noespec file, 
-# and should therefore be configured there, under the variables/rake_tasks/unit_test 
-# entry, as illustrated below:
-#
-# variables:
-#   rake_tasks:
-#     unit_test:
-#       pattern: test/test*.rb
-#       verbose: false
-#       warning: false
-#       ...
-#
-# If you have specific needs requiring manual intervention on this file, 
-# don't forget to set safe-override to false in your noe specification:
-# 
-# template-info:
-#   manifest:
-#     tasks/unit_test.rake:
-#       safe-override: false
-#
-# More info about the TestTask and its options can be found on 
-# http://rake.rubyforge.org/classes/Rake/TestTask.html
-#
-begin
-  require 'rake/testtask'
-  desc "Run unit tests"
-  Rake::TestTask.new(:unit_test) do |t|
-
-    # List of directories to added to $LOAD_PATH before running the
-    # tests. (default is 'lib')
-    t.libs = ["lib"]
-
-    # True if verbose test output desired. (default is false)
-    t.verbose = false
-
-    # Test options passed to the test suite.  An explicit TESTOPTS=opts 
-    # on the command line will override this. (default is NONE)
-    t.options = nil
-
-    # Request that the tests be run with the warning flag set.
-    # E.g. warning=true implies "ruby -w" used to run the tests.
-    t.warning = false
-
-    # Glob pattern to match test files. (default is 'test/test*.rb')
-    t.pattern = "test/test*.rb"
-
-    # Style of test loader to use.  Options are:
-    #
-    # * :rake -- Rake provided test loading script (default).
-    # * :testrb -- Ruby provided test loading script.
-    # * :direct -- Load tests using command line loader.
-    # 
-    t.loader = :rake
-
-    # Array of commandline options to pass to ruby when running test 
-    # loader.
-    t.ruby_opts = []
-
-    # Explicitly define the list of test files to be included in a
-    # test.  +list+ is expected to be an array of file names (a
-    # FileList is acceptable).  If both +pattern+ and +test_files+ are
-    # used, then the list of test files is the union of the two.
-    t.test_files = nil
-
-  end
-rescue LoadError => ex
-  task :unit_test do
-    abort 'rspec is not available. In order to run spec, you must: gem install rspec'
-  end
-ensure
-  desc "Run all tests"
-  task :test => [:unit_test]
-end
-

data/tasks/yard.rake

@@ -1,51 +0,0 @@
-# Installs a rake task to generate API documentation using yard.
-#
-# This file installs the 'rake yard' task. It is automatically generated by Noe from 
-# your .noespec file, and should therefore be configured there, under the 
-# variables/rake_tasks/yard entry, as illustrated below:
-#
-# variables:
-#   rake_tasks:
-#     yard:
-#       files: lib/**/*.rb
-#       options: []
-#       ...
-#
-# If you have specific needs requiring manual intervention on this file, 
-# don't forget to set safe-override to false in your noe specification:
-# 
-# template-info:
-#   manifest:
-#     tasks/yard.rake:
-#       safe-override: false
-#
-# This file has been written to conform to yard v0.6.4. More information about 
-# yard and the rake task installed below can be found on http://yardoc.org/
-#
-begin
-  require "yard"
-  desc "Generate yard documentation"
-  YARD::Rake::YardocTask.new(:yard) do |t|
-    # Array of options passed to yardoc commandline. See 'yardoc --help' about this
-    t.options = ["--output-dir", "doc/api", "-", "README.md", "CHANGELOG.md", "LICENCE.md"]
-    
-    # Array of ruby source files (and any extra documentation files 
-    # separated by '-')
-    t.files = ["lib/**/*.rb"]
-    
-    # A proc to call before running the task
-    # t.before = proc{ }
-    
-    # A proc to call after running the task
-    # r.after = proc{ }
-    
-    # An optional lambda to run against all objects being generated. 
-    # Any object that the lambda returns false for will be excluded 
-    # from documentation. 
-    # t.verifier = lambda{|obj| true}
-  end
-rescue LoadError
-  task :yard do
-    abort 'yard is not available. In order to run yard, you must: gem install yard'
-  end
-end

data/test/stamina/abbadingo/random_dfa_test.rb

@@ -1,16 +0,0 @@
-require 'stamina/stamina_test'
-require 'stamina/abbadingo'
-module Stamina
-  module Abbadingo
-    class RandomDFATest < StaminaTest
-
-      def test_it_looks_ok_with_default_options
-        dfa = RandomDFA.new(32).execute
-        assert dfa.deterministic?
-        assert dfa.minimal?
-        assert dfa.complete?
-      end
-
-    end # class RandomDFATest
-  end # module Abbadingo
-end # module Stamina

data/test/stamina/abbadingo/random_sample_test.rb

@@ -1,78 +0,0 @@
-require 'stamina/stamina_test'
-require 'stamina/abbadingo'
-module Stamina
-  module Abbadingo
-    class RandomSampleTest < StaminaTest
-
-      def test_length_for
-        rs = RandomSample::StringEnumerator.new
-        assert_equal 0, rs.length_for(1) 
-        assert_equal 1, rs.length_for(2)
-        assert_equal 1, rs.length_for(3)
-        assert_equal 2, rs.length_for(4)
-        assert_equal 2, rs.length_for(5)
-        assert_equal 2, rs.length_for(6)
-        assert_equal 2, rs.length_for(7)
-        assert_equal 3, rs.length_for(8)
-      end
-
-      def test_string_for
-        rs = RandomSample::StringEnumerator.new
-        assert_equal [], rs.string_for(1)
-        assert_equal ["0"], rs.string_for(2)
-        assert_equal ["1"], rs.string_for(3)
-        assert_equal ["0", "0"], rs.string_for(4)
-        assert_equal ["1", "0"], rs.string_for(5)
-        assert_equal ["0", "1"], rs.string_for(6)
-        assert_equal ["1", "1"], rs.string_for(7)
-      end
-
-      def test_string_for_generates_all_diff
-        rs = RandomSample::StringEnumerator.new
-        h = {}
-        (1..100).each{|i| h[rs.string_for(i)] = true}
-        assert_equal 100, h.size
-      end
-
-      def test_string_for_respects_distribution
-        rs = RandomSample::StringEnumerator.new
-        lengths = Hash.new{|h,k| h[k] = 0}
-        (1..127).each{|i| lengths[rs.string_for(i).size] += 1}
-        assert_equal [0, 1, 2, 3, 4, 5, 6], lengths.keys.sort
-        prop = (0..6).collect{|i| lengths[i].to_f/128}
-        assert_equal [0.0078125, 0.015625, 0.03125, 0.0625, 0.125, 0.25, 0.5], prop
-      end
-
-      def test_enumerator
-        enum = RandomSample::StringEnumerator.new(10)
-        lengths = Hash.new{|h,k| h[k] = 0}
-        20000.times{lengths[enum.one.size] += 1}
-        assert (lengths.keys.sort - (0..10).to_a).empty?
-        prop = (0..10).collect{|i| lengths[i].to_f/20000}
-        assert((prop[-1] >= 0.45) && (prop[-1] <= 0.55))
-        assert((prop[-2] >= 0.2) && (prop[-2] <= 0.3))
-        assert((prop[-3] >= 0.1) && (prop[-3] <= 0.15))
-      end
-
-      def test_it_can_be_used_on_small_dfas
-        dfa = RandomDFA.new(16).execute
-        training, test = RandomSample.execute(dfa)
-
-        assert test.size > 0
-        assert training.size > 0
-
-        # check training sample
-        assert training.positive_count > 0 
-        assert training.negative_count > 0
-        assert dfa.correctly_classify?(training)
-
-        # check test sample
-        assert test.positive_count > 0 
-        assert test.negative_count > 0
-        assert dfa.correctly_classify?(test)
-       end
-
-
-    end # class RandomDFATest
-  end # module Abbadingo
-end # module Stamina

data/test/stamina/adl_test.rb

@@ -1,516 +0,0 @@
-require 'test/unit'
-require 'stamina'
-module Stamina
-
-  # Tests ADL parser
-  class ADLTest < Test::Unit::TestCase
-  
-    # Tests ADL#parse on a valid dfa
-    def test_can_parse_valid_empty_dfa
-      fa = ADL::parse_automaton <<-AUTOMATON
-        1 0
-        0 true false
-      AUTOMATON
-      assert_equal(1, fa.state_count)
-      assert_equal(0, fa.edge_count)
-      assert_equal(true, fa.states[0].initial?)
-      assert_equal(false, fa.states[0].accepting?)
-      assert_equal(true, fa.deterministic?)
-      assert_equal(false, fa.accepts?('+'))
-      assert_equal(false, fa.accepts?('+ a'))
-    end
-  
-    # Tests ADL#parse on a valid dfa
-    def test_can_parse_valid_small_dfa
-      fa = ADL::parse_automaton <<-AUTOMATON
-        3 4
-        0 true false
-        1 false false
-        2 false true
-        0 1 a
-        1 2 b
-        2 2 a
-        2 1 b
-      AUTOMATON
-      assert_equal(3, fa.state_count)
-      assert_equal(4, fa.edge_count)
-      fa.each_state {|s| assert_equal(s.index==0, s.initial?)}
-      fa.each_state {|s| assert_equal(s.index==2, s.accepting?)}
-      assert_equal(false, fa.accepts?('+'))
-      assert_equal(false, fa.accepts?('+ a'))
-      assert_equal(true, fa.accepts?('+ a b'))
-      assert_equal(true, fa.accepts?('+ a b a'))
-      assert_equal(false, fa.accepts?('+ a b a b'))
-      assert_equal(true, fa.accepts?('+ a b a a a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a a a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a a a b b a'))
-    end
-  
-    # Tests that ADL#parse detects a missing state
-    def test_detect_missing_header
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          0 true false
-          1 false false
-          0 1 a
-          1 2 b
-          2 2 a
-          2 1 b
-        AUTOMATON
-      end
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          # 3 4
-          0 true false
-          1 false false
-          0 1 a
-          1 2 b
-          2 2 a
-          2 1 b
-        AUTOMATON
-      end
-    end
-  
-    # Tests that ADL#parse detects a missing state
-    def test_detect_missing_state
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          3 4
-          0 true false
-          1 false false
-        AUTOMATON
-      end
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          3 4
-          0 true false
-          1 false false
-          0 1 a
-          1 2 b
-          2 2 a
-          2 1 b
-        AUTOMATON
-      end
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          3 4
-          0 true false
-          1 false false
-          # 2 false true
-          0 1 a
-          1 2 b
-          2 2 a
-          2 1 b
-        AUTOMATON
-      end
-    end
-  
-    # Tests that ADL#parse detects a missing edge
-    def test_detect_missing_edge
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          3 4
-          0 true false
-          1 false false
-          2 false true
-          0 1 a
-          2 2 a
-          2 1 b
-        AUTOMATON
-      end
-      assert_raise(ADL::ParseError) do
-        ADL::parse_automaton <<-AUTOMATON
-          3 4
-          0 true false
-          1 false false
-          2 false true
-          0 1 a
-          1 2 b
-          2 2 a
-          # 2 1 b
-        AUTOMATON
-      end
-    end
-
-    # Tests that ADL#parse detects a missing edge
-    def test_detect_trailing_data
-      assert_raise(ADL::ParseError) do
-        fa = ADL::parse_automaton <<-AUTOMATON
-          1 0
-          0 true false
-          trailing here
-        AUTOMATON
-      end
-    end
-  
-    # Tests that ADL#parse detects a missing edge
-    def test_allows_comments_and_white_lines
-      fa = nil
-      assert_nothing_raised(ADL::ParseError) do
-        fa = ADL::parse_automaton <<-AUTOMATON
-      
-          # a header is always allowed,
-          # with empty lines as well
-          #
-          3 4
-        
-          # state definitions may be introduced...
-          0 true false
-          1 false false
-          # and perturbated
-          2 false true
-          0 1 a
-        
-          # edge introduction may be misplaced
-          1 2 b
-          2 2 a
-        
-          2 1 b
-        
-          # and end of file may contain documentation as well
-          # as empty lines:
-        
-        AUTOMATON
-      end
-      assert_equal(3, fa.state_count)
-      assert_equal(4, fa.edge_count)
-      fa.each_state {|s| assert_equal(s.index==0, s.initial?)}
-      fa.each_state {|s| assert_equal(s.index==2, s.accepting?)}
-      assert_equal(false, fa.accepts?('+'))
-      assert_equal(false, fa.accepts?('+ a'))
-      assert_equal(true, fa.accepts?('+ a b'))
-      assert_equal(true, fa.accepts?('+ a b a'))
-      assert_equal(false, fa.accepts?('+ a b a b'))
-      assert_equal(true, fa.accepts?('+ a b a a a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a a a'))
-      assert_equal(true, fa.accepts?('+ a b a a a b b a a a b b a'))
-    end
-  
-    # Tests ADL::parse on the documentation example
-    def test_valid_adl_automaton_example
-      fa = nil
-      assert_nothing_raised(ADL::ParseError) do
-        here =  File.dirname(__FILE__)
-        automaton_adl = File.join(here, '..', '..', 'example', 'adl', 'automaton.adl')
-        fa = ADL::parse_automaton_file(automaton_adl)
-      end # assert_nothing_raised
-      assert_equal(5, fa.state_count)
-      assert_equal(6, fa.edge_count)
-      assert_equal(true, fa.parses?('? hello w o r l d'))
-      assert_equal(false, fa.accepts?('? hello w o r l d'))
-      assert_equal(true, fa.rejects?('? hello w o r l d'))
-      assert_equal(true, fa.accepts?('? hello'))
-      assert_equal(false, fa.accepts?('? hello w'))
-      assert_equal(true, fa.accepts?('? hello w o'))
-      assert_equal(false, fa.accepts?('? hello w o r'))
-      assert_equal(false, fa.accepts?('? hello w o r l'))
-    end
-  
-    # Tests ADL::parse on the documentation succint example
-    def test_valid_adl_automaton_succint_example
-      fa = nil
-      assert_nothing_raised do
-        fa = ADL::parse_automaton <<-AUTOMATON
-          # Some header comments: tool which has generated this automaton,
-          # maybe a date or other tool options ...
-          # here: 'this automaton accepts the a(ba)* regular language'
-          2 2
-          0 true false
-          1 false true
-          0 1 a
-          1 0 b
-        AUTOMATON
-      end
-      assert_equal(2, fa.state_count)
-      assert_equal(2, fa.edge_count)
-      assert_equal(true, fa.accepts?('? a'))
-      assert_equal(true, fa.accepts?('? a b a'))
-      assert_equal(true, fa.accepts?('? a b a b a'))
-      assert_equal(false, fa.accepts?('?'))
-      assert_equal(false, fa.accepts?('? a b'))
-      assert_equal(false, fa.accepts?('? a b a b'))
-    end
-  
-    # Checks that an initial state may arruve lately
-    def test_parse_automaton_allows_late_initial_state
-      fa = nil
-      assert_nothing_raised do
-        fa = ADL::parse_automaton <<-AUTOMATON
-          # Some header comments: tool which has generated this automaton,
-          # maybe a date or other tool options ...
-          # here: 'this automaton accepts the a(ba)* regular language'
-          2 2
-          0 false false
-          1 true true
-          0 1 a
-          1 0 b
-        AUTOMATON
-      end
-    end
-  
-    # Tests parse_automaton on an automated randomly generated using jail
-    def test_parse_automaton_on_jail_randdfa
-      fa = nil
-      assert_nothing_raised do
-        fa = ADL::parse_automaton_file(File.join(File.dirname(__FILE__),'randdfa.adl'))
-      end
-    end
-  
-    # Tests an important security issue about parse_automaton
-    def test_parse_automaton_does_not_executes_ruby_code
-      begin 
-        assert_raise ADL::ParseError do
-          ADL::parse_automaton <<-AUTOMATON
-          Kernel.exit(-1)
-          AUTOMATON
-        end
-      rescue SystemExit
-        assert false, 'SECURITY issue: ADL::parse_automaton executes ruby code'
-      end
-      begin 
-        assert_raise ADL::ParseError do
-          ADL::parse_automaton_file(File.dirname(__FILE__)+'/exit.rb') 
-        end
-      rescue SystemExit
-        assert false, 'SECURITY issue: ADL::parse_automaton executes ruby code'
-      end
-    end
-  
-    # Tests ADL::parse_string
-    def test_parse_string
-      s = ADL::parse_string('?')
-      assert_equal(true, InputString===s)
-      assert_equal(false, s.positive?)
-      assert_equal(false, s.negative?)
-      assert_equal(true, s.unlabeled?)
-      assert_equal(nil, s.label)
-      assert_equal(true, s.empty?)
-      assert_equal([], s.symbols)
-
-      s = ADL::parse_string('+')
-      assert_equal(true, InputString===s)
-      assert_equal(true, s.positive?)
-      assert_equal(true, s.label)
-      assert_equal(true, s.empty?)
-      assert_equal([], s.symbols)
-    
-      s = ADL::parse_string('-')
-      assert_equal(true, InputString===s)
-      assert_equal(false, s.positive?)
-      assert_equal(false, s.label)
-      assert_equal(true, s.empty?)
-      assert_equal([], s.symbols)
-    
-      s = ADL::parse_string('? a')
-      assert_equal(['a'], s.symbols)
-      assert_equal(false, s.positive?)
-      assert_equal(false, s.negative?)
-      assert_equal(true, s.unlabeled?)
-      assert_equal(nil, s.label)
-      assert_equal(['a'], s.symbols)
-    
-      s = ADL::parse_string('+ a')
-      assert_equal(['a'], s.symbols)
-      assert_equal(true, s.positive?)
-    
-      s = ADL::parse_string('- a')
-      assert_equal(['a'], s.symbols)
-      assert_equal(false, s.positive?)
-    
-      s = ADL::parse_string('+ a b a b ')
-      assert_equal(['a','b','a','b'], s.symbols)
-      assert_equal(true, s.positive?)
-    
-      s = ADL::parse_string('- a b a c')
-      assert_equal(['a','b','a','c'], s.symbols)
-      assert_equal(false, s.positive?)
-    end
-  
-    # Tests ADL::parse_sample
-    def test_parse_sample
-      sample = ADL::parse_sample <<-SAMPLE
-      + a b  a b  a b
-      # this is a comment, next is an empty line
-      +
-      + a   b
-      - a a
-      ? a b
-      # trailing comment allowed
-      SAMPLE
-      assert sample==Sample['+ a b a b a b', '+ a b', '- a a', '+', '? a b']
-    end
-  
-    # Tests that ADL::parse_sample accepts the empty sample
-    def test_parse_sample_accepts_empty_sample
-      samples = [
-        ADL::parse_sample(""),
-        ADL::parse_sample("#"),
-        ADL::parse_sample(<<-SAMPLE 
-        SAMPLE
-        ),
-        ADL::parse_sample(<<-SAMPLE
-        
-          # this is a comment, between two empty lines
-      
-        SAMPLE
-        )
-      ]
-      samples.each do |sample|
-        assert sample==Sample.new
-      end
-    end
-  
-    # Tests that ADL::parse_sample accepts empty strings
-    def test_parse_sample_accepts_empty_strings
-      assert Sample['+'] == ADL::parse_sample('+')
-      assert Sample['-'] == ADL::parse_sample('-')
-      assert Sample['+'] == ADL::parse_sample(<<-SAMPLE
-        +
-      SAMPLE
-      )
-      assert Sample['-'] == ADL::parse_sample(<<-SAMPLE
-        -
-      SAMPLE
-      )
-    end  
-  
-    # Tests validity of sample.adl file
-    def test_valid_adl_sample_example
-      here =  File.dirname(__FILE__)
-      sample_adl = File.join(here, '..', '..', 'example', 'adl', 'sample.adl')
-      sample = ADL::parse_sample_file(sample_adl)
-      expected = Sample.new 
-      expected << InputString.new(['a', 'b', 'a', 'b'], true)
-      expected << InputString.new(['a', 'a'], false)
-      expected << InputString.new(['a', 'b'], nil)
-      expected << InputString.new([], true)
-      expected << InputString.new(['hello', 'world'], true)
-      expected << InputString.new(['h','e','l','l','o','w','o','r','l','d'], true)
-      expected << InputString.new(['helloworld'], true)
-      expected << InputString.new(['a','+','b','-','a','-','b','+a'], true)
-      expected << InputString.new(['#','a','#','b','a','b','#','and','all','these','words','are','symbols', 'too', '!!'],true)
-      expected.each do |s|
-        assert sample.include?(s), "|#{s}| from expected is included in sample"
-      end
-      sample.each do |s|
-        assert expected.include?(s), "|#{s}| from sample is included in expected"
-      end
-      assert expected == sample
-    end
-
-    # Tests validity of sample.adl file
-    def test_valid_adl_sample_succint_example
-      sample = ADL::parse_sample <<-SAMPLE
-        # Some header comments: tool which has generated this sample,
-        # maybe a date or other tool options ...
-        # here: 'this sample is caracteristic for the a(ba)* regular language'
-        -
-        + a
-        - a b
-        + a b a
-      SAMPLE
-      expected = Sample.new
-      expected << InputString.new([], false)
-      expected << InputString.new(['a'], true)
-      expected << InputString.new(['a','b'], false)
-      expected << InputString.new(['a','b','a'], true)
-      assert expected==sample
-    end  
-  
-    # Tests an important security issue about parse_automaton
-    def test_parse_sample_does_not_executes_ruby_code
-      begin 
-        ADL::parse_sample <<-AUTOMATON
-        + Kernel.exit(-1)
-        AUTOMATON
-      rescue SystemExit
-        assert false, 'SECURITY issue: ADL::parse_automaton executes ruby code'
-      end
-      begin 
-        ADL::parse_sample_file(File.dirname(__FILE__)+'/exit.rb') 
-      rescue SystemExit
-        assert false, 'SECURITY issue: ADL::parse_automaton executes ruby code'
-      end
-    end
-
-    # tests that state IDs are loaded and can be used.
-    def test_state_names
-      fa = ADL::parse_automaton <<-AUTOMATON
-        3 4
-        A true false
-        B false false
-        C false true
-        A B a
-        B C b
-        C C a
-        C B b
-      AUTOMATON
-
-      ['A','B','C'].each do |statename|
-        assert_equal statename,fa.get_state(statename)[:name]
-      end
-
-      assert_equal true,fa.get_state('A').initial?
-      assert_equal false,fa.get_state('B').initial?
-      assert_equal false,fa.get_state('C').initial?
-
-      assert_equal false,fa.get_state('A').accepting?
-      assert_equal false,fa.get_state('B').accepting?
-      assert_equal true,fa.get_state('C').accepting?
-    end
-  
-    def test_parsing_recognizes_failures
-      assert_raise Stamina::ADL::ParseError do 
-        fa = ADL::parse_sample <<-EOF
-          3 4
-          A true false
-          B false false
-          C false true
-          A B a
-          B C b
-          C C a
-          C B b
-        EOF
-      end
-      assert_raise Stamina::ADL::ParseError do 
-        sample = ADL::parse_automaton <<-EOF
-          + a b  a b  a b
-          # this is a comment, next is an empty line
-          +
-          + a   b
-          - a a
-          a b
-          # trailing comment allowed
-        EOF
-      end
-    end
-
-    def test_allows_error_states
-      dfa = ADL::parse_automaton <<-EOF
-        5 0
-        0 true true true
-        1 false false true
-        2 false false false
-        3 false true false
-        4 false true
-      EOF
-      assert dfa.ith_state(0).accepting? && dfa.ith_state(0).error?
-      assert !dfa.ith_state(1).accepting? && dfa.ith_state(1).error?
-      assert !dfa.ith_state(2).accepting? && !dfa.ith_state(2).error?
-      assert dfa.ith_state(3).accepting? && !dfa.ith_state(3).error?
-      assert !dfa.ith_state(4).error?
-    end
-
-    def test_flushes_error_states
-      dfa = ADL::parse_automaton <<-EOF
-        2 0
-        0 true false
-        1 false false true
-      EOF
-      assert_equal "1 false false true", dfa.to_adl.split("\n")[2].strip
-    end
-
-  end # class ADLTest
-end # module Stamina