lrama 0.6.10 → 0.6.11
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.github/workflows/test.yaml +5 -1
- data/Gemfile +2 -2
- data/NEWS.md +65 -30
- data/Steepfile +3 -0
- data/doc/development/compressed_state_table/main.md +635 -0
- data/doc/development/compressed_state_table/parse.output +174 -0
- data/doc/development/compressed_state_table/parse.y +22 -0
- data/doc/development/compressed_state_table/parser.rb +282 -0
- data/lib/lrama/bitmap.rb +1 -1
- data/lib/lrama/context.rb +3 -3
- data/lib/lrama/counterexamples/derivation.rb +6 -5
- data/lib/lrama/counterexamples/example.rb +7 -4
- data/lib/lrama/counterexamples/path.rb +4 -0
- data/lib/lrama/counterexamples.rb +19 -9
- data/lib/lrama/grammar/parameterizing_rule/rhs.rb +1 -1
- data/lib/lrama/grammar/rule_builder.rb +1 -1
- data/lib/lrama/grammar/symbols/resolver.rb +4 -0
- data/lib/lrama/grammar.rb +2 -2
- data/lib/lrama/lexer/token/user_code.rb +1 -1
- data/lib/lrama/lexer.rb +1 -0
- data/lib/lrama/parser.rb +520 -487
- data/lib/lrama/state/reduce.rb +2 -3
- data/lib/lrama/version.rb +1 -1
- data/parser.y +38 -27
- data/rbs_collection.lock.yaml +10 -2
- data/sig/lrama/counterexamples/derivation.rbs +33 -0
- data/sig/lrama/counterexamples/example.rbs +45 -0
- data/sig/lrama/counterexamples/path.rbs +21 -0
- data/sig/lrama/counterexamples/production_path.rbs +11 -0
- data/sig/lrama/counterexamples/start_path.rbs +13 -0
- data/sig/lrama/counterexamples/state_item.rbs +10 -0
- data/sig/lrama/counterexamples/transition_path.rbs +11 -0
- data/sig/lrama/counterexamples/triple.rbs +20 -0
- data/sig/lrama/counterexamples.rbs +29 -0
- data/sig/lrama/grammar/symbol.rbs +1 -1
- data/sig/lrama/grammar/symbols/resolver.rbs +3 -3
- data/sig/lrama/grammar.rbs +13 -0
- data/sig/lrama/state/reduce_reduce_conflict.rbs +2 -2
- data/sig/lrama/state.rbs +79 -0
- data/sig/lrama/states.rbs +101 -0
- metadata +17 -2
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: lrama
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.6.
|
|
4
|
+
version: 0.6.11
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Yuichiro Kaneko
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2024-
|
|
11
|
+
date: 2024-12-23 00:00:00.000000000 Z
|
|
12
12
|
dependencies: []
|
|
13
13
|
description: LALR (1) parser generator written by Ruby
|
|
14
14
|
email:
|
|
@@ -31,6 +31,10 @@ files:
|
|
|
31
31
|
- README.md
|
|
32
32
|
- Rakefile
|
|
33
33
|
- Steepfile
|
|
34
|
+
- doc/development/compressed_state_table/main.md
|
|
35
|
+
- doc/development/compressed_state_table/parse.output
|
|
36
|
+
- doc/development/compressed_state_table/parse.y
|
|
37
|
+
- doc/development/compressed_state_table/parser.rb
|
|
34
38
|
- exe/lrama
|
|
35
39
|
- lib/lrama.rb
|
|
36
40
|
- lib/lrama/bitmap.rb
|
|
@@ -109,6 +113,15 @@ files:
|
|
|
109
113
|
- rbs_collection.lock.yaml
|
|
110
114
|
- rbs_collection.yaml
|
|
111
115
|
- sig/lrama/bitmap.rbs
|
|
116
|
+
- sig/lrama/counterexamples.rbs
|
|
117
|
+
- sig/lrama/counterexamples/derivation.rbs
|
|
118
|
+
- sig/lrama/counterexamples/example.rbs
|
|
119
|
+
- sig/lrama/counterexamples/path.rbs
|
|
120
|
+
- sig/lrama/counterexamples/production_path.rbs
|
|
121
|
+
- sig/lrama/counterexamples/start_path.rbs
|
|
122
|
+
- sig/lrama/counterexamples/state_item.rbs
|
|
123
|
+
- sig/lrama/counterexamples/transition_path.rbs
|
|
124
|
+
- sig/lrama/counterexamples/triple.rbs
|
|
112
125
|
- sig/lrama/digraph.rbs
|
|
113
126
|
- sig/lrama/grammar.rbs
|
|
114
127
|
- sig/lrama/grammar/auxiliary.rbs
|
|
@@ -147,11 +160,13 @@ files:
|
|
|
147
160
|
- sig/lrama/options.rbs
|
|
148
161
|
- sig/lrama/report/duration.rbs
|
|
149
162
|
- sig/lrama/report/profile.rbs
|
|
163
|
+
- sig/lrama/state.rbs
|
|
150
164
|
- sig/lrama/state/reduce.rbs
|
|
151
165
|
- sig/lrama/state/reduce_reduce_conflict.rbs
|
|
152
166
|
- sig/lrama/state/resolved_conflict.rbs
|
|
153
167
|
- sig/lrama/state/shift.rbs
|
|
154
168
|
- sig/lrama/state/shift_reduce_conflict.rbs
|
|
169
|
+
- sig/lrama/states.rbs
|
|
155
170
|
- sig/lrama/states/item.rbs
|
|
156
171
|
- sig/lrama/warning.rbs
|
|
157
172
|
- sig/stdlib/strscan/string_scanner.rbs
|