racc 1.4.9-java

data/test/assets/noend.y

@@ -0,0 +1,4 @@
+class MyParser
+rule
+input: A B C
+end

data/test/assets/nonass.y

@@ -0,0 +1,41 @@
+#
+# nonassoc test
+#
+
+class P
+
+preclow
+  nonassoc N
+  left P
+prechigh
+
+rule
+
+target : exp
+exp    : exp N exp
+       | exp P exp
+       | T
+
+end
+
+---- inner
+
+  def parse
+    @src = [[:T,'T'], [:N,'N'], [:T,'T'], [:N,'N'], [:T,'T']]
+    do_parse
+  end
+
+  def next_token
+    @src.shift
+  end
+
+---- footer
+
+begin
+  P.new.parse
+rescue ParseError
+  exit 0
+else
+  $stderr.puts 'parse error not raised: nonassoc not work'
+  exit 1
+end

data/test/assets/normal.y

@@ -0,0 +1,27 @@
+
+class Testp
+
+  convert
+    A '2'
+    B '3'
+  end
+
+  prechigh
+    left B
+  preclow
+
+rule
+
+/* comment */
+  target: A B C nonterminal { action "string" == /regexp/o
+                              1 /= 3 }
+        ;   # comment
+
+  nonterminal: A '+' B  = A;
+
+/* end */
+end
+
+---- driver
+
+  # driver is old name

data/test/assets/norule.y

@@ -0,0 +1,4 @@
+
+class A
+rule
+end

data/test/assets/nullbug1.y

@@ -0,0 +1,25 @@
+#
+# number of conflicts must be ZERO.
+#
+
+class T
+
+rule
+
+targ  : dummy
+      | a b c
+
+dummy : V v
+
+V     : E e
+      | F f
+      |
+      ;
+
+E     :
+      ;
+
+F     :
+      ;
+
+end

data/test/assets/nullbug2.y

@@ -0,0 +1,15 @@
+#
+# number of conflicts must be ZERO.
+#
+
+class A
+rule
+  targ: operation voidhead
+      | variable
+  
+  voidhead : void B
+  void:
+  
+  operation: A
+  variable : A
+end

data/test/assets/opt.y

@@ -0,0 +1,123 @@
+#
+# check options working
+#
+
+class Calcp
+
+  prechigh
+    left '*' '/'
+    left '+' '-'
+  preclow
+
+  convert
+    NUMBER 'Number'
+  end
+
+  options no_omit_action_call no_result_var
+
+rule
+
+  target : exp | /* none */ { 0 } ;
+
+  exp    : exp '+' exp { chk(val[0] + val[2]) }
+         | exp '-' exp { chk(val[0] - val[2]) }
+         | exp '*' exp { chk(val[0] * val[2]) }
+         | exp '/' exp { chk(val[0] / val[2]) }
+         | '(' { $emb = true } exp ')'
+             {
+               raise 'must not happen' unless $emb
+               val[2]
+             }
+         | '-' NUMBER  { -val[1] }
+         | NUMBER
+         ;
+
+end
+
+----header
+
+class Number; end
+
+----inner
+
+  def parse( src )
+    @src = src
+    do_parse
+  end
+
+  def next_token
+    @src.shift
+  end
+
+  def initialize
+    @yydebug = true
+  end
+
+  def chk( i )
+    # p i
+    i
+  end
+
+----footer
+
+$parser = Calcp.new
+$test_number = 1
+
+def chk( src, ans )
+  result = $parser.parse(src)
+  raise "test #{$test_number} failed" unless result == ans
+  $test_number += 1
+end
+
+chk(
+  [ [Number, 9],
+    [false, false],
+    [false, false] ], 9
+)
+
+chk(
+  [ [Number, 5],
+    ['*', nil],
+    [Number, 1],
+    ['-', nil],
+    [Number, 1],
+    ['*', nil],
+    [Number, 8],
+    [false, false],
+    [false, false] ], -3
+)
+
+chk(
+  [ [Number, 5],
+    ['+', nil],
+    [Number, 2],
+    ['-', nil],
+    [Number, 5],
+    ['+', nil],
+    [Number, 2],
+    ['-', nil],
+    [Number, 5],
+    [false, false],
+    [false, false] ], -1
+)
+
+chk(
+  [ ['-', nil],
+    [Number, 4],
+    [false, false],
+    [false, false] ], -4
+)
+
+chk(
+  [ [Number, 7],
+    ['*', nil],
+    ['(', nil],
+    [Number, 4],
+    ['+', nil],
+    [Number, 3],
+    [')', nil],
+    ['-', nil],
+    [Number, 9],
+    [false, false],
+    [false, false] ], 40
+)

data/test/assets/percent.y

@@ -0,0 +1,35 @@
+class ScannerChecker
+rule
+  target: A
+      {
+        i = 7
+        i %= 4
+	raise 'assert failed' unless i == 3
+        tmp = %-This is percent string.-
+	raise 'assert failed' unless tmp == 'This is percent string.'
+        a = 5; b = 3
+        assert_equal(2,(a%b))    #A
+      # assert_equal(2,(a %b))   # is %-string
+        assert_equal(2,(a% b))   #B
+        assert_equal(2,(a % b))  #C
+      }
+end
+
+---- inner ----
+
+  def parse
+    @q = [[:A, 'A'], [false, '$']]
+    do_parse
+  end
+
+  def next_token
+    @q.shift
+  end
+
+  def assert_equal( expect, real )
+    raise "expect #{expect.inspect} but #{real.inspect}" unless expect == real
+  end
+
+---- footer ----
+
+parser = ScannerChecker.new.parse

data/test/assets/recv.y

@@ -0,0 +1,97 @@
+# s/r 5, r/r 10
+class A
+rule
+
+  content: RecvH         received
+    ;
+  
+  datetime: day
+    ;
+  
+  msgid: '<' spec '>';
+  
+  day:
+    | ATOM ','
+    ;
+  
+  received: recvitem_list recvdatetime
+    ;
+  
+  recvitem_list:
+    | recvitem_list recvitem
+    ;
+
+  recvitem: by | via | with | for ;
+
+  by:
+    | BY domain
+    ;
+  
+  via:
+    | VIA ATOM
+    ;
+  
+  with: WITH ATOM
+    ;
+  
+  for:
+    | FOR addr
+    ;
+  
+  recvdatetime:
+    | ';' datetime
+    ;
+  
+  addr: mbox | group ;
+
+  mboxes: mbox     
+    | mboxes ',' mbox
+    ;
+
+  mbox: spec
+    | routeaddr
+    | phrase routeaddr
+    ;
+
+  group: phrase ':' mboxes ';'
+    ;
+
+  routeaddr: '<' route spec '>'
+    | '<' spec '>'
+    ;
+  
+  route: at_domains ':' ;
+  
+  at_domains: '@' domain  
+    | at_domains ',' '@' domain
+    ;
+  
+  spec: local '@' domain
+    | local  
+    ;
+  
+  local: word
+    | local '.' word
+    ;
+  
+  domain: domword
+    | domain '.' domword
+    ;
+
+  domword: atom
+    | DOMLIT
+    | DIGIT
+    ;
+
+  phrase: word
+    | phrase word
+    ;
+  
+  word: atom
+    | QUOTED
+    | DIGIT
+    ;
+
+  atom: ATOM | FROM | BY | VIA | WITH | ID | FOR ;
+  
+end

data/test/assets/rrconf.y

@@ -0,0 +1,14 @@
+# 1 s/r conflict and 1 r/r conflict
+
+class A
+rule
+
+target: a
+
+a     :
+      | a list
+
+list  :
+      | list ITEM
+
+end

data/test/assets/scan.y

@@ -0,0 +1,72 @@
+class P
+
+rule
+
+  a: A
+      {
+        # comment test
+
+        # comment test
+
+        # string
+        @sstring = 'squote string'
+        @dstring = 'dquote string'
+
+        # regexp
+        @regexp  = /some regexp with spaces/
+
+        # gvar
+        /regexp/ === 'some regexp matches to this string'
+        @pre_match = $`
+        @matched = $&
+        @post_match = $'
+        @m = $~
+
+        # braces
+        @array = []
+        [1,2,3].each {|i|
+          @array.push i
+        }
+        3.times { @array.push 10 }
+      }
+
+end
+
+---- inner
+
+  def parse
+    @sstring = @dstring = nil
+    @regexp = nil
+    @pre_match = @matched = @post_match = @m = nil
+
+    @src = [[:A, 'A'], [false, '$']]
+    do_parse
+
+    assert_equal 'squote string', @sstring
+    assert_equal 'dquote string', @dstring
+    assert_equal(/some regexp with spaces/, @regexp)
+    assert_equal 'some ', @pre_match
+    assert_equal 'regexp', @matched
+    assert_equal ' matches to this string', @post_match
+    assert_instance_of MatchData, @m
+  end
+
+  def assert_equal(ok, data)
+    unless ok == data
+      raise "expected <#{ok.inspect}> but is <#{data.inspect}>"
+    end
+  end
+
+  def assert_instance_of(klass, obj)
+    unless obj.instance_of?(klass)
+      raise "expected #{klass} but is #{obj.class}"
+    end
+  end
+
+  def next_token
+    @src.shift
+  end
+
+---- footer
+
+P.new.parse