pegarus 0.1.0

data/spec/custom/guards/engine.rb

@@ -0,0 +1,27 @@
+class EngineGuard < SpecGuard
+  def match?
+    if defined?(RUBY_ENGINE)
+      @args.any? { |name| RUBY_ENGINE == name.to_s }
+    else
+      false
+    end
+  end
+end
+
+class Object
+  def engine_is(*names)
+    g = EngineGuard.new(*names)
+    g.name = :engine_is
+    yield if g.yield?
+  ensure
+    g.unregister
+  end
+
+  def engine_is_not(*names)
+    g = EngineGuard.new(*names)
+    g.name = :engine_is_not
+    yield if g.yield? true
+  ensure
+    g.unregister
+  end
+end

data/spec/machine/instructions/call_spec.rb

@@ -0,0 +1,21 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The call instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:call]
+  end
+
+  it "pushes the next IP onto the stack" do
+    @state.stack.should == []
+    @insn[@state, 5]
+    @state.stack.should == [2]
+  end
+
+  it "sets the IP to the value of the argument" do
+    @state.ip.should == 0
+    @insn[@state, 5]
+    @state.ip.should == 5
+  end
+end

data/spec/machine/instructions/capture_spec.rb

@@ -0,0 +1,15 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The capture instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:capture]
+  end
+
+  it "adds an entry [current index, <data>] in the captures list" do
+    @state.captures.should == []
+    @insn[@state, :data]
+    @state.captures.should == [[0, :data]]
+  end
+end

data/spec/machine/instructions/char_spec.rb

@@ -0,0 +1,34 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The char instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new "abc"
+    _, @insn = Pegarus::Machine::Instructions[:char]
+  end
+
+  it "advances the subject index if the character matches" do
+    @state.index.should == 0
+    @insn[@state, ?a]
+    @state.index.should == 1
+  end
+
+  it "does not advance the subject index if the charater does not match" do
+    @state.index.should == 0
+    @insn[@state, ?b]
+    @state.index.should == 0
+  end
+
+  it "sets the machine state to failure if current index exceeds subject length" do
+    state = Pegarus::Machine::State.new ""
+    state.failure?.should be_false
+    @insn[state, ?a]
+    state.failure?.should be_true
+  end
+
+  it "sets the machine state to failure if the character does not match" do
+    @state.failure?.should be_false
+    @insn[@state, ?b]
+    @state.failure?.should be_true
+  end
+end

data/spec/machine/instructions/choice_spec.rb

@@ -0,0 +1,15 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The choice instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:choice]
+  end
+
+  it "pushes the alternate IP, current subject index, and captures list on the stack" do
+    @state.stack.should == []
+    @insn[@state, 5]
+    @state.stack.should == [5, 0, []]
+  end
+end

data/spec/machine/instructions/commit_spec.rb

@@ -0,0 +1,21 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The commit instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:commit]
+  end
+
+  it "discards the alternate stack info pushed by a choice instruction" do
+    @state.stack << 3 << [] << 1 << 2
+    @insn[@state, 5]
+    @state.stack.should == [3]
+  end
+
+  it "sets the machine IP to the value of the argument" do
+    @state.stack << [] << 1 << 2
+    @insn[@state, 5]
+    @state.ip.should == 5
+  end
+end

data/spec/machine/instructions/fail_spec.rb

@@ -0,0 +1,34 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The fail instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:fail]
+  end
+
+  it "does not clear the failure if the stack is empty" do
+    @state.failure
+    @state.stack.should be_empty
+    @insn[@state]
+    @state.failure?.should be_true
+  end
+
+  it "does not clear the failure state if the stack only contains return address labels" do
+    @state.failure
+    @state.stack << 1 << 2 << 3
+    @insn[@state]
+    @state.stack.should be_empty
+    @state.failure?.should be_true
+  end
+
+  it "clears the failure state and assigns the IP, subject index, and captures list to the values on the stack" do
+    @state.failure
+    @state.stack << 1 << 2 << 3 << [] << 4
+    @insn[@state]
+    @state.stack.should == [1]
+    @state.failure?.should be_false
+    @state.ip.should == 2
+    @state.index.should == 3
+  end
+end

data/spec/machine/instructions/jump_spec.rb

@@ -0,0 +1,15 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The jump instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:jump]
+  end
+
+  it "sets the IP to the value of the argument" do
+    @state.ip.should == 0
+    @insn[@state, 5]
+    @state.ip.should == 5
+  end
+end

data/spec/machine/instructions/return_spec.rb

@@ -0,0 +1,16 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+describe "The return instruction" do
+  before :each do
+    @state = Pegarus::Machine::State.new ""
+    _, @insn = Pegarus::Machine::Instructions[:return]
+  end
+
+  it "sets the machine IP to the value popped from the stack" do
+    @state.stack << 5
+    @insn[@state]
+    @state.stack.should == []
+    @state.ip.should == 5
+  end
+end

data/spec/matching/evaluator/any_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/any'
+
+describe "Any#match" do
+  it_should_behave_like :ast_any
+end

data/spec/matching/evaluator/character_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/character'
+
+describe "Character#match" do
+  it_should_behave_like :ast_character
+end

data/spec/matching/evaluator/choice_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/choice'
+
+describe "Choice#match" do
+  it_should_behave_like :ast_choice
+end

data/spec/matching/evaluator/concatenation_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/concatenation'
+
+describe "Concatenation#match" do
+  it_should_behave_like :ast_concatenation
+end

data/spec/matching/evaluator/difference_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/difference'
+
+describe "Difference#match" do
+  it_should_behave_like :ast_difference
+end

data/spec/matching/evaluator/if_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/if'
+
+describe "If#match" do
+  it_should_behave_like :ast_if
+end

data/spec/matching/evaluator/product_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/product'
+
+describe "Product#match" do
+  it_should_behave_like :ast_product
+end

data/spec/matching/evaluator/setup.rb

@@ -0,0 +1,4 @@
+require 'spec/spec_helper'
+require 'pegarus/evaluator'
+
+Pegarus::Pattern.select_engine Pegarus::Evaluator

data/spec/matching/evaluator/unless_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/evaluator/setup'
+require 'spec/matching/shared/unless'
+
+describe "Unless#match" do
+  it_should_behave_like :ast_unless
+end

data/spec/matching/machine/any_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/any'
+
+describe "Any#match" do
+  it_should_behave_like :ast_any
+end

data/spec/matching/machine/character_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/character'
+
+describe "Character#match" do
+  it_should_behave_like :ast_character
+end

data/spec/matching/machine/choice_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/choice'
+
+describe "Choice#match" do
+  it_should_behave_like :ast_choice
+end

data/spec/matching/machine/concatenation_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/concatenation'
+
+describe "Concatenation#match" do
+  it_should_behave_like :ast_concatenation
+end

data/spec/matching/machine/difference_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/difference'
+
+describe "Difference#match" do
+  it_should_behave_like :ast_difference
+end

data/spec/matching/machine/if_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/if'
+
+describe "If#match" do
+  it_should_behave_like :ast_if
+end

data/spec/matching/machine/product_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/product'
+
+describe "Product#match" do
+  it_should_behave_like :ast_product
+end

data/spec/matching/machine/setup.rb

@@ -0,0 +1,4 @@
+require 'spec/spec_helper'
+require 'pegarus/machine'
+
+Pegarus::Pattern.select_engine Pegarus::Machine

data/spec/matching/machine/unless_spec.rb

@@ -0,0 +1,6 @@
+require 'spec/matching/machine/setup'
+require 'spec/matching/shared/unless'
+
+describe "Unless#match" do
+  it_should_behave_like :ast_unless
+end

data/spec/matching/rubinius/any_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/any'
+
+  describe "Any#match" do
+    it_should_behave_like :ast_any
+  end
+end

data/spec/matching/rubinius/character_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/character'
+
+  describe "Character#match" do
+    it_should_behave_like :ast_character
+  end
+end

data/spec/matching/rubinius/choice_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/choice'
+
+  describe "Choice#match" do
+    it_should_behave_like :ast_choice
+  end
+end

data/spec/matching/rubinius/concatenation_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/concatenation'
+
+  describe "Concatenation#match" do
+    it_should_behave_like :ast_concatenation
+  end
+end

data/spec/matching/rubinius/difference_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/difference'
+
+  describe "Difference#match" do
+    it_should_behave_like :ast_difference
+  end
+end

data/spec/matching/rubinius/if_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/if'
+
+  describe "If#match" do
+    it_should_behave_like :ast_if
+  end
+end

data/spec/matching/rubinius/product_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/product'
+
+  describe "Product#match" do
+    it_should_behave_like :ast_product
+  end
+end

data/spec/matching/rubinius/setup.rb

@@ -0,0 +1,4 @@
+require 'spec/spec_helper'
+require 'pegarus/rubinius'
+
+Pegarus::Pattern.select_engine Pegarus::Rubinius

data/spec/matching/rubinius/unless_spec.rb

@@ -0,0 +1,8 @@
+engine_is :rbx do
+  require 'spec/matching/rubinius/setup'
+  require 'spec/matching/shared/unless'
+
+  describe "Unless#match" do
+    it_should_behave_like :ast_unless
+  end
+end

data/spec/matching/shared/any.rb

@@ -0,0 +1,13 @@
+describe :ast_any, :shared => true do
+  it "returns nil when the subject is empty" do
+    Pegarus.pattern(1).match("").should be_nil
+  end
+
+  it "returns nil if there are not N characters to match in the subject" do
+    Pegarus.pattern(3).match("ab").should be_nil
+  end
+
+  it "returns the index of the character following the matched substring" do
+    Pegarus.pattern(3).match("abcd").should == 3
+  end
+end

data/spec/matching/shared/character.rb

@@ -0,0 +1,17 @@
+describe :ast_character, :shared => true do
+  it "returns nil when the subject is empty" do
+    Pegarus.pattern("a").match("").should be_nil
+  end
+
+  it "returns nil when the subject does not match completely" do
+    Pegarus.pattern("abc").match("abde").should be_nil
+  end
+
+  it "returns the index of the character following the matched substring" do
+    Pegarus.pattern("abc").match("abcde").should == 3
+  end
+
+  it "returns 0 when pattern is empty" do
+    Pegarus.pattern("").match("abc").should == 0
+  end
+end

data/spec/matching/shared/choice.rb

@@ -0,0 +1,16 @@
+describe :ast_choice, :shared => true do
+  it "returns nil if none of the patterns match" do
+    pat = Pegarus.pattern("a") / Pegarus.pattern("b")
+    pat.match("c").should be_nil
+  end
+
+  it "matches the first pattern if both match" do
+    pat = Pegarus.pattern("aaa") / Pegarus.pattern("a")
+    pat.match("aaa").should == 3
+  end
+
+  it "matches the second pattern if the first does not match" do
+    pat = Pegarus.pattern("a") / Pegarus.pattern("bc")
+    pat.match("bc").should == 2
+  end
+end

data/spec/matching/shared/concatenation.rb

@@ -0,0 +1,16 @@
+describe :ast_concatenation, :shared => true do
+  it "returns nil if the first pattern does not match" do
+    pat = Pegarus.pattern(1) + Pegarus.pattern("a")
+    pat.match("").should be_nil
+  end
+
+  it "returns nil if the second pattern does not match" do
+    pat = Pegarus.pattern(1) + Pegarus.pattern("a")
+    pat.match("ab").should be_nil
+  end
+
+  it "returns the index of the character following the matched substring" do
+    pat = Pegarus.pattern(1) + Pegarus.pattern("ac")
+    pat.match("aacbde").should == 3
+  end
+end

data/spec/matching/shared/difference.rb

@@ -0,0 +1,2 @@
+describe :ast_difference, :shared => true do
+end

data/spec/matching/shared/if.rb

@@ -0,0 +1,16 @@
+describe :ast_if, :shared => true do
+  it "returns nil if the first pattern does not match" do
+    pat = Pegarus.pattern(1) + +Pegarus.pattern("a")
+    pat.match("").should be_nil
+  end
+
+  it "returns nil if the second pattern does not match" do
+    pat = Pegarus.pattern(1) + +Pegarus.pattern("c")
+    pat.match("ab").should be_nil
+  end
+
+  it "returns the index of the character following the matched substring" do
+    pat = Pegarus.pattern(1) + +Pegarus.pattern("ac")
+    pat.match("aacbde").should == 1
+  end
+end

data/spec/matching/shared/product.rb

@@ -0,0 +1,2 @@
+describe :ast_product, :shared => true do
+end

data/spec/matching/shared/unless.rb

@@ -0,0 +1,16 @@
+describe :ast_unless, :shared => true do
+  it "returns nil if the first pattern does not match" do
+    pat = Pegarus.pattern(1) + -Pegarus.pattern("a")
+    pat.match("").should be_nil
+  end
+
+  it "returns nil if the second pattern match" do
+    pat = Pegarus.pattern(1) + -Pegarus.pattern("b")
+    pat.match("ab").should be_nil
+  end
+
+  it "returns the index of the character following the matched substring" do
+    pat = Pegarus.pattern(1) + -Pegarus.pattern("xx")
+    pat.match("aacbde").should == 1
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,12 @@
+$: << File.expand_path('../../lib', __FILE__)
+
+require 'pegarus'
+
+case ENV["PEGARUS_MACHINE"]
+when "vm"
+  require 'pegarus/machine'
+  Pegarus::Pattern.machine Pegarus::ParsingMachine
+when "xjit"
+  require 'pegarus/rubinius'
+  Pegarus::Pattern.machine Pegarus::RubiniusJIT
+end