Add semicolon to end of all grammar statements
This commit is contained in:
parent
382e17804c
commit
b682c72b17
@ -25,12 +25,12 @@ class Propane
|
||||
# Skip white space.
|
||||
elsif sliced = input.slice!(/\A#.*\n/)
|
||||
# Skip comment lines.
|
||||
elsif sliced = input.slice!(/\Amodule\s+(\S+)\n/)
|
||||
elsif sliced = input.slice!(/\Amodule\s+(\S+)\s*;/)
|
||||
@modulename = $1
|
||||
elsif sliced = input.slice!(/\Aclass\s+(\S+)\n/)
|
||||
elsif sliced = input.slice!(/\Aclass\s+(\S+)\s*;/)
|
||||
@classname = $1
|
||||
elsif sliced = input.slice!(/\Atoken\s+(\S+)(?:\s+(\S+))?\n/)
|
||||
name, pattern = $1, $2
|
||||
elsif sliced = input.slice!(/\Atoken\s+(\S+?)(?:\s+(.+?))?\s*(?:;|<<\n(.*?)^>>\n)/m)
|
||||
name, pattern, code = $1, $2, $3
|
||||
if pattern.nil?
|
||||
pattern = name
|
||||
end
|
||||
@ -38,7 +38,7 @@ class Propane
|
||||
raise Error.new("Invalid token name #{name.inspect}")
|
||||
end
|
||||
@tokens << Token.new(name: name, pattern: pattern, id: @tokens.size, line_number: line_number)
|
||||
elsif sliced = input.slice!(/\Adrop\s+(\S+)\n/)
|
||||
elsif sliced = input.slice!(/\Adrop\s+(\S+)\s*;/)
|
||||
pattern = $1
|
||||
@drop_tokens << Token.new(pattern: pattern, line_number: line_number)
|
||||
elsif sliced = input.slice!(/\A(\S+)\s*->\s*(.*?)(?:;|<<\n(.*?)^>>\n)/m)
|
||||
|
@ -59,7 +59,7 @@ end
|
||||
describe Propane::Lexer::DFA do
|
||||
it "lexes a simple token" do
|
||||
expect(run(<<EOF, "foo")).to eq [["foo", "foo"]]
|
||||
token foo
|
||||
token foo;
|
||||
EOF
|
||||
end
|
||||
|
||||
@ -69,8 +69,8 @@ EOF
|
||||
["bar", "bar"],
|
||||
]
|
||||
expect(run(<<EOF, "foobar")).to eq expected
|
||||
token foo
|
||||
token bar
|
||||
token foo;
|
||||
token bar;
|
||||
EOF
|
||||
end
|
||||
|
||||
@ -79,17 +79,17 @@ EOF
|
||||
["identifier", "foobar"],
|
||||
]
|
||||
expect(run(<<EOF, "foobar")).to eq expected
|
||||
token foo
|
||||
token bar
|
||||
token identifier [a-z]+
|
||||
token foo;
|
||||
token bar;
|
||||
token identifier [a-z]+;
|
||||
EOF
|
||||
expected = [
|
||||
["plusplus", "++"],
|
||||
["plus", "+"],
|
||||
]
|
||||
expect(run(<<EOF, "+++")).to eq expected
|
||||
token plus \\+
|
||||
token plusplus \\+\\+
|
||||
token plus \\+;
|
||||
token plusplus \\+\\+;
|
||||
EOF
|
||||
end
|
||||
|
||||
@ -100,9 +100,9 @@ EOF
|
||||
["bar", "bar"],
|
||||
]
|
||||
expect(run(<<EOF, "foo \tbar")).to eq expected
|
||||
token foo
|
||||
token bar
|
||||
token WS \\s+
|
||||
token foo;
|
||||
token bar;
|
||||
token WS \\s+;
|
||||
EOF
|
||||
end
|
||||
|
||||
@ -113,9 +113,9 @@ EOF
|
||||
["bar", "bar"],
|
||||
]
|
||||
expect(run(<<EOF, "foo \tbar")).to eq expected
|
||||
token foo
|
||||
token bar
|
||||
drop \\s+
|
||||
token foo;
|
||||
token bar;
|
||||
drop \\s+;
|
||||
EOF
|
||||
end
|
||||
end
|
||||
|
@ -27,10 +27,10 @@ describe Propane do
|
||||
|
||||
it "generates a D lexer" do
|
||||
write_grammar <<EOF
|
||||
token int \\d+
|
||||
token plus \\+
|
||||
token times \\*
|
||||
drop \\s+
|
||||
token int \\d+;
|
||||
token plus \\+;
|
||||
token times \\*;
|
||||
drop \\s+;
|
||||
Start -> Foo;
|
||||
Foo -> int <<
|
||||
>>
|
||||
@ -44,10 +44,10 @@ EOF
|
||||
|
||||
it "generates a parser" do
|
||||
write_grammar <<EOF
|
||||
token plus \\+
|
||||
token times \\*
|
||||
token zero 0
|
||||
token one 1
|
||||
token plus \\+;
|
||||
token times \\*;
|
||||
token zero 0;
|
||||
token one 1;
|
||||
Start -> E;
|
||||
E -> E times B;
|
||||
E -> E plus B;
|
||||
@ -60,7 +60,7 @@ EOF
|
||||
|
||||
it "generates an SLR parser" do
|
||||
write_grammar <<EOF
|
||||
token one 1
|
||||
token one 1;
|
||||
Start -> E;
|
||||
E -> one E;
|
||||
E -> one;
|
||||
@ -70,8 +70,8 @@ EOF
|
||||
|
||||
it "distinguishes between multiple identical rules with lookahead symbol" do
|
||||
write_grammar <<EOF
|
||||
token a
|
||||
token b
|
||||
token a;
|
||||
token b;
|
||||
Start -> R1 a;
|
||||
Start -> R2 b;
|
||||
R1 -> a b;
|
||||
@ -84,9 +84,9 @@ EOF
|
||||
|
||||
it "handles reducing a rule that could be arrived at from multiple states" do
|
||||
write_grammar <<EOF
|
||||
token a
|
||||
token b
|
||||
drop \\s+
|
||||
token a;
|
||||
token b;
|
||||
drop \\s+;
|
||||
Start -> a R1;
|
||||
Start -> b R1;
|
||||
R1 -> b;
|
||||
|
Loading…
x
Reference in New Issue
Block a user