antelope 0.1.1 → 0.1.2

data/lib/antelope/version.rb

@@ -1,4 +1,6 @@
+# encoding: utf-8
+
 module Antelope
   # The current running version of antelope.
-  VERSION = "0.1.1".freeze
+  VERSION = "0.1.2".freeze
 end

data/lib/antelope.rb

@@ -1,3 +1,5 @@
+# encoding: utf-8
+
 require "antelope/errors"
 require "antelope/generation"
 require "antelope/generator"

data/spec/antelope/ace/compiler_spec.rb

@@ -5,7 +5,7 @@ describe Ace::Compiler do
       test
     %}
 
-    %require "0.0.1"
+    %require "#{VERSION}"
     %type "ruby"
 
     %terminal NUMBER
@@ -47,4 +47,14 @@ describe Ace::Compiler do
     expect(subject.options[:terminals].map(&:first)).to eq [:NUMBER,
       :SEMICOLON, :ADD, :LPAREN, :RPAREN]
   end
+
+  context "with an unmatched version" do
+    let :file do "%require \"0.0.0\"\n%%\n%%\n" end
+
+    it "should raise an error" do
+      expect {
+        subject
+      }.to raise_error(Ace::IncompatibleVersionError)
+    end
+  end
 end

data/spec/antelope/constructor_spec.rb

@@ -0,0 +1,127 @@
+describe Generation::Constructor do
+  let(:grammar)  { double("grammar") }
+  let(:terminal) { token(:TERMINAL)  }
+  let(:epsilon)  { token(nil, nil, :epsilon) }
+
+  subject { described_class.new(grammar) }
+
+  context "#nullable?" do
+    context "when given an epsilon token" do
+      it "returns true" do
+        expect(subject.nullable?(epsilon)).to be true
+      end
+    end
+
+    context "when given a terminal" do
+      it "returns false" do
+        expect(subject.nullable?(terminal)).to be false
+      end
+    end
+
+    context "when given an array" do
+      context "with one of the elements not nullable" do
+        it "returns false" do
+          expect(subject.nullable?([terminal, epsilon])).to be false
+        end
+      end
+
+      context "with all of the elements nullable" do
+        it "returns true" do
+          expect(subject.nullable?([epsilon, epsilon])).to be true
+        end
+      end
+    end
+
+    context "when given a nonterminal" do
+      let(:grammar) { with_recognizer }
+
+      context "with no nullable productions" do
+        let(:nonterminal) { Ace::Token::Nonterminal.new(:l) }
+
+        it "returns false" do
+          expect(subject.nullable?(nonterminal)).to be false
+        end
+      end
+
+      context "with a nullable production" do
+        let(:nonterminal) { Ace::Token::Nonterminal.new(:e) }
+
+        it "returns true" do
+          expect(subject.nullable?(nonterminal)).to be true
+        end
+      end
+    end
+
+    context "when given a bad argument" do
+      it "raises an error" do
+        expect { subject.nullable?(nil) }.to raise_error(ArgumentError)
+      end
+    end
+  end
+
+  context "#first" do
+    context "when given an epsilon token" do
+      it "generates an empty set" do
+        expect(subject.first(epsilon)).to eq Set.new
+      end
+    end
+
+    context "when given a terminal" do
+      it "generates a set" do
+        expect(subject.first(terminal)).to eq [terminal].to_set
+      end
+    end
+
+    context "when given an array" do
+      let(:terminal2) { token(:TERMINAL2) }
+
+      it "generates a set" do
+        expect(subject.first([epsilon, terminal])).
+          to eq [terminal].to_set
+        expect(subject.first([terminal, terminal2])).
+          to eq [terminal].to_set
+      end
+    end
+
+    context "when given a nonterminal" do
+      let(:grammar) { with_recognizer }
+      let(:nonterminal) { token(:e, nil, :nonterminal) }
+
+      it "generates a set" do
+        expect(subject.first(nonterminal)).
+          to eq [token(:IDENT), token(:STAR, "*")].to_set
+      end
+    end
+
+    context "when given a bad argument" do
+      it "raises an error" do
+        expect { subject.first(nil) }.to raise_error(ArgumentError)
+      end
+    end
+  end
+
+  context "#follow" do
+    context "when given a bad argument" do
+      it "raises an error" do
+        expect { subject.follow(nil) }.to raise_error(ArgumentError)
+      end
+    end
+
+    context "when given a nonterminal" do
+      let(:grammar) { with_recognizer }
+      let(:nonterminal) { token(:l, nil, :nonterminal) }
+
+      it "generates a set" do
+        expect(subject.follow(nonterminal)).to eq [
+          token(:EQUALS, "="),
+          token(:"$")
+        ].to_set
+      end
+    end
+  end
+
+  def token(name = nil, value = nil, type = :terminal)
+    type = Ace::Token.const_get(type.to_s.capitalize)
+    type.new(name, value)
+  end
+end

data/spec/fixtures/simple.ace

@@ -0,0 +1,22 @@
+%type "ruby"
+
+%terminal IDENT
+%terminal STAR "*"
+%terminal EQUALS "="
+
+%%
+
+e: l EQUALS r
+ | r
+ | nothing
+
+l: IDENT
+ | STAR r
+
+r: l
+
+%%
+
+class SimpleParser
+  %{write}
+end

data/spec/spec_helper.rb

@@ -35,4 +35,5 @@ RSpec.configure do |config|
   #     --seed 1234
   config.order = 'random'
   config.include BenchmarkHelper
+  config.include GrammarHelper
 end

data/spec/support/grammar_helper.rb

@@ -0,0 +1,15 @@
+module GrammarHelper
+
+  def grammar_for(grammar_file = "simple")
+    source_path = Pathname.new("../../fixtures").expand_path(__FILE__)
+    Ace::Grammar.from_file(source_path.children.select(&:file?)
+      .find { |x| x.to_s =~ /#{Regexp.escape(grammar_file)}\..*\z/ }.to_s)
+  end
+
+  def with_recognizer(grammar = simple_grammar)
+    recognizer = Generation::Recognizer.new(grammar).call
+    grammar
+  end
+
+  alias_method :simple_grammar, :grammar_for
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: antelope
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.2
 platform: ruby
 authors:
 - Jeremy Rodi
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-06-18 00:00:00.000000000 Z
+date: 2014-06-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: hashie
@@ -104,6 +104,7 @@ extra_rdoc_files: []
 files:
 - ".gitignore"
 - ".rspec"
+- ".travis.yml"
 - ".yardopts"
 - Gemfile
 - LICENSE.txt
@@ -158,9 +159,11 @@ files:
 - lib/antelope/version.rb
 - spec/antelope/ace/compiler_spec.rb
 - spec/antelope/ace/scanner_spec.rb
-- spec/antelope/automaton_spec.rb
+- spec/antelope/constructor_spec.rb
+- spec/fixtures/simple.ace
 - spec/spec_helper.rb
 - spec/support/benchmark_helper.rb
+- spec/support/grammar_helper.rb
 homepage: https://github.com/medcat/antelope
 licenses:
 - MIT
@@ -188,7 +191,9 @@ summary: A compiler compiler, written in ruby.
 test_files:
 - spec/antelope/ace/compiler_spec.rb
 - spec/antelope/ace/scanner_spec.rb
-- spec/antelope/automaton_spec.rb
+- spec/antelope/constructor_spec.rb
+- spec/fixtures/simple.ace
 - spec/spec_helper.rb
 - spec/support/benchmark_helper.rb
+- spec/support/grammar_helper.rb
 has_rdoc: 

data/spec/antelope/automaton_spec.rb

@@ -1,29 +0,0 @@
-describe Automaton do
-  context "with a simple table" do
-    let(:states) { [ :s1, :s2 ] }
-    let(:alphabet) { [0, 1] }
-    let(:accept) { [ :s1 ] }
-    let(:transitions) { {
-      :s1 => { 0 => :s2, 1 => :s1 },
-      :s2 => { 0 => :s1, 1 => :s2 }
-    } }
-
-    subject do
-      Automaton.new(states, alphabet, :s1, accept, transitions)
-    end
-
-    it "basically runs" do
-      expect(subject.run([1, 1])).to be_truthy
-    end
-
-    it "yields for transitions" do
-      expect { |b| subject.run([1], &b) }.to yield_control
-    end
-
-    it "runs fast" do
-      expect(benchmark do
-        subject.run([1, 1])
-      end).to be < 5e-5
-    end
-  end
-end