lrama 0.6.10 → 0.6.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (42) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/test.yaml +5 -1
  3. data/Gemfile +2 -2
  4. data/NEWS.md +65 -30
  5. data/Steepfile +3 -0
  6. data/doc/development/compressed_state_table/main.md +635 -0
  7. data/doc/development/compressed_state_table/parse.output +174 -0
  8. data/doc/development/compressed_state_table/parse.y +22 -0
  9. data/doc/development/compressed_state_table/parser.rb +282 -0
  10. data/lib/lrama/bitmap.rb +1 -1
  11. data/lib/lrama/context.rb +3 -3
  12. data/lib/lrama/counterexamples/derivation.rb +6 -5
  13. data/lib/lrama/counterexamples/example.rb +7 -4
  14. data/lib/lrama/counterexamples/path.rb +4 -0
  15. data/lib/lrama/counterexamples.rb +19 -9
  16. data/lib/lrama/grammar/parameterizing_rule/rhs.rb +1 -1
  17. data/lib/lrama/grammar/rule_builder.rb +1 -1
  18. data/lib/lrama/grammar/symbols/resolver.rb +4 -0
  19. data/lib/lrama/grammar.rb +2 -2
  20. data/lib/lrama/lexer/token/user_code.rb +1 -1
  21. data/lib/lrama/lexer.rb +1 -0
  22. data/lib/lrama/parser.rb +520 -487
  23. data/lib/lrama/state/reduce.rb +2 -3
  24. data/lib/lrama/version.rb +1 -1
  25. data/parser.y +38 -27
  26. data/rbs_collection.lock.yaml +10 -2
  27. data/sig/lrama/counterexamples/derivation.rbs +33 -0
  28. data/sig/lrama/counterexamples/example.rbs +45 -0
  29. data/sig/lrama/counterexamples/path.rbs +21 -0
  30. data/sig/lrama/counterexamples/production_path.rbs +11 -0
  31. data/sig/lrama/counterexamples/start_path.rbs +13 -0
  32. data/sig/lrama/counterexamples/state_item.rbs +10 -0
  33. data/sig/lrama/counterexamples/transition_path.rbs +11 -0
  34. data/sig/lrama/counterexamples/triple.rbs +20 -0
  35. data/sig/lrama/counterexamples.rbs +29 -0
  36. data/sig/lrama/grammar/symbol.rbs +1 -1
  37. data/sig/lrama/grammar/symbols/resolver.rbs +3 -3
  38. data/sig/lrama/grammar.rbs +13 -0
  39. data/sig/lrama/state/reduce_reduce_conflict.rbs +2 -2
  40. data/sig/lrama/state.rbs +79 -0
  41. data/sig/lrama/states.rbs +101 -0
  42. 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.10
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-09-12 00:00:00.000000000 Z
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