sexpr 0.4.0 → 1.0.0

metadata

@@ -1,249 +1,192 @@
 --- !ruby/object:Gem::Specification
 name: sexpr
 version: !ruby/object:Gem::Version
-  version: 0.4.0
-  prerelease: 
+  version: 1.0.0
 platform: ruby
 authors:
 - Bernard Lambeau
-autorequire: 
+autorequire:
 bindir: bin
 cert_chain: []
-date: 2012-02-23 00:00:00.000000000Z
+date: 2021-12-11 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
-  name: epath
-  requirement: &84257100 !ruby/object:Gem::Requirement
-    none: false
+  name: path
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.0.1
+        version: '1.3'
   type: :development
   prerelease: false
-  version_requirements: *84257100
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.3'
 - !ruby/object:Gem::Dependency
   name: citrus
-  requirement: &84256730 !ruby/object:Gem::Requirement
-    none: false
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: '2.4'
+        version: '3.0'
   type: :development
   prerelease: false
-  version_requirements: *84256730
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
 - !ruby/object:Gem::Dependency
   name: rake
-  requirement: &84256430 !ruby/object:Gem::Requirement
-    none: false
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.2
+        version: '13.0'
   type: :development
   prerelease: false
-  version_requirements: *84256430
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '13.0'
 - !ruby/object:Gem::Dependency
   name: rspec
-  requirement: &84256090 !ruby/object:Gem::Requirement
-    none: false
+  requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 2.8.0
+        version: '3.10'
   type: :development
   prerelease: false
-  version_requirements: *84256090
-- !ruby/object:Gem::Dependency
-  name: wlang
-  requirement: &84255790 !ruby/object:Gem::Requirement
-    none: false
+  version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ~>
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.10.2
-  type: :development
-  prerelease: false
-  version_requirements: *84255790
+        version: '3.10'
 description: Sexpr helps manipulating s-expressions in ruby.
 email:
 - blambeau@gmail.com
 executables: []
 extensions: []
-extra_rdoc_files:
-- README.md
-- CHANGELOG.md
-- LICENCE.md
+extra_rdoc_files: []
 files:
-- sexpr.gemspec
-- sexpr.noespec
 - CHANGELOG.md
 - Gemfile
-- Gemfile.lock
-- examples/bool_expr/bool_expr.rb
-- examples/bool_expr/bool_expr.citrus
-- examples/bool_expr/bool_expr.sexp.yml
+- README.md
+- Rakefile
 - lib/sexpr.rb
-- lib/sexpr/matcher/terminal.rb
-- lib/sexpr/matcher/rule.rb
+- lib/sexpr/errors.rb
+- lib/sexpr/grammar.rb
+- lib/sexpr/grammar/matching.rb
+- lib/sexpr/grammar/options.rb
+- lib/sexpr/grammar/parsing.rb
+- lib/sexpr/grammar/tagging.rb
+- lib/sexpr/matcher.rb
 - lib/sexpr/matcher/alternative.rb
-- lib/sexpr/matcher/sequence.rb
-- lib/sexpr/matcher/reference.rb
 - lib/sexpr/matcher/many.rb
-- lib/sexpr/rewriter.rb
-- lib/sexpr/grammar.rb
+- lib/sexpr/matcher/non_terminal.rb
+- lib/sexpr/matcher/reference.rb
+- lib/sexpr/matcher/rule.rb
+- lib/sexpr/matcher/sequence.rb
+- lib/sexpr/matcher/terminal.rb
 - lib/sexpr/node.rb
-- lib/sexpr/processor/sexpr_coercions.rb
-- lib/sexpr/processor/helper.rb
-- lib/sexpr/processor/null_helper.rb
-- lib/sexpr/processor.rb
+- lib/sexpr/parser.rb
 - lib/sexpr/parser/citrus.rb
 - lib/sexpr/parser/ext.rb
-- lib/sexpr/errors.rb
-- lib/sexpr/loader.rb
-- lib/sexpr/grammar/parsing.rb
-- lib/sexpr/grammar/tagging.rb
-- lib/sexpr/grammar/options.rb
-- lib/sexpr/grammar/matching.rb
-- lib/sexpr/parser.rb
-- lib/sexpr/matcher.rb
+- lib/sexpr/processor.rb
+- lib/sexpr/processor/helper.rb
+- lib/sexpr/processor/null_helper.rb
+- lib/sexpr/processor/sexpr_coercions.rb
+- lib/sexpr/rewriter.rb
 - lib/sexpr/version.rb
-- LICENCE.md
-- Manifest.txt
-- Rakefile
-- README.md
+- spec/fixtures/bar.rb
+- spec/fixtures/foo.rb
+- spec/fixtures/preprocessed.rb
+- spec/fixtures/simple_processor.rb
+- spec/integration/bool_expr/test_not_push.rb
+- spec/integration/bool_expr/test_parsing.rb
+- spec/integration/bool_expr/test_tagging.rb
+- spec/integration/bool_expr/test_validation.rb
+- spec/integration/test_readme_examples.rb
 - spec/spec_helper.rb
-- spec/matcher/reference/test_eat.rb
-- spec/matcher/reference/test_match_q.rb
-- spec/matcher/rule/test_eat.rb
-- spec/matcher/rule/test_match_q.rb
-- spec/matcher/many/test_eat.rb
-- spec/matcher/many/test_initialize.rb
-- spec/matcher/many/test_match_q.rb
-- spec/matcher/sequence/test_eat.rb
-- spec/matcher/sequence/test_match_q.rb
-- spec/matcher/terminal/test_eat.rb
-- spec/matcher/terminal/test_terminal_match.rb
-- spec/matcher/terminal/test_match_q.rb
-- spec/matcher/alternative/test_eat.rb
-- spec/matcher/alternative/test_match_q.rb
-- spec/rewriter/test_copy_and_apply.rb
-- spec/processor/test_helper.rb
-- spec/processor/test_sexpr_coercions.rb
-- spec/processor/test_main_processor.rb
-- spec/processor/test_build_helper_chain.rb
-- spec/processor/test_call.rb
-- spec/processor/helper/test_call.rb
-- spec/test_rewriter.rb
-- spec/grammar.yml
-- spec/parser/citrus/test_new.rb
-- spec/parser/citrus/test_registration.rb
-- spec/parser/citrus/test_parse.rb
-- spec/parser/citrus/test_to_sexpr.rb
-- spec/parser/citrus/test_recognize.rb
-- spec/parser/test_factor.rb
-- spec/parser/test_input_text.rb
-- spec/test_sexpr.rb
-- spec/test_load.rb
-- spec/grammar/test_new.rb
-- spec/grammar/tagging/test_mod2rulename.rb
-- spec/grammar/tagging/test_rule2modname.rb
-- spec/grammar/tagging/test_looks_a_sexpr.rb
-- spec/grammar/tagging/test_tag_sexpr.rb
-- spec/grammar/test_sexpr.rb
-- spec/grammar/options/test_install_root.rb
-- spec/grammar/options/test_install_parser.rb
-- spec/grammar/options/test_install_path.rb
-- spec/grammar/test_parse.rb
-- spec/grammar/matching/test_compile_rule.rb
-- spec/grammar/matching/test_compile_rule_defn.rb
-- spec/node/test_tracking_markers.rb
-- spec/node/test_sexpr_copy.rb
-- spec/node/test_sexpr_body.rb
-- spec/node/test_sexpr_type.rb
-- spec/test_readme_examples.rb
-- tasks/debug_mail.rake
-- tasks/yard.rake
+- spec/unit/grammar/matching/test_compile_rule.rb
+- spec/unit/grammar/matching/test_compile_rule_defn.rb
+- spec/unit/grammar/matching/test_compile_rules.rb
+- spec/unit/grammar/options/test_install_parser.rb
+- spec/unit/grammar/options/test_install_path.rb
+- spec/unit/grammar/options/test_install_root.rb
+- spec/unit/grammar/tagging/test_looks_a_sexpr.rb
+- spec/unit/grammar/tagging/test_mod2rulename.rb
+- spec/unit/grammar/tagging/test_rule2modname.rb
+- spec/unit/grammar/tagging/test_tag_sexpr.rb
+- spec/unit/grammar/tagging/test_tagging_module_for.rb
+- spec/unit/grammar/test_new.rb
+- spec/unit/grammar/test_parse.rb
+- spec/unit/grammar/test_sexpr.rb
+- spec/unit/matcher/alternative/test_eat.rb
+- spec/unit/matcher/alternative/test_match_q.rb
+- spec/unit/matcher/many/test_eat.rb
+- spec/unit/matcher/many/test_initialize.rb
+- spec/unit/matcher/many/test_match_q.rb
+- spec/unit/matcher/non_terminal/test_eat.rb
+- spec/unit/matcher/non_terminal/test_match_q.rb
+- spec/unit/matcher/reference/test_eat.rb
+- spec/unit/matcher/reference/test_match_q.rb
+- spec/unit/matcher/rule/test_eat.rb
+- spec/unit/matcher/rule/test_match_q.rb
+- spec/unit/matcher/sequence/test_eat.rb
+- spec/unit/matcher/sequence/test_match_q.rb
+- spec/unit/matcher/terminal/test_eat.rb
+- spec/unit/matcher/terminal/test_match_q.rb
+- spec/unit/matcher/terminal/test_terminal_match.rb
+- spec/unit/node/test_sexpr_body.rb
+- spec/unit/node/test_sexpr_copy.rb
+- spec/unit/node/test_sexpr_type.rb
+- spec/unit/node/test_tracking_markers.rb
+- spec/unit/parser/citrus/test_new.rb
+- spec/unit/parser/citrus/test_parse.rb
+- spec/unit/parser/citrus/test_recognize.rb
+- spec/unit/parser/citrus/test_registration.rb
+- spec/unit/parser/citrus/test_to_sexpr.rb
+- spec/unit/parser/test_factor.rb
+- spec/unit/parser/test_input_text.rb
+- spec/unit/processor/helper/test_call.rb
+- spec/unit/processor/test_apply.rb
+- spec/unit/processor/test_build_helper_chain.rb
+- spec/unit/processor/test_call.rb
+- spec/unit/processor/test_grammar.rb
+- spec/unit/processor/test_helper.rb
+- spec/unit/processor/test_sexpr_coercions.rb
+- spec/unit/processor/test_use.rb
+- spec/unit/rewriter/test_copy_and_apply.rb
+- spec/unit/test_load.rb
+- spec/unit/test_rewriter.rb
+- spec/unit/test_sexpr.rb
 - tasks/gem.rake
-- tasks/spec_test.rake
-- tasks/unit_test.rake
-- tasks/debug_mail.txt
+- tasks/test.rake
 homepage: https://github.com/blambeau/sexp
 licenses: []
-post_install_message: 
+metadata: {}
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
 required_ruby_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
-      segments:
-      - 0
-      hash: -185808739
 required_rubygems_version: !ruby/object:Gem::Requirement
-  none: false
   requirements:
-  - - ! '>='
+  - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 1.8.15
-signing_key: 
-specification_version: 3
+rubygems_version: 3.1.4
+signing_key:
+specification_version: 4
 summary: A compilation framework around s-expressions
-test_files:
-- spec/spec_helper.rb
-- spec/matcher/reference/test_eat.rb
-- spec/matcher/reference/test_match_q.rb
-- spec/matcher/rule/test_eat.rb
-- spec/matcher/rule/test_match_q.rb
-- spec/matcher/many/test_eat.rb
-- spec/matcher/many/test_initialize.rb
-- spec/matcher/many/test_match_q.rb
-- spec/matcher/sequence/test_eat.rb
-- spec/matcher/sequence/test_match_q.rb
-- spec/matcher/terminal/test_eat.rb
-- spec/matcher/terminal/test_terminal_match.rb
-- spec/matcher/terminal/test_match_q.rb
-- spec/matcher/alternative/test_eat.rb
-- spec/matcher/alternative/test_match_q.rb
-- spec/rewriter/test_copy_and_apply.rb
-- spec/processor/test_helper.rb
-- spec/processor/test_sexpr_coercions.rb
-- spec/processor/test_main_processor.rb
-- spec/processor/test_build_helper_chain.rb
-- spec/processor/test_call.rb
-- spec/processor/helper/test_call.rb
-- spec/test_rewriter.rb
-- spec/grammar.yml
-- spec/parser/citrus/test_new.rb
-- spec/parser/citrus/test_registration.rb
-- spec/parser/citrus/test_parse.rb
-- spec/parser/citrus/test_to_sexpr.rb
-- spec/parser/citrus/test_recognize.rb
-- spec/parser/test_factor.rb
-- spec/parser/test_input_text.rb
-- spec/test_sexpr.rb
-- spec/test_load.rb
-- spec/grammar/test_new.rb
-- spec/grammar/tagging/test_mod2rulename.rb
-- spec/grammar/tagging/test_rule2modname.rb
-- spec/grammar/tagging/test_looks_a_sexpr.rb
-- spec/grammar/tagging/test_tag_sexpr.rb
-- spec/grammar/test_sexpr.rb
-- spec/grammar/options/test_install_root.rb
-- spec/grammar/options/test_install_parser.rb
-- spec/grammar/options/test_install_path.rb
-- spec/grammar/test_parse.rb
-- spec/grammar/matching/test_compile_rule.rb
-- spec/grammar/matching/test_compile_rule_defn.rb
-- spec/node/test_tracking_markers.rb
-- spec/node/test_sexpr_copy.rb
-- spec/node/test_sexpr_body.rb
-- spec/node/test_sexpr_type.rb
-- spec/test_readme_examples.rb
+test_files: []

data/Gemfile.lock

@@ -1,27 +0,0 @@
-GEM
-  remote: http://rubygems.org/
-  specs:
-    citrus (2.4.1)
-    diff-lcs (1.1.3)
-    epath (0.0.1)
-    rake (0.9.2.2)
-    rspec (2.8.0)
-      rspec-core (~> 2.8.0)
-      rspec-expectations (~> 2.8.0)
-      rspec-mocks (~> 2.8.0)
-    rspec-core (2.8.0)
-    rspec-expectations (2.8.0)
-      diff-lcs (~> 1.1.2)
-    rspec-mocks (2.8.0)
-    wlang (0.10.2)
-
-PLATFORMS
-  java
-  ruby
-
-DEPENDENCIES
-  citrus (~> 2.4)
-  epath (~> 0.0.1)
-  rake (~> 0.9.2)
-  rspec (~> 2.8.0)
-  wlang (~> 0.10.2)

data/LICENCE.md

@@ -1,22 +0,0 @@
-# The MIT Licence
-
-    Copyright (c) 2012 - Bernard Lambeau
-
-    Permission is hereby granted, free of charge, to any person obtaining
-    a copy of this software and associated documentation files (the
-    "Software"), to deal in the Software without restriction, including
-    without limitation the rights to use, copy, modify, merge, publish,
-    distribute, sublicense, and/or sell copies of the Software, and to
-    permit persons to whom the Software is furnished to do so, subject to
-    the following conditions:
-
-    The above copyright notice and this permission notice shall be
-    included in all copies or substantial portions of the Software.
-
-    THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
-    EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
-    MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
-    NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
-    LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
-    OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
-    WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/Manifest.txt

@@ -1,16 +0,0 @@
-sexpr.gemspec
-sexpr.noespec
-.gemtest
-CHANGELOG.md
-Gemfile
-Gemfile.lock
-bin/**/*
-examples/**/*
-lib/**/*
-LICENCE.md
-Manifest.txt
-Rakefile
-README.md
-spec/**/*
-tasks/**/*
-test/**/*

data/examples/bool_expr/bool_expr.citrus

@@ -1,72 +0,0 @@
-#
-# This is a Citrus grammar for boolean expressions.
-#
-# The parser is automatically loaded under the BoolExpr::Parser constant by Citrus
-# itself. It is also automatically registered under BoolExpr::Grammar.parser by
-# `Sexpr.load` when invoked on the bool_expr.sexp.yml file.
-#
-# The coupon codes returns s-expressions that correctly refer to the abstract grammar
-# definition in that file (AST).
-#
-grammar BoolExpr::Parser
-
-  rule bool_expr
-    bool_or
-  end
-
-  rule bool_or
-      (l:bool_and spaces 'or' spaces r:bool_or){
-        [:bool_or, l.sexpr, r.sexpr]
-      }
-    | bool_and
-  end
-
-  rule bool_and
-      (l:bool_not spaces 'and' spaces r:bool_and){
-        [:bool_and, l.sexpr, r.sexpr]
-      }
-    | bool_not
-  end
-
-  rule bool_not
-      ('not' spacing e:bool_not){
-        [:bool_not, e.sexpr]
-      }
-    | bool_term
-  end
-
-  rule bool_term
-    bool_paren | bool_lit | var_ref
-  end
-
-  rule bool_paren
-    ('(' spacing e:bool_or spacing ')'){
-      e.sexpr
-    }
-  end
-
-  rule bool_lit
-    ("true" | "false"){ 
-      [:bool_lit, ::Kernel.eval(strip) ]
-    }
-  end
-
-  rule var_ref
-    (!(keyword (spaces | !.)) [a-z]+){
-      [:var_ref, strip]
-    }
-  end
-
-  rule spacing
-    [ \t]*
-  end
-
-  rule spaces
-    [ \t]+
-  end
-  
-  rule keyword
-    "true" | "false" | "or" | "and" | "not"
-  end
-
-end

data/examples/bool_expr/bool_expr.rb

@@ -1,153 +0,0 @@
-require 'sexpr'
-require 'citrus'
-
-# Let load the grammar from the .yml definition file.
-BoolExpr = Sexpr.load File.expand_path('../bool_expr.sexp.yml', __FILE__)
-
-# A Sexpr grammar is simply a module. Ruby allows us to re-open it later.
-module BoolExpr
-
-  # These are the modules automatically installed on the s-expressions
-  # that the grammar produces
-  module And;     end
-  module Or;      end
-  module Not;     end
-  module Lit;     end
-  module VarRef;  end
-
-  # The two following methods allows converting rule names (e.g. bool_and)
-  # to module names (And). A default implementation is provided by Sexpr
-  # that enforces convention over configuration (BoolAnd <-> bool_and). We
-  # override the methods here for the sake of the example/documentation.
-
-  def rule2modname(rule)
-    (rule.to_s =~ /^bool_(.*)$/) ? $1.capitalize.to_sym : super
-  end
-
-  def mod2rulename(mod)
-    rule = super
-    (rule.to_s =~ /^bool_(.*)$/) ? const_get($1.to_sym) : rule
-  end
-
-  # This class pushes `[:not, ...]` as far as possible in boolean expressions.
-  # It provides an example of s-expression rewriter
-  class NotPushProcessor < Sexpr::Rewriter
-
-    # Let the default implementation know that we are working on the BoolExpr
-    # grammar. This way, all rewriting results will automatically be tagged
-    # with the correct modules above (And, Not, ...)
-    grammar BoolExpr
-
-    # The main rewriting rule, that pushes a NOT according to the different
-    # cases
-    def on_bool_not(sexpr)
-      case expr = sexpr.last
-      when And then call [:bool_or,  [:bool_not, expr[1]], [:bool_not, expr[2]] ]
-      when Or  then call [:bool_and, [:bool_not, expr[1]], [:bool_not, expr[2]] ]
-      when Not then call expr.last
-      when Lit then [:bool_lit, !expr.last]
-      else
-        sexpr
-      end
-    end
-
-    # By default, we simply copy the node and apply rewriting rules on children
-    alias :on_missing :copy_and_apply
-
-  end # class NotPushProcessor
-
-end # module BoolExpr
-
-describe BoolExpr do
-  subject{ BoolExpr }
-
-  describe "the parsing feature" do
-
-    it 'parses boolean expressions without error' do
-      subject.parse("x and y").should be_a(Citrus::Match)
-      subject.parse("not(y)").should be_a(Citrus::Match)
-      subject.parse("not(true)").should be_a(Citrus::Match)
-    end
-
-    it 'provides a shortcut to get s-expressions directly' do
-      subject.sexpr("x and y").should eq([:bool_and, [:var_ref, "x"], [:var_ref, "y"]])
-    end
-
-  end # parsing
-
-  describe "the tagging feature" do
-
-    it 'tags parsing results with the Sexpr module' do
-      sexpr = subject.sexpr("x and y")
-      sexpr.should be_a(Sexpr)
-      sexpr.sexpr_type.should eq(:bool_and)
-      sexpr.sexpr_body.should eq([[:var_ref, "x"], [:var_ref, "y"]])
-    end
-
-    it 'tags parsing results with user modules' do
-      subject.sexpr("x and y").should be_a(BoolExpr::And)
-    end
-
-    it 'allows tagging manually' do
-      subject.sexpr([:bool_lit, true]).should be_a(BoolExpr::Lit)
-    end
-
-    it 'applies tagging recursively' do
-      sexpr = subject.sexpr([:bool_not, [:bool_lit, true]])
-      sexpr.last.should be_a(BoolExpr::Lit)
-    end
-
-  end # taggging
-
-  describe 'the validation feature' do
-
-    it 'validates s-expressions' do
-      subject.match?([:bool_lit, true]).should be_true
-      subject.match?([:bool_lit, "x"]).should be_false
-    end
-
-    it 'validates s-expressions against specific rules' do
-      subject[:bool_lit].match?([:bool_lit, true]).should be_true
-      subject[:bool_and].match?([:bool_lit, true]).should be_false
-    end
-
-  end # validating
-
-  describe BoolExpr::NotPushProcessor do
-
-    def _(expr)
-      BoolExpr.sexpr(expr)
-    end
-
-    def rw(expr)
-      BoolExpr::NotPushProcessor.new.call(expr)
-    end
-
-    it 'does nothing on variable references' do
-      rw("not x").should eq([:bool_not, [:var_ref, "x"]])
-    end
-
-    it 'rewrites literals through negating them' do
-      rw("not true").should  eq(_ "false")
-      rw("not false").should eq(_ "true")
-    end
-
-    it 'rewrites not through removing them' do
-      rw("not not true").should eq(_ "true")
-    end
-
-    it 'rewrites or through and of negated terms' do
-      rw("not(x or y)").should eq(_ "not(x) and not(y)")
-    end
-
-    it 'rewrites and through or of negated terms' do
-      rw("not(x and y)").should eq(_ "not(x) or not(y)")
-    end
-
-    it 'rewrites recursively' do
-      rw("not(x and not(y))").should eq(_ "not(x) or y")
-    end
-
-  end # rewriting
-
-end if defined?(RSpec)