predicator 0.0.0 → 0.1.0

data/lib/predicator/lexer.rb

@@ -0,0 +1,93 @@
+require "stringio"
+require "strscan"
+
+module Predicator
+  class Lexer
+    SPACE   = /[ \t\r\n]/
+    DOT     = /\./
+    BANG    = /!/
+    EQUAL   = /=/
+    LPAREN  = /\(/
+    RPAREN  = /\)/
+    DATE    = /(\d{4})-(\d{2})-(\d{2})/i
+    FLOAT   = /[+-]?(?:[0-9_]+\.[0-9_]*|\.[0-9_]+|\d+(?=[eE]))(?:[eE][+-]?[0-9_]+)?\b/
+    INTEGER = /[+-]?\d(_?\d)*\b/
+    TRUE    = /true\b/
+    FALSE   = /false\b/
+    AND     = /and/i
+    OR      = /or/i
+    STRING  = /(["])(?:\\?.)*?\1/
+    IDENTIFIER = /[a-z][A-Za-z0-9_]*/
+
+    def initialize string_or_io
+      io = string_or_io.is_a?(String) ?
+        StringIO.new(string_or_io) :
+        string_or_io
+
+      @ss = StringScanner.new io.read
+      @tokens = []
+      tokenize
+    end
+
+    def next_token
+      @tokens.shift
+    end
+
+    def tokenize
+      until @ss.eos?
+        case
+        when @ss.scan(SPACE)
+          # ignore space
+
+        when text = @ss.scan(DOT)
+          @tokens.push [:tDOT, text]
+
+        when text = @ss.scan(BANG)
+          @tokens.push [:tBANG, text]
+
+        when text = @ss.scan(EQUAL)
+          @tokens.push [:tEQUAL, text]
+
+        when text = @ss.scan(LPAREN)
+          @tokens.push [:tLPAREN, text]
+
+        when text = @ss.scan(RPAREN)
+          @tokens.push [:tRPAREN, text]
+
+        when text = @ss.scan(DATE)
+          args = [ @ss[1], @ss[2], @ss[3] ].map(&:to_i)
+          @tokens.push [:tDATE, args]
+
+        when text = @ss.scan(FLOAT)
+          @tokens.push [:tFLOAT, text]
+
+        when text = @ss.scan(INTEGER)
+          @tokens.push [:tINTEGER, text]
+
+        when text = @ss.scan(TRUE)
+          @tokens.push [:tTRUE, text]
+
+        when text = @ss.scan(FALSE)
+          @tokens.push [:tFALSE, text]
+
+        when text = @ss.scan(AND)
+          @tokens.push [:tAND, text]
+
+        when text = @ss.scan(OR)
+          @tokens.push [:tOR, text]
+
+        when text = @ss.scan(STRING)
+          @tokens.push [:tSTRING, text[1..-2]]
+
+        when text = @ss.scan(IDENTIFIER)
+          @tokens.push [:tIDENTIFIER, text]
+
+        else
+          raise "Unexpected characters: #{@ss.peek(5).inspect}"
+        end
+      end
+
+      @tokens.push [false, false]
+    end
+  end
+end

data/lib/predicator/parser.rb

@@ -1,47 +1,34 @@
-module Predicator
-  class Parser < Parslet::Parser
-    rule(:space)  { match[" "].repeat(1) }
-    rule(:space?) { space.maybe }
-    rule(:comma) { s(",") }
-    rule(:lparen) { s("(") }
-    rule(:rparen) { s(")") }
-    rule(:and_op) { s("and") }
-    rule(:or_op)  { s("or") }
-    rule(:not_op) { s("!") | s("not") }
-    rule :boolean do
-      (s("true") | s("false")).as :boolean
-    end
+require "date"
 
-    rule(:predicate) do
-      boolean | not_predicate | or_predicate | and_predicate
-    end
+require "predicator/generated_parser"
+require "predicator/lexer"
+require "predicator/variable"
 
-    rule :not_predicate do
-      (not_op >> lparen >> predicate >> rparen).as(:not)
-    end
+require "predicator/predicates/equals"
+require "predicator/predicates/true"
+require "predicator/predicates/false"
+require "predicator/predicates/and"
+require "predicator/predicates/or"
+require "predicator/predicates/not"
 
-    rule :and_predicate do
-      (and_op >> lparen >>
-      (predicate >> (comma >> predicate).repeat.maybe).as(:array) >>
-      rparen).as(:and)
-    end
+module Predicator
+  class ParseError < StandardError; end
 
-    rule :or_predicate do
-      (or_op >> lparen >>
-      (predicate >> (comma >> predicate).repeat.maybe).as(:array) >>
-      rparen).as(:or)
+  class Parser < GeneratedParser
+    def next_token
+      @lexer.next_token
     end
 
-    root :predicate
+    def parse string
+      @lexer = Lexer.new string
+      do_parse
+    end
 
-  private
-    # Defines a string followed by any number of spaces.
-    def s str, name=nil
-      if name
-        str(str).as(name) >> space?
-      else
-        str(str) >> space?
-      end
+    def on_error type, val, values
+      super
+    rescue Racc::ParseError => e
+      trace = values.each_with_index.map{|l, i| "#{' ' * i}#{l}"}
+      raise ParseError, "\nparse error on value #{val.inspect}\n#{trace.join("\n")}"
     end
   end
 end

data/lib/predicator/parser.y

@@ -0,0 +1,46 @@
+class Predicator::GeneratedParser
+options no_result_var
+prechigh
+  right tBANG
+  left  tAND tOR
+preclow
+token tTRUE tFALSE tSTRING tFLOAT tINTEGER tDATE tIDENTIFIER tDOT tEQUAL
+      tLPAREN tRPAREN tAND tOR tBANG
+rule
+  predicate
+    : equals_predicate
+    | boolean_predicate
+    | logical_predicate
+    | tLPAREN predicate tRPAREN
+    ;
+  equals_predicate
+    : value tEQUAL value { Predicator::Predicates::Equals.new val[0], val[2] }
+    ;
+  boolean_predicate
+    : tTRUE { Predicator::Predicates::True.new }
+    | tFALSE { Predicator::Predicates::False.new }
+    ;
+  logical_predicate
+    : predicate tAND predicate { Predicator::Predicates::And.new [val[0], val[2]] }
+    | predicate tOR predicate  { Predicator::Predicates::Or.new [val[0], val[2]] }
+    | tBANG predicate          { Predicator::Predicates::Not.new val[0] }
+    ;
+  value
+    : scalar
+    | variable
+    ;
+  scalar
+    : string
+    | literal
+    ;
+  string
+    : tSTRING   { val[0] }
+    ;
+  literal
+    : tFLOAT    { val[0].to_f }
+    | tINTEGER  { val[0].to_i }
+    | tDATE     { Date.new *val[0] }
+    ;
+  variable
+    : tIDENTIFIER tDOT tIDENTIFIER { Predicator::Variable.new val[0], val[2] }
+    ;

data/lib/predicator/predicates/and.rb

@@ -1,14 +1,20 @@
-module Predicator::Predicates
-  class And
-    attr_reader :predicates
+module Predicator
+  module Predicates
+    class And
+      attr_reader :predicates
 
-    def initialize predicates
-      @predicates = predicates
-    end
+      def initialize predicates
+        @predicates = predicates
+      end
+
+      def satisfied? context=Predicator::Context.new
+        predicates.all?{ |pred| pred.satisfied? context }
+      end
 
-    def == other
-      other.kind_of?(self.class) &&
-        other.predicates == predicates
+      def == other
+        other.kind_of?(self.class) &&
+          other.predicates == predicates
+      end
     end
   end
 end

data/lib/predicator/predicates/equals.rb

@@ -0,0 +1,21 @@
+module Predicator
+  module Predicates
+    class Equals
+      attr_reader :left, :right
+
+      def initialize left, right
+        @left, @right = left, right
+      end
+
+      def satisfied? context=Predicator::Context.new
+        context.value_for(left) == context.value_for(right)
+      end
+
+      def == other
+        other.kind_of?(self.class) &&
+          other.left == left &&
+          other.right == right
+      end
+    end
+  end
+end

data/lib/predicator/predicates/false.rb

@@ -0,0 +1,13 @@
+module Predicator
+  module Predicates
+    class False
+      def satisfied? context=Predicator::Context.new
+        false
+      end
+
+      def == other
+        other.kind_of?(self.class)
+      end
+    end
+  end
+end

data/lib/predicator/predicates/not.rb

@@ -1,13 +1,20 @@
-module Predicator::Predicates
-  class Not
-    attr_reader :predicate
+module Predicator
+  module Predicates
+    class Not
+      attr_reader :predicate
 
-    def initialize predicate
-      @predicate = predicate
-    end
+      def initialize predicate
+        @predicate = predicate
+      end
+
+      def satisfied? context=Predicator::Context.new
+        !predicate.satisfied? context
+      end
 
-    def == other
-      other.kind_of?(self.class) && other.predicate == predicate
+      def == other
+        other.kind_of?(self.class) &&
+          other.predicate == predicate
+      end
     end
   end
 end

data/lib/predicator/predicates/or.rb

@@ -1,14 +1,20 @@
-module Predicator::Predicates
-  class Or
-    attr_reader :predicates
+module Predicator
+  module Predicates
+    class Or
+      attr_reader :predicates
 
-    def initialize predicates
-      @predicates = predicates
-    end
+      def initialize predicates
+        @predicates = predicates
+      end
+
+      def satisfied? context=Predicator::Context.new
+        predicates.any?{ |pred| pred.satisfied? context }
+      end
 
-    def == other
-      other.kind_of?(self.class) &&
-        other.predicates == predicates
+      def == other
+        other.kind_of?(self.class) &&
+          other.predicates == predicates
+      end
     end
   end
 end

data/lib/predicator/predicates/true.rb

@@ -0,0 +1,13 @@
+module Predicator
+  module Predicates
+    class True
+      def satisfied? context=Predicator::Context.new
+        true
+      end
+
+      def == other
+        other.kind_of?(self.class)
+      end
+    end
+  end
+end

data/lib/predicator/variable.rb

@@ -0,0 +1,26 @@
+module Predicator
+  class Variable
+    attr_reader :model, :attribute
+
+    def initialize model, attribute
+      @model = model
+      @attribute = attribute
+    end
+
+    def value_in context
+      entity_name = model.to_s
+      entity = context.entities[model]
+      if entity.nil?
+        raise ArgumentError, "Unknown entity #{entity_name}"
+      else
+        entity.send attribute
+      end
+    end
+
+    def == other
+      other.kind_of?(self.class) &&
+        other.model == model &&
+        other.attribute == attribute
+    end
+  end
+end

data/lib/predicator/version.rb

@@ -1,3 +1,3 @@
 module Predicator
-  VERSION = "0.0.0"
+  VERSION = "0.1.0"
 end

data/predicator.gemspec

@@ -15,12 +15,12 @@ Gem::Specification.new do |spec|
 
   spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
   spec.bindir        = "exe"
-  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename f }
   spec.require_paths = ["lib"]
 
-  spec.add_dependency "parslet"
-
   spec.add_development_dependency "bundler"
-  spec.add_development_dependency "rake"
+  spec.add_development_dependency "coveralls"
   spec.add_development_dependency "minitest", "= 5.4.2"
+  spec.add_development_dependency "racc"
+  spec.add_development_dependency "rake"
 end

metadata

@@ -1,23 +1,23 @@
 --- !ruby/object:Gem::Specification
 name: predicator
 version: !ruby/object:Gem::Version
-  version: 0.0.0
+  version: 0.1.0
 platform: ruby
 authors:
 - JohnnyT
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2016-02-08 00:00:00.000000000 Z
+date: 2016-02-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
-  name: parslet
+  name: bundler
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
         version: '0'
-  type: :runtime
+  type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
@@ -25,7 +25,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: bundler
+  name: coveralls
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -39,7 +39,21 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: rake
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 5.4.2
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '='
+      - !ruby/object:Gem::Version
+        version: 5.4.2
+- !ruby/object:Gem::Dependency
+  name: racc
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
@@ -53,19 +67,19 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0'
 - !ruby/object:Gem::Dependency
-  name: minitest
+  name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - '='
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 5.4.2
+        version: '0'
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - '='
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 5.4.2
+        version: '0'
 description: 
 email:
 - ubergeek3141@gmail.com
@@ -77,17 +91,25 @@ files:
 - ".travis.yml"
 - CODE_OF_CONDUCT.md
 - Gemfile
+- HISTORY.md
 - LICENSE.txt
 - README.md
 - Rakefile
 - bin/console
 - bin/setup
 - lib/predicator.rb
+- lib/predicator/context.rb
+- lib/predicator/generated_parser.rb
+- lib/predicator/lexer.rb
 - lib/predicator/parser.rb
+- lib/predicator/parser.y
 - lib/predicator/predicates/and.rb
+- lib/predicator/predicates/equals.rb
+- lib/predicator/predicates/false.rb
 - lib/predicator/predicates/not.rb
 - lib/predicator/predicates/or.rb
-- lib/predicator/transform.rb
+- lib/predicator/predicates/true.rb
+- lib/predicator/variable.rb
 - lib/predicator/version.rb
 - predicator.gemspec
 homepage: https://github.com/johnnyt/predicator
@@ -115,3 +137,4 @@ signing_key:
 specification_version: 4
 summary: Predicate Engine
 test_files: []
+has_rdoc: