lrama 0.7.0 → 0.7.1

data/sig/generated/lrama/lexer/token.rbs

@@ -2,45 +2,7 @@
 
 module Lrama
   class Lexer
-    class Token
-      attr_reader s_value: String
-
-      attr_reader location: Location
-
-      attr_accessor alias_name: String
-
-      attr_accessor referred: bool
-
-      # @rbs (s_value: String, ?alias_name: String, ?location: Location) -> void
-      def initialize: (s_value: String, ?alias_name: String, ?location: Location) -> void
-
-      # @rbs () -> String
-      def to_s: () -> String
-
-      # @rbs (String string) -> bool
-      def referred_by?: (String string) -> bool
-
-      # @rbs (Token other) -> bool
-      def ==: (Token other) -> bool
-
-      # @rbs () -> Integer
-      def first_line: () -> Integer
-
-      alias line first_line
-
-      # @rbs () -> Integer
-      def first_column: () -> Integer
-
-      alias column first_column
-
-      # @rbs () -> Integer
-      def last_line: () -> Integer
-
-      # @rbs () -> Integer
-      def last_column: () -> Integer
-
-      # @rbs (Lrama::Grammar::Reference ref, String message) -> bot
-      def invalid_ref: (Lrama::Grammar::Reference ref, String message) -> bot
+    module Token
     end
   end
 end

data/sig/generated/lrama/lexer.rbs

@@ -0,0 +1,54 @@
+# Generated from lib/lrama/lexer.rb with RBS::Inline
+
+module Lrama
+  class Lexer
+    type token = lexer_token | c_token
+
+    type lexer_token = [ String, Token::Token ] | [ ::Symbol, Token::Tag ] | [ ::Symbol, Token::Char ] | [ ::Symbol, Token::Str ] | [ ::Symbol, Token::Int ] | [ ::Symbol, Token::Ident ]
+
+    type c_token = [ :C_DECLARATION, Token::UserCode ]
+
+    attr_reader head_line: Integer
+
+    attr_reader head_column: Integer
+
+    attr_reader line: Integer
+
+    attr_accessor status: :initial | :c_declaration
+
+    attr_accessor end_symbol: String?
+
+    SYMBOLS: Array[String]
+
+    PERCENT_TOKENS: Array[String]
+
+    # @rbs (GrammarFile grammar_file) -> void
+    def initialize: (GrammarFile grammar_file) -> void
+
+    # @rbs () -> token?
+    def next_token: () -> token?
+
+    # @rbs () -> Integer
+    def column: () -> Integer
+
+    # @rbs () -> Location
+    def location: () -> Location
+
+    # @rbs () -> lexer_token?
+    def lex_token: () -> lexer_token?
+
+    # @rbs () -> c_token
+    def lex_c_code: () -> c_token
+
+    private
+
+    # @rbs () -> void
+    def lex_comment: () -> void
+
+    # @rbs () -> void
+    def reset_first_position: () -> void
+
+    # @rbs () -> void
+    def newline: () -> void
+  end
+end

data/sig/generated/lrama/logger.rbs

@@ -5,6 +5,12 @@ module Lrama
     # @rbs (IO out) -> void
     def initialize: (IO out) -> void
 
+    # @rbs () -> void
+    def line_break: () -> void
+
+    # @rbs (String message) -> void
+    def trace: (String message) -> void
+
     # @rbs (String message) -> void
     def warn: (String message) -> void
 

data/sig/generated/lrama/option_parser.rbs

@@ -0,0 +1,52 @@
+# Generated from lib/lrama/option_parser.rb with RBS::Inline
+
+module Lrama
+  # Handle option parsing for the command line interface.
+  class OptionParser
+    @options: Lrama::Options
+
+    @trace: Array[String]
+
+    @report: Array[String]
+
+    @profile: Array[String]
+
+    # @rbs (Array[String]) -> Lrama::Options
+    def self.parse: (Array[String]) -> Lrama::Options
+
+    # @rbs () -> void
+    def initialize: () -> void
+
+    # @rbs (Array[String]) -> Lrama::Options
+    def parse: (Array[String]) -> Lrama::Options
+
+    private
+
+    # @rbs (Array[String]) -> void
+    def parse_by_option_parser: (Array[String]) -> void
+
+    ALIASED_REPORTS: Hash[Symbol, Symbol]
+
+    VALID_REPORTS: Array[Symbol]
+
+    # @rbs (Array[String]) -> Hash[Symbol, bool]
+    def validate_report: (Array[String]) -> Hash[Symbol, bool]
+
+    # @rbs (String) -> Symbol
+    def aliased_report_option: (String) -> Symbol
+
+    VALID_TRACES: Array[String]
+
+    NOT_SUPPORTED_TRACES: Array[String]
+
+    SUPPORTED_TRACES: Array[String]
+
+    # @rbs (Array[String]) -> Hash[Symbol, bool]
+    def validate_trace: (Array[String]) -> Hash[Symbol, bool]
+
+    VALID_PROFILES: Array[String]
+
+    # @rbs (Array[String]) -> Hash[Symbol, bool]
+    def validate_profile: (Array[String]) -> Hash[Symbol, bool]
+  end
+end

data/sig/{lrama → generated/lrama}/options.rbs

@@ -1,19 +1,43 @@
+# Generated from lib/lrama/options.rb with RBS::Inline
+
 module Lrama
+  # Command line options.
   class Options
     attr_accessor skeleton: String
-    attr_accessor define: Hash[String, String]
+
+    attr_accessor locations: bool
+
     attr_accessor header: bool
+
     attr_accessor header_file: String?
+
     attr_accessor report_file: String?
+
     attr_accessor outfile: String
+
     attr_accessor error_recovery: bool
-    attr_accessor grammar_file: String?
+
+    attr_accessor grammar_file: String
+
     attr_accessor trace_opts: Hash[Symbol, bool]?
+
     attr_accessor report_opts: Hash[Symbol, bool]?
-    attr_accessor diagnostic: bool
+
+    attr_accessor warnings: bool
+
     attr_accessor y: IO
+
     attr_accessor debug: bool
 
+    attr_accessor define: Hash[String, String]
+
+    attr_accessor diagram: bool
+
+    attr_accessor diagram_file: String
+
+    attr_accessor profile_opts: Hash[Symbol, bool]?
+
+    # @rbs () -> void
     def initialize: () -> void
   end
 end

data/sig/generated/lrama/reporter/conflicts.rbs

@@ -0,0 +1,18 @@
+# Generated from lib/lrama/reporter/conflicts.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class Conflicts
+      # @rbs (IO io, Lrama::States states) -> void
+      def report: (IO io, Lrama::States states) -> void
+
+      private
+
+      # @rbs (IO io, Lrama::States states) -> void
+      def report_conflicts: (IO io, Lrama::States states) -> void
+
+      # @rbs (Array[(Lrama::State::ShiftReduceConflict | Lrama::State::ReduceReduceConflict)] conflicts) -> Array[String]
+      def format_conflict_messages: (Array[Lrama::State::ShiftReduceConflict | Lrama::State::ReduceReduceConflict] conflicts) -> Array[String]
+    end
+  end
+end

data/sig/generated/lrama/reporter/grammar.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/lrama/reporter/grammar.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class Grammar
+      # @rbs (?grammar: bool, **bool _) -> void
+      def initialize: (?grammar: bool, **bool _) -> void
+
+      # @rbs (IO io, Lrama::States states) -> void
+      def report: (IO io, Lrama::States states) -> void
+    end
+  end
+end

data/sig/generated/lrama/reporter/precedences.rbs

@@ -0,0 +1,15 @@
+# Generated from lib/lrama/reporter/precedences.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class Precedences
+      # @rbs (IO io, Lrama::States states) -> void
+      def report: (IO io, Lrama::States states) -> void
+
+      private
+
+      # @rbs (IO io, Lrama::States states) -> void
+      def report_precedences: (IO io, Lrama::States states) -> void
+    end
+  end
+end

data/sig/generated/lrama/reporter/profile/call_stack.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/lrama/reporter/profile/call_stack.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    module Profile
+      module CallStack
+        # See "Call-stack Profiling Lrama" in README.md for how to use.
+        #
+        # @rbs enabled: bool
+        # @rbs &: -> void
+        # @rbs return: StackProf::result | void
+        def self.report: (bool enabled) { () -> void } -> (StackProf::result | void)
+
+        # @rbs return: bool
+        def self.require_stackprof: () -> bool
+      end
+    end
+  end
+end

data/sig/generated/lrama/reporter/profile/memory.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/lrama/reporter/profile/memory.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    module Profile
+      module Memory
+        # See "Memory Profiling Lrama" in README.md for how to use.
+        #
+        # @rbs enabled: bool
+        # @rbs &: -> void
+        # @rbs return: StackProf::result | void
+        def self.report: (bool enabled) { () -> void } -> (StackProf::result | void)
+
+        # @rbs return: bool
+        def self.require_memory_profiler: () -> bool
+      end
+    end
+  end
+end

data/sig/generated/lrama/reporter/rules.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/lrama/reporter/rules.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class Rules
+      # @rbs (?rules: bool, **bool _) -> void
+      def initialize: (?rules: bool, **bool _) -> void
+
+      # @rbs (IO io, Lrama::States states) -> void
+      def report: (IO io, Lrama::States states) -> void
+    end
+  end
+end

data/sig/generated/lrama/reporter/states.rbs

@@ -0,0 +1,69 @@
+# Generated from lib/lrama/reporter/states.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class States
+      # @rbs (?itemsets: bool, ?lookaheads: bool, ?solved: bool, ?counterexamples: bool, ?verbose: bool, **bool _) -> void
+      def initialize: (?itemsets: bool, ?lookaheads: bool, ?solved: bool, ?counterexamples: bool, ?verbose: bool, **bool _) -> void
+
+      # @rbs (IO io, Lrama::States states, ielr: bool) -> void
+      def report: (IO io, Lrama::States states, ielr: bool) -> void
+
+      private
+
+      # @rbs (IO io, Array[Lrama::State] states) -> void
+      def report_split_states: (IO io, Array[Lrama::State] states) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_state_header: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_items: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_conflicts: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_shifts: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_nonassoc_errors: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_reduces: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_nterm_transitions: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state) -> void
+      def report_conflict_resolutions: (IO io, Lrama::State state) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::Counterexamples cex) -> void
+      def report_counterexamples: (IO io, Lrama::State state, Lrama::Counterexamples cex) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_verbose_info: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_direct_read_sets: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_reads_relation: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_read_sets: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_includes_relation: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_lookback_relation: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_follow_sets: (IO io, Lrama::State state, Lrama::States states) -> void
+
+      # @rbs (IO io, Lrama::State state, Lrama::States states) -> void
+      def report_look_ahead_sets: (IO io, Lrama::State state, Lrama::States states) -> void
+    end
+  end
+end

data/sig/generated/lrama/reporter/terms.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/lrama/reporter/terms.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    class Terms
+      # @rbs (?terms: bool, **bool _) -> void
+      def initialize: (?terms: bool, **bool _) -> void
+
+      # @rbs (IO io, Lrama::States states) -> void
+      def report: (IO io, Lrama::States states) -> void
+    end
+  end
+end

data/sig/generated/lrama/reporter.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/lrama/reporter.rb with RBS::Inline
+
+module Lrama
+  class Reporter
+    include Lrama::Tracer::Duration
+
+    # @rbs (**bool options) -> void
+    def initialize: (**bool options) -> void
+
+    # @rbs (File io, Lrama::States states) -> void
+    def report: (File io, Lrama::States states) -> void
+  end
+end

data/sig/generated/lrama/state/action/goto.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/lrama/state/action/goto.rb with RBS::Inline
+
+module Lrama
+  class State
+    class Action
+      class Goto
+        @from_state: State
+
+        @next_sym: Grammar::Symbol
+
+        @to_items: Array[Item]
+
+        @to_state: State
+
+        attr_reader from_state: State
+
+        attr_reader next_sym: Grammar::Symbol
+
+        attr_reader to_items: Array[Item]
+
+        attr_reader to_state: State
+
+        # @rbs (State from_state, Grammar::Symbol next_sym, Array[Item] to_items, State to_state) -> void
+        def initialize: (State from_state, Grammar::Symbol next_sym, Array[Item] to_items, State to_state) -> void
+      end
+    end
+  end
+end

data/sig/generated/lrama/state/action/reduce.rbs

@@ -0,0 +1,49 @@
+# Generated from lib/lrama/state/action/reduce.rb with RBS::Inline
+
+module Lrama
+  class State
+    class Action
+      class Reduce
+        @item: Item
+
+        @look_ahead: Array[Grammar::Symbol]?
+
+        @look_ahead_sources: Hash[Grammar::Symbol, Array[Action::Goto]]?
+
+        @not_selected_symbols: Array[Grammar::Symbol]
+
+        attr_reader item: Item
+
+        attr_reader look_ahead: Array[Grammar::Symbol]?
+
+        attr_reader look_ahead_sources: Hash[Grammar::Symbol, Array[Action::Goto]]?
+
+        attr_reader not_selected_symbols: Array[Grammar::Symbol]
+
+        # https://www.gnu.org/software/bison/manual/html_node/Default-Reductions.html
+        attr_accessor default_reduction: bool
+
+        # @rbs (Item item) -> void
+        def initialize: (Item item) -> void
+
+        # @rbs () -> Grammar::Rule
+        def rule: () -> Grammar::Rule
+
+        # @rbs (Array[Grammar::Symbol] look_ahead) -> Array[Grammar::Symbol]
+        def look_ahead=: (Array[Grammar::Symbol] look_ahead) -> Array[Grammar::Symbol]
+
+        # @rbs (Hash[Grammar::Symbol, Array[Action::Goto]] sources) -> Hash[Grammar::Symbol, Array[Action::Goto]]
+        def look_ahead_sources=: (Hash[Grammar::Symbol, Array[Action::Goto]] sources) -> Hash[Grammar::Symbol, Array[Action::Goto]]
+
+        # @rbs (Grammar::Symbol sym) -> Array[Grammar::Symbol]
+        def add_not_selected_symbol: (Grammar::Symbol sym) -> Array[Grammar::Symbol]
+
+        # @rbs () -> (::Array[Grammar::Symbol?])
+        def selected_look_ahead: () -> ::Array[Grammar::Symbol?]
+
+        # @rbs () -> void
+        def clear_conflicts: () -> void
+      end
+    end
+  end
+end

data/sig/generated/lrama/state/action/shift.rbs

@@ -0,0 +1,33 @@
+# Generated from lib/lrama/state/action/shift.rb with RBS::Inline
+
+module Lrama
+  class State
+    class Action
+      class Shift
+        @from_state: State
+
+        @next_sym: Grammar::Symbol
+
+        @to_items: Array[Item]
+
+        @to_state: State
+
+        attr_reader from_state: State
+
+        attr_reader next_sym: Grammar::Symbol
+
+        attr_reader to_items: Array[Item]
+
+        attr_reader to_state: State
+
+        attr_accessor not_selected: bool
+
+        # @rbs (State from_state, Grammar::Symbol next_sym, Array[Item] to_items, State to_state) -> void
+        def initialize: (State from_state, Grammar::Symbol next_sym, Array[Item] to_items, State to_state) -> void
+
+        # @rbs () -> void
+        def clear_conflicts: () -> void
+      end
+    end
+  end
+end

data/sig/generated/lrama/state/inadequacy_annotation.rbs

@@ -0,0 +1,45 @@
+# Generated from lib/lrama/state/inadequacy_annotation.rb with RBS::Inline
+
+module Lrama
+  class State
+    class InadequacyAnnotation
+      type action = Action::Shift | Action::Reduce
+
+      attr_accessor state: State
+
+      attr_accessor token: Grammar::Symbol
+
+      attr_accessor actions: Array[action]
+
+      attr_accessor contribution_matrix: Hash[action, Hash[Item, bool]]
+
+      # @rbs (State state, Grammar::Symbol token, Array[action] actions, Hash[action, Hash[Item, bool]] contribution_matrix) -> void
+      def initialize: (State state, Grammar::Symbol token, Array[action] actions, Hash[action, Hash[Item, bool]] contribution_matrix) -> void
+
+      # @rbs (Item item) -> bool
+      def contributed?: (Item item) -> bool
+
+      # @rbs (Array[Hash[action, Hash[Item, bool]]] another_matrixes) -> void
+      def merge_matrix: (Array[Hash[action, Hash[Item, bool]]] another_matrixes) -> void
+
+      # Definition 3.42 (dominant_contribution)
+      #
+      # @rbs (State::lookahead_set lookaheads) -> Array[action]?
+      def dominant_contribution: (State::lookahead_set lookaheads) -> Array[action]?
+
+      # @rbs (Array[action] actions) -> Array[action]
+      def resolve_conflict: (Array[action] actions) -> Array[action]
+
+      # @rbs () -> String
+      def to_s: () -> String
+
+      private
+
+      # @rbs () -> String
+      def actions_to_s: () -> String
+
+      # @rbs () -> String
+      def contribution_matrix_to_s: () -> String
+    end
+  end
+end

data/sig/generated/lrama/state/item.rbs

@@ -0,0 +1,75 @@
+# Generated from lib/lrama/state/item.rb with RBS::Inline
+
+module Lrama
+  class State
+    class Item
+      include Grammar::Rule::_DelegatedMethods
+
+      attr_accessor rule: Grammar::Rule
+
+      attr_accessor position: Integer
+
+      def initialize: (?rule: Grammar::Rule, ?position: Integer) -> void
+
+      extend Forwardable
+
+      # Optimization for States#setup_state
+      #
+      # @rbs () -> Integer
+      def hash: () -> Integer
+
+      # @rbs () -> Integer
+      def rule_id: () -> Integer
+
+      # @rbs () -> bool
+      def empty_rule?: () -> bool
+
+      # @rbs () -> Integer
+      def number_of_rest_symbols: () -> Integer
+
+      # @rbs () -> Grammar::Symbol
+      def next_sym: () -> Grammar::Symbol
+
+      # @rbs () -> Grammar::Symbol
+      def next_next_sym: () -> Grammar::Symbol
+
+      # @rbs () -> Grammar::Symbol
+      def previous_sym: () -> Grammar::Symbol
+
+      # @rbs () -> bool
+      def end_of_rule?: () -> bool
+
+      # @rbs () -> bool
+      def beginning_of_rule?: () -> bool
+
+      # @rbs () -> bool
+      def start_item?: () -> bool
+
+      # @rbs () -> State::Item
+      def new_by_next_position: () -> State::Item
+
+      # @rbs () -> Array[Grammar::Symbol]
+      def symbols_before_dot: () -> Array[Grammar::Symbol]
+
+      # @rbs () -> Array[Grammar::Symbol]
+      def symbols_after_dot: () -> Array[Grammar::Symbol]
+
+      # @rbs () -> Array[Grammar::Symbol]
+      def symbols_after_transition: () -> Array[Grammar::Symbol]
+
+      # @rbs () -> ::String
+      def to_s: () -> ::String
+
+      # @rbs () -> ::String
+      def display_name: () -> ::String
+
+      # Right after position
+      #
+      # @rbs () -> ::String
+      def display_rest: () -> ::String
+
+      # @rbs (State::Item other_item) -> bool
+      def predecessor_item_of?: (State::Item other_item) -> bool
+    end
+  end
+end

data/sig/generated/lrama/state/reduce_reduce_conflict.rbs

@@ -0,0 +1,19 @@
+# Generated from lib/lrama/state/reduce_reduce_conflict.rb with RBS::Inline
+
+module Lrama
+  class State
+    class ReduceReduceConflict
+      attr_reader symbols: Array[Grammar::Symbol]
+
+      attr_reader reduce1: State::Action::Reduce
+
+      attr_reader reduce2: State::Action::Reduce
+
+      # @rbs (symbols: Array[Grammar::Symbol], reduce1: State::Action::Reduce, reduce2: State::Action::Reduce) -> void
+      def initialize: (symbols: Array[Grammar::Symbol], reduce1: State::Action::Reduce, reduce2: State::Action::Reduce) -> void
+
+      # @rbs () -> :reduce_reduce
+      def type: () -> :reduce_reduce
+    end
+  end
+end