stamina 0.3.0

data/stamina.noespec

@@ -0,0 +1,35 @@
+# Noe template for ruby gem libraries (https://github.com/blambeau/noe) - short version
+# Run 'noe show-spec' and 'noe help show-spec' for additional details.
+template-info:
+  name: "ruby"
+  version: 1.3.0
+variables:
+  lower: 
+    stamina
+  upper:
+    Stamina
+  version:
+    0.3.0
+  summary: |-
+    Automaton and Regular Inference Toolkit
+  description: |-
+    Stamina is an automaton and regular inference toolkit initially developped for the baseline 
+    of the Stamina Competition (stamina.chefbe.net).
+  authors: 
+    - name: Bernard Lambeau
+      email: blambeau@gmail.com
+  links: 
+    - http://stamina.chefbe.net/
+    - http://github.com/blambeau/stamina
+  dependencies: 
+    # Rake is required for developers, as usual
+    - {name: rake,      version: "~> 0.8.7", groups: [development]}
+    # Bundler is required for developers and is used by the Rakefile
+    - {name: bundler,   version: "~> 1.0",   groups: [development]}
+    # RSpec is required to run 'rake spec'. See tasks/spec.rake 
+    - {name: rspec,     version: "~> 2.4.0", groups: [development]}
+    # YARD and BlueCloth are required to run 'rake yard'. See tasks/yard.rake 
+    - {name: yard,      version: "~> 0.6.4", groups: [development]}
+    - {name: bluecloth, version: "~> 2.0.9", groups: [development]}
+    # wlang is required to run 'rake debug_mail'. See tasks/debug_mail.rake
+    - {name: wlang, version: "~> 0.10.1", groups: [development]}

data/tasks/debug_mail.rake

@@ -0,0 +1,78 @@
+# Installs a rake task for debuging the announcement mail.
+#
+# This file installs the 'rake debug_mail' that flushes an announcement mail
+# for your library on the standard output. It is automatically generated 
+# by Noe from your .noespec file, and should therefore be configured there, 
+# under the variables/rake_tasks/debug_mail entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     debug_mail:
+#       rx_changelog_sections: /^#/
+#       nb_changelog_sections: 1
+#       ...
+#
+# 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/debug_mail.rake:
+#       safe-override: false
+#
+# The mail template used can be found in debug_mail.txt. That file may be
+# changed to tune the mail you want to send. If you do so, don't forget to
+# add a manifest entry in your .noespec file to avoid overriding you 
+# changes. The mail template uses wlang, with parentheses for block 
+# delimiters.
+#
+# template-info:
+#   manifest:
+#     tasks/debug_mail.txt:
+#       safe-override: false
+#
+begin
+  require 'wlang'
+  require 'yaml'
+  
+  desc "Debug the release announcement mail"
+  task :debug_mail do 
+    # Check that a .noespec file exists
+    noespec_file = File.expand_path('../../stamina.noespec', __FILE__)
+    unless File.exists?(noespec_file)
+      raise "Unable to find .noespec project file, sorry."
+    end
+    
+    # Load it as well as variables and options
+    noespec = YAML::load(File.read(noespec_file))
+    vars = noespec['variables'] || {}
+
+    # Changes are taken from CHANGELOG 
+    logs = Dir[File.expand_path("../../CHANGELOG.*", __FILE__)]
+    unless logs.size == 1
+      abort "Unable to find a changelog file"
+    end
+
+    # Load interesting changesets
+    changes, end_found = [], 0
+    File.readlines(logs.first).select{|line|
+      if line =~ /^#/
+        break if end_found >= 1
+        end_found += 1
+      end
+      changes << line
+    }
+    vars['changes'] = changes.join
+    
+    # WLang template
+    template = File.expand_path('../debug_mail.txt', __FILE__)
+    
+    # Let's go!
+    $stdout << WLang::file_instantiate(template, vars, "wlang/active-text")
+  end
+
+rescue LoadError 
+  task :debug_mail do
+    abort "wlang is not available. Try 'gem install wlang'"
+  end
+end

data/tasks/debug_mail.txt

@@ -0,0 +1,13 @@
+Subject: [ANN] !{lower} !{version} Released
+
+!{lower} version !{version} has been released!
+
+!{summary}
+
+*{links as l}{* <!{l}>}{!{"\n"}}
+
+!{description}
+
+Changes:
+
+!{changes}

data/tasks/gem.rake

@@ -0,0 +1,68 @@
+# Installs rake tasks for gemming and packaging
+#
+# This file installs the 'rake package', 'rake gem' tasks and associates 
+# (clobber_package, repackage, ...). It is automatically generated by Noe 
+# from your .noespec file, and should therefore be configured there, under 
+# the variables/rake_tasks/gem entry, as illustrated below:
+#
+# variables:
+#   rake_tasks:
+#     gem:
+#       package_dir: pkg
+#       need_tar: false
+#       need_tar_gz: false
+#       need_tar_bz2: false
+#       need_zip: 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/gem.rake:
+#       safe-override: false
+#
+begin
+  require 'rubygems/package_task'
+  Gem::PackageTask.new($gemspec) do |t|
+
+    # Name of the package
+    t.name = $gemspec.name
+
+    # Version of the package
+    t.version = $gemspec.version
+    
+    # Directory used to store the package files
+    t.package_dir = "pkg"
+    
+    # True if a gzipped tar file (tgz) should be produced
+    t.need_tar = false
+    
+    # True if a gzipped tar file (tar.gz) should be produced
+    t.need_tar_gz = false
+    
+    # True if a bzip2'd tar file (tar.bz2) should be produced
+    t.need_tar_bz2 = false
+    
+    # True if a zip file should be produced (default is false)
+    t.need_zip = false
+    
+    # List of files to be included in the package.
+    t.package_files = $gemspec.files
+    
+    # Tar command for gzipped or bzip2ed archives.
+    t.tar_command = "tar"
+    
+    # Zip command for zipped archives.
+    t.zip_command = "zip"
+
+  end
+rescue LoadError
+  task :gem do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+  task :package do
+    abort 'rubygems/package_task is not available. You should verify your rubygems installation'
+  end
+end

data/tasks/spec_test.rake

@@ -0,0 +1,79 @@
+# 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

@@ -0,0 +1,77 @@
+# 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

@@ -0,0 +1,51 @@
+# 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/adl_test.rb

@@ -0,0 +1,491 @@
+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
+  end # class ADLTest
+    
+end # module Stamina