pione 0.1.0

data/test/parser/spec_feature-expr-parser.rb

@@ -0,0 +1,32 @@
+require_relative '../test-util'
+
+class TestParser < Parslet::Parser
+  include Pione::Parser::FeatureExprParser
+end
+
+describe 'Pione::Parser::FeatureExprParser' do
+  describe 'feature_expr' do
+    it 'should parse feature expressions' do
+      strings = ['+A', '-A', '?A', '(+A)',
+                 '+A & +A', '+A | +A', '?A & +A',
+                 '(+A) & (+A)', '(+A | +A)',
+                 '+A & (+A & -A)', '(+A & -A) & +A']
+      strings.each do |s|
+        should.not.raise(Parslet::ParseFailed) do
+          TestParser.new.feature_expr.parse(s)
+        end
+      end
+    end
+
+    TestUtil::Parser.spec(Pione::Parser::FeatureExprParser, __FILE__, self)
+
+    it 'should fail with other strings' do
+      strings = ['A', '(-A', '?A)']
+      strings.each do |s|
+        should.raise(Parslet::ParseFailed) do
+          TestParser.new.feature_expr.parse(s)
+        end
+      end
+    end
+  end
+end

data/test/parser/spec_feature-expr-parser.yml

@@ -0,0 +1,25 @@
+atomic_feature:
+  valid:
+    - "+A"
+    - "-A"
+    - "?A"
+    - "^A"
+    - "!A"
+    - "*"
+    - "@"
+feature_expr:
+  valid:
+    - "+A"
+    - "-A"
+    - "?A"
+    - "^A"
+    - "!A"
+    - "*"
+    - "@"
+    - "(+A)"
+    - "+A & -A"
+    - "-A & +A"
+    - "+A | -A"
+    - "+A & *"
+    - "* & * & *"
+    - "* | *"

data/test/parser/spec_flow-element-parser.rb

@@ -0,0 +1,5 @@
+require_relative '../test-util'
+
+describe 'Pione::Parser::FlowElementParser' do
+  TestUtil::Parser.spec(Pione::Parser::FlowElementParser, __FILE__, self)
+end

data/test/parser/spec_flow-element-parser.yml

@@ -0,0 +1,180 @@
+call_rule_line:
+  valid:
+    - rule Test
+    - rule :Test
+    - "rule &package:Test"
+    - rule $var
+  invalid:
+    - rule
+    - "rule &package:$var"
+    - rule $var:Test
+    - rule :$var
+if_block_begin:
+  valid:
+    - "if $Var"
+    - "if 1"
+    - 'if "abc"'
+    - "if 1.0"
+    - "if A"
+    - if true
+    - if false
+    - "if +A"
+    - "if -A"
+    - "if ?A"
+  invalid:
+    - "if $$"
+conditional_block_end:
+  valid:
+    - "end"
+else_block:
+  valid:
+    - |
+      else
+        rule Test
+    - |
+      else
+if_block:
+  valid:
+    - |
+      if $Var
+        rule Test
+      end
+    - |
+      if $Var
+        rule Test1
+        rule Test2
+        rule Test3
+      end
+    - |
+      if $Var
+        if $Var
+          rule Test
+        end
+      end
+    - |
+      if $Var
+        rule Test1
+      else
+        rule Test2
+      end
+    - |
+      if $Var
+        rule Test
+      else
+      end
+    - |
+      if $a
+        if $b
+          rule A
+        else
+          rule B
+        end
+      else
+        rule C
+      end
+  invalid:
+    - |
+      if $Var
+        rule Test
+    - |
+      else
+        rule Test
+      end
+case_block_begin:
+  valid:
+    - case $Var
+    - case 1
+    - case 1.0
+    - case 'data.txt'
+    - case "string"
+    - case +A
+    - case -A
+    - case ?A
+when_block_begin:
+  valid:
+    - when $Var
+    - when 1
+    - when 1.0
+    - when 'data.txt'
+    - when "string"
+    - when +A
+    - when -A
+    - when ?A
+    - when @
+    - when *
+    - "when !A"
+    - when ^A
+when_block:
+  valid:
+    - when $Var
+    - |
+      when $Var
+        rule Test
+    - |
+      when $Var
+        rule Test1
+        rule Test2
+        rule Test3
+case_block:
+  valid:
+    - |
+      case $Var
+      end
+    - |
+      case $Var
+      when 1
+        rule Test
+      end
+    - |
+      case $Var
+      when 1
+        rule Test1
+        rule Test2
+        rule Test3
+      end
+    - |
+      case $Var
+      when 1
+        rule Test1
+      when 2
+        rule Test2
+      end
+    - |
+      case $Var
+      when 1
+        rule Test1
+      when 2
+        rule Test2
+      else
+        rule Test3
+      end
+    - |
+      case $Var
+      when 1
+        rule Test1
+      when 2
+        rule Test2
+      else
+      end
+flow_element:
+  valid:
+    - rule Test
+    - |
+      if $Var
+        rule Test
+      end
+    - |
+      case $Var
+      when 1
+        rule Test1
+      when 2
+        rule Test2
+      end
+assignment:
+  valid:
+    - "$X := 1"
+    - "$Var := true"
+    - "$X := $Y"
+    - "$X := 1 + 1"
+    - "$X := true || false || true"
+    - "$X := ($Y := 1)"

data/test/parser/spec_literal-parser.rb

@@ -0,0 +1,5 @@
+require_relative '../test-util'
+
+describe 'Pione::Parser::LiteralParser' do
+  TestUtil::Parser.spec(Pione::Parser::LiteralParser, __FILE__, self)
+end

data/test/parser/spec_literal-parser.yml

@@ -0,0 +1,123 @@
+data_name:
+  valid:
+    - "''"
+    - "'test'"
+    - "'(test)'"
+    - "'test*'"
+    - "'日本語'"
+    - "'\\a'"
+    - "'\\\\a'"
+  invalid:
+    - "test"
+    - "'test"
+    - "test'"
+    - "'\\'"
+    - "\\''"
+identifier:
+  valid:
+    - 'a'
+    - 'A'
+    - 'a_b'
+    - '_a'
+    - '日本語'
+    - '_'
+  invalid:
+    - '$a'
+    - '"a"'
+    - "'a'"
+    - ' '
+    - "\n"
+variable:
+  valid:
+    - '$a'
+    - '$abc'
+    - '$a_b'
+    - '$a0'
+    - '$0'
+    - '$A'
+    - '$AA'
+    - '$日本語'
+  invalid:
+    - '$'
+    - '$ '
+    - 'a'
+    - ''
+    - '$$'
+    - '$+'
+    - '$-'
+package_name:
+  valid:
+    - "&abc"
+    - "&a"
+    - "&A"
+    - "&_"
+  invalid:
+    - "&"
+    - "&&"
+rule_name:
+  valid:
+    - 'Main'
+    - '日本語'
+    - 'a'
+  invalid:
+    - '/Main/'
+    - 'Main/'
+    - '//Main'
+    - ''
+    - '/'
+    - '//'
+string:
+  valid:
+    - '""'
+    - '"test"'
+    - '"(test)"'
+    - '"test*"'
+    - '"日本語"'
+    - '"\a"'
+  invalid:
+    - 'test'
+    - 'test"'
+    - '"test'
+    - '"\"'
+    - '\""'
+    - '"" '
+integer:
+  valid:
+    - '1'
+    - '123'
+    - '01'
+    - '+1'
+    - '+01'
+    - '-1'
+    - '-01'
+    - '+0'
+    - '-0'
+  invalid:
+    - '-'
+    - '+'
+    - ''
+    - '0.1'
+    - '.1'
+    - '1a'
+    - 'a1'
+float:
+  valid:
+    - '0.1'
+    - '1.0'
+    - '01.0'
+    - '+1.0'
+    - '+01.1'
+    - '-1.0'
+    - '-01.0'
+    - '+0.0'
+    - '-0.0'
+    - '0.1e3'
+    - '1.9E100'
+  invalid:
+    - '-1'
+    - '+1'
+    - ''
+    - '.1'
+    - '0.1a'
+    - '0.a1'
+    - '0.1e'

data/test/parser/spec_rule-definition-parser.rb

@@ -0,0 +1,5 @@
+require_relative '../test-util'
+
+describe "Pione::Parser::RuleDefinitionParser" do
+  TestUtil::Parser.spec(Pione::Parser::RuleDefinitionParser, __FILE__, self)
+end

data/test/parser/spec_rule-definition-parser.yml

@@ -0,0 +1,93 @@
+input_line:
+  valid:
+    - input '*.txt'
+    - input "*.txt".as_data_expr
+  invalid:
+    - input @@@
+output_line:
+  valid:
+    - output '*.txt'
+    - output "*.txt".as_data_expr
+  invalid:
+    - output @@@
+param_line:
+  valid:
+    - "param $abc"
+    - "param $Var"
+    - "param $Var := 1"
+    - "param $NUM := 1.0"
+    - "param $STR := \"abc\""
+    - "param {Var: 1}"
+  invalid:
+    - param $
+feature_line:
+  valid:
+    - feature +A
+    - feature -A
+    - feature ?A
+    - feature "A".as_requisite_feature
+  invalid:
+    - feature +
+    - feature -
+    - feature ?
+rule_header:
+  valid:
+    - Rule Test
+    - Rule test
+rule_condition:
+  valid:
+    - input "*.txt"
+    - output "*.txt"
+    - param $var
+    - feature +A
+rule_conditions:
+  valid:
+    - |
+      input "*.a"
+      input "*.b"
+      output "*.c"
+      param $var
+      feature +A
+    - |
+      output "*.a"
+      input "*.b"
+      feature -A
+      param $var
+rule_definition:
+  valid:
+    - |
+      Rule test
+        input '*.a'
+        output '*.b'
+      Flow
+        rule Test
+      End
+    - |
+      Rule test
+        input '*.a'
+        output '*.b'
+      Action
+      echo "a"
+      End
+    - |
+      Rule Test
+        input  '*.a'
+        output '{$INPUT[1].MATCH[1]}.b'
+      Action
+      echo "test" > {$OUTPUT[1].NAME}
+      End
+    - |
+      Rule Test
+        input '*.a'
+        output '{$INPUT[1].MATCH[1]}.b'
+      Flow
+      rule TestA
+      rule TestB.sync
+      End
+    - |
+      Rule Test
+        output 'test.txt'
+        param $N := 1
+      Flow
+        rule TestA
+      End