lrama 0.7.0 → 0.7.1
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.
- checksums.yaml +4 -4
- data/.gitattributes +2 -0
- data/.github/workflows/codespell.yaml +1 -1
- data/.github/workflows/gh-pages.yml +5 -6
- data/.github/workflows/test.yaml +25 -14
- data/Gemfile +4 -3
- data/NEWS.md +370 -35
- data/README.md +7 -88
- data/Rakefile +3 -2
- data/Steepfile +11 -5
- data/doc/Index.md +1 -1
- data/doc/development/compressed_state_table/parser.rb +2 -0
- data/doc/development/profiling.md +44 -0
- data/exe/lrama +1 -1
- data/lib/lrama/bitmap.rb +18 -5
- data/lib/lrama/command.rb +95 -43
- data/lib/lrama/context.rb +22 -24
- data/lib/lrama/counterexamples/derivation.rb +14 -4
- data/lib/lrama/counterexamples/example.rb +47 -22
- data/lib/lrama/counterexamples/node.rb +30 -0
- data/lib/lrama/counterexamples/path.rb +12 -14
- data/lib/lrama/counterexamples/state_item.rb +24 -1
- data/lib/lrama/counterexamples/triple.rb +27 -9
- data/lib/lrama/counterexamples.rb +216 -88
- data/lib/lrama/diagram.rb +77 -0
- data/lib/lrama/digraph.rb +28 -7
- data/lib/lrama/erb.rb +29 -0
- data/lib/lrama/grammar/auxiliary.rb +6 -1
- data/lib/lrama/grammar/binding.rb +37 -25
- data/lib/lrama/grammar/code/destructor_code.rb +11 -0
- data/lib/lrama/grammar/code/initial_action_code.rb +3 -0
- data/lib/lrama/grammar/code/no_reference_code.rb +3 -0
- data/lib/lrama/grammar/code/printer_code.rb +11 -0
- data/lib/lrama/grammar/code/rule_action.rb +17 -0
- data/lib/lrama/grammar/code.rb +16 -1
- data/lib/lrama/grammar/counter.rb +10 -0
- data/lib/lrama/grammar/destructor.rb +14 -1
- data/lib/lrama/grammar/error_token.rb +14 -1
- data/lib/lrama/grammar/inline/resolver.rb +80 -0
- data/lib/lrama/grammar/inline.rb +3 -0
- data/lib/lrama/grammar/{parameterizing_rule → parameterized}/resolver.rb +19 -8
- data/lib/lrama/grammar/{parameterizing_rule → parameterized}/rhs.rb +7 -2
- data/lib/lrama/grammar/parameterized/rule.rb +36 -0
- data/lib/lrama/grammar/parameterized.rb +5 -0
- data/lib/lrama/grammar/percent_code.rb +12 -1
- data/lib/lrama/grammar/precedence.rb +43 -1
- data/lib/lrama/grammar/printer.rb +9 -0
- data/lib/lrama/grammar/reference.rb +13 -0
- data/lib/lrama/grammar/rule.rb +61 -1
- data/lib/lrama/grammar/rule_builder.rb +84 -69
- data/lib/lrama/grammar/stdlib.y +68 -48
- data/lib/lrama/grammar/symbol.rb +63 -19
- data/lib/lrama/grammar/symbols/resolver.rb +64 -3
- data/lib/lrama/grammar/type.rb +13 -1
- data/lib/lrama/grammar/union.rb +12 -1
- data/lib/lrama/grammar.rb +231 -35
- data/lib/lrama/lexer/location.rb +25 -8
- data/lib/lrama/lexer/token/base.rb +73 -0
- data/lib/lrama/lexer/token/char.rb +15 -2
- data/lib/lrama/lexer/token/empty.rb +14 -0
- data/lib/lrama/lexer/token/ident.rb +2 -2
- data/lib/lrama/lexer/token/instantiate_rule.rb +4 -4
- data/lib/lrama/lexer/token/int.rb +14 -0
- data/lib/lrama/lexer/token/str.rb +11 -0
- data/lib/lrama/lexer/token/tag.rb +2 -2
- data/lib/lrama/lexer/token/token.rb +11 -0
- data/lib/lrama/lexer/token/user_code.rb +63 -37
- data/lib/lrama/lexer/token.rb +6 -56
- data/lib/lrama/lexer.rb +51 -23
- data/lib/lrama/logger.rb +12 -2
- data/lib/lrama/option_parser.rb +63 -9
- data/lib/lrama/options.rb +25 -7
- data/lib/lrama/output.rb +4 -11
- data/lib/lrama/parser.rb +854 -723
- data/lib/lrama/reporter/conflicts.rb +44 -0
- data/lib/lrama/reporter/grammar.rb +39 -0
- data/lib/lrama/reporter/precedences.rb +54 -0
- data/lib/lrama/reporter/profile/call_stack.rb +45 -0
- data/lib/lrama/reporter/profile/memory.rb +44 -0
- data/lib/lrama/reporter/profile.rb +4 -0
- data/lib/lrama/reporter/rules.rb +43 -0
- data/lib/lrama/reporter/states.rb +387 -0
- data/lib/lrama/reporter/terms.rb +44 -0
- data/lib/lrama/reporter.rb +39 -0
- data/lib/lrama/state/action/goto.rb +33 -0
- data/lib/lrama/state/action/reduce.rb +71 -0
- data/lib/lrama/state/action/shift.rb +39 -0
- data/lib/lrama/state/action.rb +5 -0
- data/lib/lrama/state/inadequacy_annotation.rb +140 -0
- data/lib/lrama/{states → state}/item.rb +33 -4
- data/lib/lrama/state/reduce_reduce_conflict.rb +14 -1
- data/lib/lrama/state/resolved_conflict.rb +38 -4
- data/lib/lrama/state/shift_reduce_conflict.rb +14 -1
- data/lib/lrama/state.rb +301 -200
- data/lib/lrama/states.rb +447 -175
- data/lib/lrama/tracer/actions.rb +22 -0
- data/lib/lrama/tracer/closure.rb +30 -0
- data/lib/lrama/tracer/duration.rb +38 -0
- data/lib/lrama/tracer/only_explicit_rules.rb +24 -0
- data/lib/lrama/tracer/rules.rb +23 -0
- data/lib/lrama/tracer/state.rb +33 -0
- data/lib/lrama/tracer.rb +51 -0
- data/lib/lrama/version.rb +2 -1
- data/lib/lrama/warnings/conflicts.rb +27 -0
- data/lib/lrama/warnings/implicit_empty.rb +29 -0
- data/lib/lrama/warnings/name_conflicts.rb +63 -0
- data/lib/lrama/warnings/redefined_rules.rb +23 -0
- data/lib/lrama/warnings/required.rb +23 -0
- data/lib/lrama/warnings/useless_precedence.rb +25 -0
- data/lib/lrama/warnings.rb +33 -0
- data/lib/lrama.rb +5 -5
- data/parser.y +495 -404
- data/rbs_collection.lock.yaml +27 -3
- data/rbs_collection.yaml +2 -0
- data/sig/generated/lrama/bitmap.rbs +12 -4
- data/sig/generated/lrama/counterexamples/derivation.rbs +36 -0
- data/sig/generated/lrama/counterexamples/example.rbs +58 -0
- data/sig/generated/lrama/counterexamples/node.rbs +18 -0
- data/sig/generated/lrama/counterexamples/path.rbs +23 -0
- data/sig/generated/lrama/counterexamples/state_item.rbs +19 -0
- data/sig/generated/lrama/counterexamples/triple.rbs +32 -0
- data/sig/generated/lrama/counterexamples.rbs +98 -0
- data/sig/generated/lrama/diagram.rbs +34 -0
- data/sig/generated/lrama/digraph.rbs +26 -6
- data/sig/generated/lrama/erb.rbs +14 -0
- data/sig/generated/lrama/grammar/auxiliary.rbs +16 -0
- data/sig/generated/lrama/grammar/binding.rbs +18 -12
- data/sig/generated/lrama/grammar/code/destructor_code.rbs +26 -0
- data/sig/{lrama → generated/lrama}/grammar/code/initial_action_code.rbs +6 -0
- data/sig/{lrama → generated/lrama}/grammar/code/no_reference_code.rbs +6 -0
- data/sig/generated/lrama/grammar/code/printer_code.rbs +26 -0
- data/sig/generated/lrama/grammar/code/rule_action.rbs +63 -0
- data/sig/generated/lrama/grammar/code.rbs +38 -0
- data/sig/{lrama → generated/lrama}/grammar/counter.rbs +4 -0
- data/sig/generated/lrama/grammar/destructor.rbs +19 -0
- data/sig/generated/lrama/grammar/error_token.rbs +19 -0
- data/sig/generated/lrama/grammar/inline/resolver.rbs +26 -0
- data/sig/generated/lrama/grammar/parameterized/resolver.rbs +42 -0
- data/sig/generated/lrama/grammar/parameterized/rhs.rbs +21 -0
- data/sig/generated/lrama/grammar/parameterized/rule.rbs +28 -0
- data/sig/{lrama → generated/lrama}/grammar/percent_code.rbs +8 -0
- data/sig/generated/lrama/grammar/precedence.rbs +45 -0
- data/sig/{lrama/grammar/error_token.rbs → generated/lrama/grammar/printer.rbs} +8 -3
- data/sig/generated/lrama/grammar/reference.rbs +31 -0
- data/sig/generated/lrama/grammar/rule.rbs +83 -0
- data/sig/generated/lrama/grammar/rule_builder.rbs +91 -0
- data/sig/generated/lrama/grammar/symbol.rbs +89 -0
- data/sig/generated/lrama/grammar/symbols/resolver.rbs +131 -0
- data/sig/generated/lrama/grammar/type.rbs +21 -0
- data/sig/generated/lrama/grammar/union.rbs +17 -0
- data/sig/generated/lrama/grammar.rbs +289 -0
- data/sig/generated/lrama/lexer/location.rbs +12 -3
- data/sig/generated/lrama/lexer/token/base.rbs +53 -0
- data/sig/generated/lrama/lexer/token/char.rbs +9 -2
- data/sig/generated/lrama/lexer/token/empty.rbs +11 -0
- data/sig/generated/lrama/lexer/token/ident.rbs +2 -2
- data/sig/generated/lrama/lexer/token/instantiate_rule.rbs +5 -5
- data/sig/generated/lrama/lexer/token/int.rbs +13 -0
- data/sig/generated/lrama/lexer/token/str.rbs +10 -0
- data/sig/generated/lrama/lexer/token/tag.rbs +2 -2
- data/sig/generated/lrama/lexer/token/token.rbs +10 -0
- data/sig/generated/lrama/lexer/token/user_code.rbs +2 -2
- data/sig/generated/lrama/lexer/token.rbs +1 -39
- data/sig/generated/lrama/lexer.rbs +54 -0
- data/sig/generated/lrama/logger.rbs +6 -0
- data/sig/generated/lrama/option_parser.rbs +52 -0
- data/sig/{lrama → generated/lrama}/options.rbs +27 -3
- data/sig/generated/lrama/reporter/conflicts.rbs +18 -0
- data/sig/generated/lrama/reporter/grammar.rbs +13 -0
- data/sig/generated/lrama/reporter/precedences.rbs +15 -0
- data/sig/generated/lrama/reporter/profile/call_stack.rbs +19 -0
- data/sig/generated/lrama/reporter/profile/memory.rbs +19 -0
- data/sig/generated/lrama/reporter/rules.rbs +13 -0
- data/sig/generated/lrama/reporter/states.rbs +69 -0
- data/sig/generated/lrama/reporter/terms.rbs +13 -0
- data/sig/generated/lrama/reporter.rbs +13 -0
- data/sig/generated/lrama/state/action/goto.rbs +28 -0
- data/sig/generated/lrama/state/action/reduce.rbs +49 -0
- data/sig/generated/lrama/state/action/shift.rbs +33 -0
- data/sig/generated/lrama/state/inadequacy_annotation.rbs +45 -0
- data/sig/generated/lrama/state/item.rbs +75 -0
- data/sig/generated/lrama/state/reduce_reduce_conflict.rbs +19 -0
- data/sig/generated/lrama/state/resolved_conflict.rbs +38 -0
- data/sig/generated/lrama/state/shift_reduce_conflict.rbs +19 -0
- data/sig/generated/lrama/state.rbs +231 -0
- data/sig/generated/lrama/states.rbs +215 -0
- data/sig/generated/lrama/tracer/actions.rbs +13 -0
- data/sig/generated/lrama/tracer/closure.rbs +13 -0
- data/sig/generated/lrama/tracer/duration.rbs +18 -0
- data/sig/generated/lrama/tracer/only_explicit_rules.rbs +13 -0
- data/sig/generated/lrama/tracer/rules.rbs +13 -0
- data/sig/generated/lrama/tracer/state.rbs +16 -0
- data/sig/generated/lrama/tracer.rbs +23 -0
- data/sig/generated/lrama/version.rbs +5 -0
- data/sig/generated/lrama/warnings/conflicts.rbs +13 -0
- data/sig/generated/lrama/warnings/implicit_empty.rbs +17 -0
- data/sig/generated/lrama/warnings/name_conflicts.rbs +31 -0
- data/sig/generated/lrama/warnings/redefined_rules.rbs +13 -0
- data/sig/generated/lrama/warnings/required.rbs +13 -0
- data/sig/generated/lrama/warnings/useless_precedence.rbs +13 -0
- data/sig/generated/lrama/warnings.rbs +11 -0
- data/sig/railroad_diagrams/railroad_diagrams.rbs +16 -0
- data/template/bison/_yacc.h +8 -0
- data/template/diagram/diagram.html +102 -0
- metadata +126 -66
- data/lib/lrama/counterexamples/production_path.rb +0 -19
- data/lib/lrama/counterexamples/start_path.rb +0 -23
- data/lib/lrama/counterexamples/transition_path.rb +0 -19
- data/lib/lrama/diagnostics.rb +0 -36
- data/lib/lrama/grammar/parameterizing_rule/rule.rb +0 -24
- data/lib/lrama/grammar/parameterizing_rule.rb +0 -5
- data/lib/lrama/grammar_validator.rb +0 -37
- data/lib/lrama/report/duration.rb +0 -27
- data/lib/lrama/report/profile.rb +0 -16
- data/lib/lrama/report.rb +0 -4
- data/lib/lrama/state/reduce.rb +0 -37
- data/lib/lrama/state/shift.rb +0 -15
- data/lib/lrama/states_reporter.rb +0 -362
- data/lib/lrama/trace_reporter.rb +0 -45
- data/sig/generated/lrama/trace_reporter.rbs +0 -25
- data/sig/lrama/counterexamples/derivation.rbs +0 -33
- data/sig/lrama/counterexamples/example.rbs +0 -45
- data/sig/lrama/counterexamples/path.rbs +0 -21
- data/sig/lrama/counterexamples/production_path.rbs +0 -11
- data/sig/lrama/counterexamples/start_path.rbs +0 -13
- data/sig/lrama/counterexamples/state_item.rbs +0 -10
- data/sig/lrama/counterexamples/transition_path.rbs +0 -11
- data/sig/lrama/counterexamples/triple.rbs +0 -20
- data/sig/lrama/counterexamples.rbs +0 -29
- data/sig/lrama/grammar/auxiliary.rbs +0 -10
- data/sig/lrama/grammar/code/destructor_code.rbs +0 -14
- data/sig/lrama/grammar/code/printer_code.rbs +0 -14
- data/sig/lrama/grammar/code/rule_action.rbs +0 -19
- data/sig/lrama/grammar/code.rbs +0 -24
- data/sig/lrama/grammar/destructor.rbs +0 -13
- data/sig/lrama/grammar/parameterizing_rule/resolver.rbs +0 -24
- data/sig/lrama/grammar/parameterizing_rule/rhs.rbs +0 -14
- data/sig/lrama/grammar/parameterizing_rule/rule.rbs +0 -16
- data/sig/lrama/grammar/parameterizing_rule.rbs +0 -6
- data/sig/lrama/grammar/precedence.rbs +0 -13
- data/sig/lrama/grammar/printer.rbs +0 -13
- data/sig/lrama/grammar/reference.rbs +0 -22
- data/sig/lrama/grammar/rule.rbs +0 -45
- data/sig/lrama/grammar/rule_builder.rbs +0 -47
- data/sig/lrama/grammar/symbol.rbs +0 -38
- data/sig/lrama/grammar/symbols/resolver.rbs +0 -60
- data/sig/lrama/grammar/type.rbs +0 -11
- data/sig/lrama/grammar/union.rbs +0 -12
- data/sig/lrama/grammar.rbs +0 -108
- data/sig/lrama/report/duration.rbs +0 -11
- data/sig/lrama/report/profile.rbs +0 -7
- data/sig/lrama/state/reduce.rbs +0 -20
- data/sig/lrama/state/reduce_reduce_conflict.rbs +0 -13
- data/sig/lrama/state/resolved_conflict.rbs +0 -14
- data/sig/lrama/state/shift.rbs +0 -14
- data/sig/lrama/state/shift_reduce_conflict.rbs +0 -13
- data/sig/lrama/state.rbs +0 -79
- data/sig/lrama/states/item.rbs +0 -30
- data/sig/lrama/states.rbs +0 -101
- data/sig/lrama/warning.rbs +0 -16
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
# Generated from lib/lrama/warnings/redefined_rules.rb with RBS::Inline
|
|
2
|
+
|
|
3
|
+
module Lrama
|
|
4
|
+
class Warnings
|
|
5
|
+
class RedefinedRules
|
|
6
|
+
# @rbs (Lrama::Logger logger, bool warnings) -> void
|
|
7
|
+
def initialize: (Lrama::Logger logger, bool warnings) -> void
|
|
8
|
+
|
|
9
|
+
# @rbs (Lrama::Grammar grammar) -> void
|
|
10
|
+
def warn: (Lrama::Grammar grammar) -> void
|
|
11
|
+
end
|
|
12
|
+
end
|
|
13
|
+
end
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
# Generated from lib/lrama/warnings/required.rb with RBS::Inline
|
|
2
|
+
|
|
3
|
+
module Lrama
|
|
4
|
+
class Warnings
|
|
5
|
+
class Required
|
|
6
|
+
# @rbs (Lrama::Logger logger, bool warnings) -> void
|
|
7
|
+
def initialize: (Lrama::Logger logger, bool warnings) -> void
|
|
8
|
+
|
|
9
|
+
# @rbs (Lrama::Grammar grammar) -> void
|
|
10
|
+
def warn: (Lrama::Grammar grammar) -> void
|
|
11
|
+
end
|
|
12
|
+
end
|
|
13
|
+
end
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
# Generated from lib/lrama/warnings/useless_precedence.rb with RBS::Inline
|
|
2
|
+
|
|
3
|
+
module Lrama
|
|
4
|
+
class Warnings
|
|
5
|
+
class UselessPrecedence
|
|
6
|
+
# @rbs (Lrama::Logger logger, bool warnings) -> void
|
|
7
|
+
def initialize: (Lrama::Logger logger, bool warnings) -> void
|
|
8
|
+
|
|
9
|
+
# @rbs (Lrama::Grammar grammar, Lrama::States states) -> void
|
|
10
|
+
def warn: (Lrama::Grammar grammar, Lrama::States states) -> void
|
|
11
|
+
end
|
|
12
|
+
end
|
|
13
|
+
end
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
# Generated from lib/lrama/warnings.rb with RBS::Inline
|
|
2
|
+
|
|
3
|
+
module Lrama
|
|
4
|
+
class Warnings
|
|
5
|
+
# @rbs (Logger logger, bool warnings) -> void
|
|
6
|
+
def initialize: (Logger logger, bool warnings) -> void
|
|
7
|
+
|
|
8
|
+
# @rbs (Lrama::Grammar grammar, Lrama::States states) -> void
|
|
9
|
+
def warn: (Lrama::Grammar grammar, Lrama::States states) -> void
|
|
10
|
+
end
|
|
11
|
+
end
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
module RailroadDiagrams
|
|
2
|
+
class Terminal
|
|
3
|
+
def initialize: (*untyped) -> void
|
|
4
|
+
end
|
|
5
|
+
class NonTerminal
|
|
6
|
+
def initialize: (*untyped) -> void
|
|
7
|
+
end
|
|
8
|
+
class Sequence
|
|
9
|
+
def initialize: (*untyped) -> void
|
|
10
|
+
end
|
|
11
|
+
class Skip
|
|
12
|
+
def initialize: (*untyped) -> void
|
|
13
|
+
end
|
|
14
|
+
class Diagram
|
|
15
|
+
end
|
|
16
|
+
end
|
data/template/bison/_yacc.h
CHANGED
|
@@ -28,6 +28,7 @@ extern int yydebug;
|
|
|
28
28
|
<%-# b4_declare_yylstype -%>
|
|
29
29
|
<%-# b4_value_type_define -%>
|
|
30
30
|
/* Value type. */
|
|
31
|
+
<% if output.grammar.union %>
|
|
31
32
|
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
|
|
32
33
|
union YYSTYPE
|
|
33
34
|
{
|
|
@@ -40,6 +41,13 @@ typedef union YYSTYPE YYSTYPE;
|
|
|
40
41
|
# define YYSTYPE_IS_TRIVIAL 1
|
|
41
42
|
# define YYSTYPE_IS_DECLARED 1
|
|
42
43
|
#endif
|
|
44
|
+
<% else %>
|
|
45
|
+
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
|
|
46
|
+
typedef int YYSTYPE;
|
|
47
|
+
# define YYSTYPE_IS_TRIVIAL 1
|
|
48
|
+
# define YYSTYPE_IS_DECLARED 1
|
|
49
|
+
#endif
|
|
50
|
+
<% end %>
|
|
43
51
|
|
|
44
52
|
<%-# b4_location_type_define -%>
|
|
45
53
|
/* Location type. */
|
|
@@ -0,0 +1,102 @@
|
|
|
1
|
+
<!DOCTYPE html>
|
|
2
|
+
<html>
|
|
3
|
+
<head>
|
|
4
|
+
<title>Lrama syntax diagrams</title>
|
|
5
|
+
|
|
6
|
+
<style>
|
|
7
|
+
<%= output.default_style %>
|
|
8
|
+
.diagram-header {
|
|
9
|
+
display: inline-block;
|
|
10
|
+
font-weight: bold;
|
|
11
|
+
font-size: 18px;
|
|
12
|
+
margin-bottom: -8px;
|
|
13
|
+
text-align: center;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
svg {
|
|
17
|
+
width: 100%;
|
|
18
|
+
}
|
|
19
|
+
|
|
20
|
+
svg.railroad-diagram g.non-terminal text {
|
|
21
|
+
cursor: pointer;
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
h2.hover-header {
|
|
25
|
+
background-color: #90ee90;
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
svg.railroad-diagram g.non-terminal.hover-g rect {
|
|
29
|
+
fill: #eded91;
|
|
30
|
+
stroke: 5;
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
svg.railroad-diagram g.terminal.hover-g rect {
|
|
34
|
+
fill: #eded91;
|
|
35
|
+
stroke: 5;
|
|
36
|
+
}
|
|
37
|
+
</style>
|
|
38
|
+
</head>
|
|
39
|
+
|
|
40
|
+
<body align="center">
|
|
41
|
+
<%= output.diagrams %>
|
|
42
|
+
<script>
|
|
43
|
+
document.addEventListener("DOMContentLoaded", () => {
|
|
44
|
+
function addHoverEffect(selector, hoverClass, relatedSelector, relatedHoverClass, getTextElements) {
|
|
45
|
+
document.querySelectorAll(selector).forEach(element => {
|
|
46
|
+
element.addEventListener("mouseenter", () => {
|
|
47
|
+
element.classList.add(hoverClass);
|
|
48
|
+
getTextElements(element).forEach(textEl => {
|
|
49
|
+
if (!relatedSelector) return;
|
|
50
|
+
getElementsByText(relatedSelector, textEl.textContent).forEach(related => {
|
|
51
|
+
related.classList.add(relatedHoverClass);
|
|
52
|
+
});
|
|
53
|
+
});
|
|
54
|
+
});
|
|
55
|
+
|
|
56
|
+
element.addEventListener("mouseleave", () => {
|
|
57
|
+
element.classList.remove(hoverClass);
|
|
58
|
+
if (!relatedSelector) return;
|
|
59
|
+
getTextElements(element).forEach(textEl => {
|
|
60
|
+
getElementsByText(relatedSelector, textEl.textContent).forEach(related => {
|
|
61
|
+
related.classList.remove(relatedHoverClass);
|
|
62
|
+
});
|
|
63
|
+
});
|
|
64
|
+
});
|
|
65
|
+
});
|
|
66
|
+
}
|
|
67
|
+
|
|
68
|
+
function getElementsByText(selector, text) {
|
|
69
|
+
return [...document.querySelectorAll(selector)].filter(el => el.textContent.trim() === text.trim());
|
|
70
|
+
}
|
|
71
|
+
|
|
72
|
+
function getParentElementsByText(selector, text) {
|
|
73
|
+
return [...document.querySelectorAll(selector)].filter(el =>
|
|
74
|
+
[...el.querySelectorAll("text")].some(textEl => textEl.textContent.trim() === text.trim())
|
|
75
|
+
);
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
function scrollToMatchingHeader() {
|
|
79
|
+
document.querySelectorAll("g.non-terminal").forEach(element => {
|
|
80
|
+
element.addEventListener("click", () => {
|
|
81
|
+
const textElements = [...element.querySelectorAll("text")];
|
|
82
|
+
for (const textEl of textElements) {
|
|
83
|
+
const targetHeader = getElementsByText("h2", textEl.textContent)[0];
|
|
84
|
+
if (targetHeader) {
|
|
85
|
+
targetHeader.scrollIntoView({ behavior: "smooth", block: "start" });
|
|
86
|
+
break;
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
});
|
|
90
|
+
});
|
|
91
|
+
}
|
|
92
|
+
|
|
93
|
+
addHoverEffect("h2", "hover-header", "g.non-terminal", "hover-g", element => [element]);
|
|
94
|
+
addHoverEffect("g.non-terminal", "hover-g", "h2", "hover-header",
|
|
95
|
+
element => [...element.querySelectorAll("text")]
|
|
96
|
+
);
|
|
97
|
+
addHoverEffect("g.terminal", "hover-g", "", "", element => [element]);
|
|
98
|
+
scrollToMatchingHeader();
|
|
99
|
+
});
|
|
100
|
+
</script>
|
|
101
|
+
</body>
|
|
102
|
+
</html>
|
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.7.
|
|
4
|
+
version: 0.7.1
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Yuichiro Kaneko
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2025-
|
|
11
|
+
date: 2025-12-24 00:00:00.000000000 Z
|
|
12
12
|
dependencies: []
|
|
13
13
|
description: LALR (1) parser generator written by Ruby
|
|
14
14
|
email:
|
|
@@ -19,6 +19,7 @@ extensions: []
|
|
|
19
19
|
extra_rdoc_files: []
|
|
20
20
|
files:
|
|
21
21
|
- ".codespellignore"
|
|
22
|
+
- ".gitattributes"
|
|
22
23
|
- ".github/dependabot.yml"
|
|
23
24
|
- ".github/workflows/codespell.yaml"
|
|
24
25
|
- ".github/workflows/gh-pages.yml"
|
|
@@ -38,6 +39,7 @@ files:
|
|
|
38
39
|
- doc/development/compressed_state_table/parse.output
|
|
39
40
|
- doc/development/compressed_state_table/parse.y
|
|
40
41
|
- doc/development/compressed_state_table/parser.rb
|
|
42
|
+
- doc/development/profiling.md
|
|
41
43
|
- exe/lrama
|
|
42
44
|
- lib/lrama.rb
|
|
43
45
|
- lib/lrama/bitmap.rb
|
|
@@ -46,14 +48,13 @@ files:
|
|
|
46
48
|
- lib/lrama/counterexamples.rb
|
|
47
49
|
- lib/lrama/counterexamples/derivation.rb
|
|
48
50
|
- lib/lrama/counterexamples/example.rb
|
|
51
|
+
- lib/lrama/counterexamples/node.rb
|
|
49
52
|
- lib/lrama/counterexamples/path.rb
|
|
50
|
-
- lib/lrama/counterexamples/production_path.rb
|
|
51
|
-
- lib/lrama/counterexamples/start_path.rb
|
|
52
53
|
- lib/lrama/counterexamples/state_item.rb
|
|
53
|
-
- lib/lrama/counterexamples/transition_path.rb
|
|
54
54
|
- lib/lrama/counterexamples/triple.rb
|
|
55
|
-
- lib/lrama/
|
|
55
|
+
- lib/lrama/diagram.rb
|
|
56
56
|
- lib/lrama/digraph.rb
|
|
57
|
+
- lib/lrama/erb.rb
|
|
57
58
|
- lib/lrama/grammar.rb
|
|
58
59
|
- lib/lrama/grammar/auxiliary.rb
|
|
59
60
|
- lib/lrama/grammar/binding.rb
|
|
@@ -66,10 +67,12 @@ files:
|
|
|
66
67
|
- lib/lrama/grammar/counter.rb
|
|
67
68
|
- lib/lrama/grammar/destructor.rb
|
|
68
69
|
- lib/lrama/grammar/error_token.rb
|
|
69
|
-
- lib/lrama/grammar/
|
|
70
|
-
- lib/lrama/grammar/
|
|
71
|
-
- lib/lrama/grammar/
|
|
72
|
-
- lib/lrama/grammar/
|
|
70
|
+
- lib/lrama/grammar/inline.rb
|
|
71
|
+
- lib/lrama/grammar/inline/resolver.rb
|
|
72
|
+
- lib/lrama/grammar/parameterized.rb
|
|
73
|
+
- lib/lrama/grammar/parameterized/resolver.rb
|
|
74
|
+
- lib/lrama/grammar/parameterized/rhs.rb
|
|
75
|
+
- lib/lrama/grammar/parameterized/rule.rb
|
|
73
76
|
- lib/lrama/grammar/percent_code.rb
|
|
74
77
|
- lib/lrama/grammar/precedence.rb
|
|
75
78
|
- lib/lrama/grammar/printer.rb
|
|
@@ -82,102 +85,159 @@ files:
|
|
|
82
85
|
- lib/lrama/grammar/symbols/resolver.rb
|
|
83
86
|
- lib/lrama/grammar/type.rb
|
|
84
87
|
- lib/lrama/grammar/union.rb
|
|
85
|
-
- lib/lrama/grammar_validator.rb
|
|
86
88
|
- lib/lrama/lexer.rb
|
|
87
89
|
- lib/lrama/lexer/grammar_file.rb
|
|
88
90
|
- lib/lrama/lexer/location.rb
|
|
89
91
|
- lib/lrama/lexer/token.rb
|
|
92
|
+
- lib/lrama/lexer/token/base.rb
|
|
90
93
|
- lib/lrama/lexer/token/char.rb
|
|
94
|
+
- lib/lrama/lexer/token/empty.rb
|
|
91
95
|
- lib/lrama/lexer/token/ident.rb
|
|
92
96
|
- lib/lrama/lexer/token/instantiate_rule.rb
|
|
97
|
+
- lib/lrama/lexer/token/int.rb
|
|
98
|
+
- lib/lrama/lexer/token/str.rb
|
|
93
99
|
- lib/lrama/lexer/token/tag.rb
|
|
100
|
+
- lib/lrama/lexer/token/token.rb
|
|
94
101
|
- lib/lrama/lexer/token/user_code.rb
|
|
95
102
|
- lib/lrama/logger.rb
|
|
96
103
|
- lib/lrama/option_parser.rb
|
|
97
104
|
- lib/lrama/options.rb
|
|
98
105
|
- lib/lrama/output.rb
|
|
99
106
|
- lib/lrama/parser.rb
|
|
100
|
-
- lib/lrama/
|
|
101
|
-
- lib/lrama/
|
|
102
|
-
- lib/lrama/
|
|
107
|
+
- lib/lrama/reporter.rb
|
|
108
|
+
- lib/lrama/reporter/conflicts.rb
|
|
109
|
+
- lib/lrama/reporter/grammar.rb
|
|
110
|
+
- lib/lrama/reporter/precedences.rb
|
|
111
|
+
- lib/lrama/reporter/profile.rb
|
|
112
|
+
- lib/lrama/reporter/profile/call_stack.rb
|
|
113
|
+
- lib/lrama/reporter/profile/memory.rb
|
|
114
|
+
- lib/lrama/reporter/rules.rb
|
|
115
|
+
- lib/lrama/reporter/states.rb
|
|
116
|
+
- lib/lrama/reporter/terms.rb
|
|
103
117
|
- lib/lrama/state.rb
|
|
104
|
-
- lib/lrama/state/
|
|
118
|
+
- lib/lrama/state/action.rb
|
|
119
|
+
- lib/lrama/state/action/goto.rb
|
|
120
|
+
- lib/lrama/state/action/reduce.rb
|
|
121
|
+
- lib/lrama/state/action/shift.rb
|
|
122
|
+
- lib/lrama/state/inadequacy_annotation.rb
|
|
123
|
+
- lib/lrama/state/item.rb
|
|
105
124
|
- lib/lrama/state/reduce_reduce_conflict.rb
|
|
106
125
|
- lib/lrama/state/resolved_conflict.rb
|
|
107
|
-
- lib/lrama/state/shift.rb
|
|
108
126
|
- lib/lrama/state/shift_reduce_conflict.rb
|
|
109
127
|
- lib/lrama/states.rb
|
|
110
|
-
- lib/lrama/
|
|
111
|
-
- lib/lrama/
|
|
112
|
-
- lib/lrama/
|
|
128
|
+
- lib/lrama/tracer.rb
|
|
129
|
+
- lib/lrama/tracer/actions.rb
|
|
130
|
+
- lib/lrama/tracer/closure.rb
|
|
131
|
+
- lib/lrama/tracer/duration.rb
|
|
132
|
+
- lib/lrama/tracer/only_explicit_rules.rb
|
|
133
|
+
- lib/lrama/tracer/rules.rb
|
|
134
|
+
- lib/lrama/tracer/state.rb
|
|
113
135
|
- lib/lrama/version.rb
|
|
136
|
+
- lib/lrama/warnings.rb
|
|
137
|
+
- lib/lrama/warnings/conflicts.rb
|
|
138
|
+
- lib/lrama/warnings/implicit_empty.rb
|
|
139
|
+
- lib/lrama/warnings/name_conflicts.rb
|
|
140
|
+
- lib/lrama/warnings/redefined_rules.rb
|
|
141
|
+
- lib/lrama/warnings/required.rb
|
|
142
|
+
- lib/lrama/warnings/useless_precedence.rb
|
|
114
143
|
- lrama.gemspec
|
|
115
144
|
- parser.y
|
|
116
145
|
- rbs_collection.lock.yaml
|
|
117
146
|
- rbs_collection.yaml
|
|
118
147
|
- sig/generated/lrama/bitmap.rbs
|
|
148
|
+
- sig/generated/lrama/counterexamples.rbs
|
|
149
|
+
- sig/generated/lrama/counterexamples/derivation.rbs
|
|
150
|
+
- sig/generated/lrama/counterexamples/example.rbs
|
|
151
|
+
- sig/generated/lrama/counterexamples/node.rbs
|
|
152
|
+
- sig/generated/lrama/counterexamples/path.rbs
|
|
153
|
+
- sig/generated/lrama/counterexamples/state_item.rbs
|
|
154
|
+
- sig/generated/lrama/counterexamples/triple.rbs
|
|
155
|
+
- sig/generated/lrama/diagram.rbs
|
|
119
156
|
- sig/generated/lrama/digraph.rbs
|
|
157
|
+
- sig/generated/lrama/erb.rbs
|
|
158
|
+
- sig/generated/lrama/grammar.rbs
|
|
159
|
+
- sig/generated/lrama/grammar/auxiliary.rbs
|
|
120
160
|
- sig/generated/lrama/grammar/binding.rbs
|
|
161
|
+
- sig/generated/lrama/grammar/code.rbs
|
|
162
|
+
- sig/generated/lrama/grammar/code/destructor_code.rbs
|
|
163
|
+
- sig/generated/lrama/grammar/code/initial_action_code.rbs
|
|
164
|
+
- sig/generated/lrama/grammar/code/no_reference_code.rbs
|
|
165
|
+
- sig/generated/lrama/grammar/code/printer_code.rbs
|
|
166
|
+
- sig/generated/lrama/grammar/code/rule_action.rbs
|
|
167
|
+
- sig/generated/lrama/grammar/counter.rbs
|
|
168
|
+
- sig/generated/lrama/grammar/destructor.rbs
|
|
169
|
+
- sig/generated/lrama/grammar/error_token.rbs
|
|
170
|
+
- sig/generated/lrama/grammar/inline/resolver.rbs
|
|
171
|
+
- sig/generated/lrama/grammar/parameterized/resolver.rbs
|
|
172
|
+
- sig/generated/lrama/grammar/parameterized/rhs.rbs
|
|
173
|
+
- sig/generated/lrama/grammar/parameterized/rule.rbs
|
|
174
|
+
- sig/generated/lrama/grammar/percent_code.rbs
|
|
175
|
+
- sig/generated/lrama/grammar/precedence.rbs
|
|
176
|
+
- sig/generated/lrama/grammar/printer.rbs
|
|
177
|
+
- sig/generated/lrama/grammar/reference.rbs
|
|
178
|
+
- sig/generated/lrama/grammar/rule.rbs
|
|
179
|
+
- sig/generated/lrama/grammar/rule_builder.rbs
|
|
180
|
+
- sig/generated/lrama/grammar/symbol.rbs
|
|
181
|
+
- sig/generated/lrama/grammar/symbols/resolver.rbs
|
|
182
|
+
- sig/generated/lrama/grammar/type.rbs
|
|
183
|
+
- sig/generated/lrama/grammar/union.rbs
|
|
184
|
+
- sig/generated/lrama/lexer.rbs
|
|
121
185
|
- sig/generated/lrama/lexer/grammar_file.rbs
|
|
122
186
|
- sig/generated/lrama/lexer/location.rbs
|
|
123
187
|
- sig/generated/lrama/lexer/token.rbs
|
|
188
|
+
- sig/generated/lrama/lexer/token/base.rbs
|
|
124
189
|
- sig/generated/lrama/lexer/token/char.rbs
|
|
190
|
+
- sig/generated/lrama/lexer/token/empty.rbs
|
|
125
191
|
- sig/generated/lrama/lexer/token/ident.rbs
|
|
126
192
|
- sig/generated/lrama/lexer/token/instantiate_rule.rbs
|
|
193
|
+
- sig/generated/lrama/lexer/token/int.rbs
|
|
194
|
+
- sig/generated/lrama/lexer/token/str.rbs
|
|
127
195
|
- sig/generated/lrama/lexer/token/tag.rbs
|
|
196
|
+
- sig/generated/lrama/lexer/token/token.rbs
|
|
128
197
|
- sig/generated/lrama/lexer/token/user_code.rbs
|
|
129
198
|
- sig/generated/lrama/logger.rbs
|
|
130
|
-
- sig/generated/lrama/
|
|
131
|
-
- sig/lrama/
|
|
132
|
-
- sig/lrama/
|
|
133
|
-
- sig/lrama/
|
|
134
|
-
- sig/lrama/
|
|
135
|
-
- sig/lrama/
|
|
136
|
-
- sig/lrama/
|
|
137
|
-
- sig/lrama/
|
|
138
|
-
- sig/lrama/
|
|
139
|
-
- sig/lrama/
|
|
140
|
-
- sig/lrama/
|
|
141
|
-
- sig/lrama/
|
|
142
|
-
- sig/lrama/
|
|
143
|
-
- sig/lrama/
|
|
144
|
-
- sig/lrama/
|
|
145
|
-
- sig/lrama/
|
|
146
|
-
- sig/lrama/
|
|
147
|
-
- sig/lrama/
|
|
148
|
-
- sig/lrama/
|
|
149
|
-
- sig/lrama/
|
|
150
|
-
- sig/lrama/
|
|
151
|
-
- sig/lrama/
|
|
152
|
-
- sig/lrama/
|
|
153
|
-
- sig/lrama/
|
|
154
|
-
- sig/lrama/
|
|
155
|
-
- sig/lrama/
|
|
156
|
-
- sig/lrama/
|
|
157
|
-
- sig/lrama/
|
|
158
|
-
- sig/lrama/
|
|
159
|
-
- sig/lrama/
|
|
160
|
-
- sig/lrama/
|
|
161
|
-
- sig/lrama/
|
|
162
|
-
- sig/lrama/
|
|
163
|
-
- sig/lrama/
|
|
164
|
-
- sig/lrama/
|
|
165
|
-
- sig/lrama/
|
|
166
|
-
- sig/
|
|
167
|
-
- sig/lrama/report/profile.rbs
|
|
168
|
-
- sig/lrama/state.rbs
|
|
169
|
-
- sig/lrama/state/reduce.rbs
|
|
170
|
-
- sig/lrama/state/reduce_reduce_conflict.rbs
|
|
171
|
-
- sig/lrama/state/resolved_conflict.rbs
|
|
172
|
-
- sig/lrama/state/shift.rbs
|
|
173
|
-
- sig/lrama/state/shift_reduce_conflict.rbs
|
|
174
|
-
- sig/lrama/states.rbs
|
|
175
|
-
- sig/lrama/states/item.rbs
|
|
176
|
-
- sig/lrama/warning.rbs
|
|
199
|
+
- sig/generated/lrama/option_parser.rbs
|
|
200
|
+
- sig/generated/lrama/options.rbs
|
|
201
|
+
- sig/generated/lrama/reporter.rbs
|
|
202
|
+
- sig/generated/lrama/reporter/conflicts.rbs
|
|
203
|
+
- sig/generated/lrama/reporter/grammar.rbs
|
|
204
|
+
- sig/generated/lrama/reporter/precedences.rbs
|
|
205
|
+
- sig/generated/lrama/reporter/profile/call_stack.rbs
|
|
206
|
+
- sig/generated/lrama/reporter/profile/memory.rbs
|
|
207
|
+
- sig/generated/lrama/reporter/rules.rbs
|
|
208
|
+
- sig/generated/lrama/reporter/states.rbs
|
|
209
|
+
- sig/generated/lrama/reporter/terms.rbs
|
|
210
|
+
- sig/generated/lrama/state.rbs
|
|
211
|
+
- sig/generated/lrama/state/action/goto.rbs
|
|
212
|
+
- sig/generated/lrama/state/action/reduce.rbs
|
|
213
|
+
- sig/generated/lrama/state/action/shift.rbs
|
|
214
|
+
- sig/generated/lrama/state/inadequacy_annotation.rbs
|
|
215
|
+
- sig/generated/lrama/state/item.rbs
|
|
216
|
+
- sig/generated/lrama/state/reduce_reduce_conflict.rbs
|
|
217
|
+
- sig/generated/lrama/state/resolved_conflict.rbs
|
|
218
|
+
- sig/generated/lrama/state/shift_reduce_conflict.rbs
|
|
219
|
+
- sig/generated/lrama/states.rbs
|
|
220
|
+
- sig/generated/lrama/tracer.rbs
|
|
221
|
+
- sig/generated/lrama/tracer/actions.rbs
|
|
222
|
+
- sig/generated/lrama/tracer/closure.rbs
|
|
223
|
+
- sig/generated/lrama/tracer/duration.rbs
|
|
224
|
+
- sig/generated/lrama/tracer/only_explicit_rules.rbs
|
|
225
|
+
- sig/generated/lrama/tracer/rules.rbs
|
|
226
|
+
- sig/generated/lrama/tracer/state.rbs
|
|
227
|
+
- sig/generated/lrama/version.rbs
|
|
228
|
+
- sig/generated/lrama/warnings.rbs
|
|
229
|
+
- sig/generated/lrama/warnings/conflicts.rbs
|
|
230
|
+
- sig/generated/lrama/warnings/implicit_empty.rbs
|
|
231
|
+
- sig/generated/lrama/warnings/name_conflicts.rbs
|
|
232
|
+
- sig/generated/lrama/warnings/redefined_rules.rbs
|
|
233
|
+
- sig/generated/lrama/warnings/required.rbs
|
|
234
|
+
- sig/generated/lrama/warnings/useless_precedence.rbs
|
|
235
|
+
- sig/railroad_diagrams/railroad_diagrams.rbs
|
|
177
236
|
- sig/stdlib/strscan/string_scanner.rbs
|
|
178
237
|
- template/bison/_yacc.h
|
|
179
238
|
- template/bison/yacc.c
|
|
180
239
|
- template/bison/yacc.h
|
|
240
|
+
- template/diagram/diagram.html
|
|
181
241
|
homepage: https://github.com/ruby/lrama
|
|
182
242
|
licenses:
|
|
183
243
|
- GPL-3.0-or-later
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
# frozen_string_literal: true
|
|
2
|
-
|
|
3
|
-
module Lrama
|
|
4
|
-
class Counterexamples
|
|
5
|
-
class StartPath < Path
|
|
6
|
-
def initialize(to_state_item)
|
|
7
|
-
super nil, to_state_item
|
|
8
|
-
end
|
|
9
|
-
|
|
10
|
-
def type
|
|
11
|
-
:start
|
|
12
|
-
end
|
|
13
|
-
|
|
14
|
-
def transition?
|
|
15
|
-
false
|
|
16
|
-
end
|
|
17
|
-
|
|
18
|
-
def production?
|
|
19
|
-
false
|
|
20
|
-
end
|
|
21
|
-
end
|
|
22
|
-
end
|
|
23
|
-
end
|
data/lib/lrama/diagnostics.rb
DELETED
|
@@ -1,36 +0,0 @@
|
|
|
1
|
-
# frozen_string_literal: true
|
|
2
|
-
|
|
3
|
-
module Lrama
|
|
4
|
-
class Diagnostics
|
|
5
|
-
def initialize(grammar, states, logger)
|
|
6
|
-
@grammar = grammar
|
|
7
|
-
@states = states
|
|
8
|
-
@logger = logger
|
|
9
|
-
end
|
|
10
|
-
|
|
11
|
-
def run(diagnostic)
|
|
12
|
-
if diagnostic
|
|
13
|
-
diagnose_conflict
|
|
14
|
-
diagnose_parameterizing_redefined
|
|
15
|
-
end
|
|
16
|
-
end
|
|
17
|
-
|
|
18
|
-
private
|
|
19
|
-
|
|
20
|
-
def diagnose_conflict
|
|
21
|
-
if @states.sr_conflicts_count != 0
|
|
22
|
-
@logger.warn("shift/reduce conflicts: #{@states.sr_conflicts_count} found")
|
|
23
|
-
end
|
|
24
|
-
|
|
25
|
-
if @states.rr_conflicts_count != 0
|
|
26
|
-
@logger.warn("reduce/reduce conflicts: #{@states.rr_conflicts_count} found")
|
|
27
|
-
end
|
|
28
|
-
end
|
|
29
|
-
|
|
30
|
-
def diagnose_parameterizing_redefined
|
|
31
|
-
@grammar.parameterizing_rule_resolver.redefined_rules.each do |rule|
|
|
32
|
-
@logger.warn("parameterizing rule redefined: #{rule}")
|
|
33
|
-
end
|
|
34
|
-
end
|
|
35
|
-
end
|
|
36
|
-
end
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
# frozen_string_literal: true
|
|
2
|
-
|
|
3
|
-
module Lrama
|
|
4
|
-
class Grammar
|
|
5
|
-
class ParameterizingRule
|
|
6
|
-
class Rule
|
|
7
|
-
attr_reader :name, :parameters, :rhs_list, :required_parameters_count, :tag, :is_inline
|
|
8
|
-
|
|
9
|
-
def initialize(name, parameters, rhs_list, tag: nil, is_inline: false)
|
|
10
|
-
@name = name
|
|
11
|
-
@parameters = parameters
|
|
12
|
-
@rhs_list = rhs_list
|
|
13
|
-
@tag = tag
|
|
14
|
-
@is_inline = is_inline
|
|
15
|
-
@required_parameters_count = parameters.count
|
|
16
|
-
end
|
|
17
|
-
|
|
18
|
-
def to_s
|
|
19
|
-
"#{@name}(#{@parameters.map(&:s_value).join(', ')})"
|
|
20
|
-
end
|
|
21
|
-
end
|
|
22
|
-
end
|
|
23
|
-
end
|
|
24
|
-
end
|
|
@@ -1,37 +0,0 @@
|
|
|
1
|
-
# frozen_string_literal: true
|
|
2
|
-
|
|
3
|
-
module Lrama
|
|
4
|
-
class GrammarValidator
|
|
5
|
-
def initialize(grammar, states, logger)
|
|
6
|
-
@grammar = grammar
|
|
7
|
-
@states = states
|
|
8
|
-
@logger = logger
|
|
9
|
-
end
|
|
10
|
-
|
|
11
|
-
def valid?
|
|
12
|
-
conflicts_within_threshold?
|
|
13
|
-
end
|
|
14
|
-
|
|
15
|
-
private
|
|
16
|
-
|
|
17
|
-
def conflicts_within_threshold?
|
|
18
|
-
return true unless @grammar.expect
|
|
19
|
-
|
|
20
|
-
[sr_conflicts_within_threshold(@grammar.expect), rr_conflicts_within_threshold(0)].all?
|
|
21
|
-
end
|
|
22
|
-
|
|
23
|
-
def sr_conflicts_within_threshold(expected)
|
|
24
|
-
return true if expected == @states.sr_conflicts_count
|
|
25
|
-
|
|
26
|
-
@logger.error("shift/reduce conflicts: #{@states.sr_conflicts_count} found, #{expected} expected")
|
|
27
|
-
false
|
|
28
|
-
end
|
|
29
|
-
|
|
30
|
-
def rr_conflicts_within_threshold(expected)
|
|
31
|
-
return true if expected == @states.rr_conflicts_count
|
|
32
|
-
|
|
33
|
-
@logger.error("reduce/reduce conflicts: #{@states.rr_conflicts_count} found, #{expected} expected")
|
|
34
|
-
false
|
|
35
|
-
end
|
|
36
|
-
end
|
|
37
|
-
end
|