lrama 0.6.11 → 0.7.1

data/sig/lrama/lexer/grammar_file.rbs

@@ -1,17 +0,0 @@
-module Lrama
-  class Lexer
-    class GrammarFile
-      class Text < String
-      end
-      attr_reader path: String
-      attr_reader text: String
-
-      @lines: Array[String]
-
-      def initialize: (String path, String text) -> void
-
-      def ==: (GrammarFile other) -> bool
-      def lines: () -> Array[String]
-    end
-  end
-end

data/sig/lrama/lexer/location.rbs

@@ -1,26 +0,0 @@
-module Lrama
-  class Lexer
-    class Location
-      attr_reader grammar_file: GrammarFile
-      attr_reader first_line: Integer
-      attr_reader first_column: Integer
-      attr_reader last_line: Integer
-      attr_reader last_column: Integer
-
-      def initialize: (grammar_file: GrammarFile, first_line: Integer, first_column: Integer, last_line: Integer, last_column: Integer) -> void
-
-      def ==: (Location other) -> bool
-      def partial_location: (Integer, Integer) -> Location
-      def generate_error_message: (String) -> String
-      def line_with_carets: () -> String
-
-      private
-
-      def path: () -> String
-      def blanks: () -> String
-      def carets: () -> String
-      def text: () -> String
-      def _text: () -> Array[String]
-    end
-  end
-end

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

@@ -1,8 +0,0 @@
-module Lrama
-  class Lexer
-    class Token
-      class Char < Token
-      end
-    end
-  end
-end

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

@@ -1,8 +0,0 @@
-module Lrama
-  class Lexer
-    class Token
-      class Ident < Token
-      end
-    end
-  end
-end

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

@@ -1,14 +0,0 @@
-module Lrama
-  class Lexer
-    class Token
-      class InstantiateRule < Token
-        attr_reader args: Array[Lexer::Token]
-        attr_reader lhs_tag: Lexer::Token::Tag?
-
-        def initialize: (s_value: String, ?alias_name: String, ?location: Location, ?args: Array[Lexer::Token], ?lhs_tag: Lexer::Token::Tag?) -> void
-        def rule_name: () -> String
-        def args_count: () -> Integer
-      end
-    end
-  end
-end

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

@@ -1,9 +0,0 @@
-module Lrama
-  class Lexer
-    class Token
-      class Tag < Token
-        def member: () -> String
-      end
-    end
-  end
-end

data/sig/lrama/lexer/token.rbs

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

data/sig/lrama/report/duration.rbs

@@ -1,11 +0,0 @@
-module Lrama
-  class Report
-    module Duration
-      self.@_report_duration_enabled: bool | nil
-
-      def self.enable: -> void
-      def self.enabled?: -> bool
-      def report_duration: [T] (_ToS method_name) { -> T } -> T
-    end
-  end
-end

data/sig/lrama/report/profile.rbs

@@ -1,7 +0,0 @@
-module Lrama
-  class Report
-    module Profile
-      def self.report_profile: { -> void } -> StackProf::result
-    end
-  end
-end

data/sig/lrama/state/reduce.rbs

@@ -1,20 +0,0 @@
-module Lrama
-  class State
-    class Reduce
-      @item: States::Item
-      @look_ahead: Array[Grammar::Symbol]?
-      @not_selected_symbols: Array[Grammar::Symbol]
-
-      attr_reader item: States::Item
-      attr_reader look_ahead: Array[Grammar::Symbol]?
-      attr_reader not_selected_symbols: Array[Grammar::Symbol]
-      attr_accessor default_reduction: bool
-
-      def initialize: (States::Item item) -> void
-      def rule: -> Grammar::Rule
-      def look_ahead=: (Array[Grammar::Symbol] look_ahead) -> Array[Grammar::Symbol]
-      def add_not_selected_symbol: (Grammar::Symbol sym) -> Array[Grammar::Symbol]
-      def selected_look_ahead: () -> (::Array[Grammar::Symbol?])
-    end
-  end
-end

data/sig/lrama/state/reduce_reduce_conflict.rbs

@@ -1,13 +0,0 @@
-module Lrama
-  class State
-    class ReduceReduceConflict
-      attr_accessor symbols: Array[Grammar::Symbol]
-      attr_accessor reduce1: State::Reduce
-      attr_accessor reduce2: State::Reduce
-
-      def initialize: (?symbols: Array[Grammar::Symbol], ?reduce1: State::Reduce, ?reduce2: State::Reduce) -> void
-
-      def type: () -> :reduce_reduce
-    end
-  end
-end

data/sig/lrama/state/resolved_conflict.rbs

@@ -1,14 +0,0 @@
-module Lrama
-  class State
-    class ResolvedConflict
-      attr_accessor symbol: Grammar::Symbol
-      attr_accessor reduce: State::Reduce
-      attr_accessor which: (:reduce | :shift)
-      attr_accessor same_prec: bool
-
-      def initialize: (?symbol: Grammar::Symbol, ?reduce: State::Reduce, ?which: (:reduce | :shift), ?same_prec: bool) -> void
-
-      def report_message: () -> (::String | bot)
-    end
-  end
-end

data/sig/lrama/state/shift.rbs

@@ -1,14 +0,0 @@
-module Lrama
-  class State
-    class Shift
-      @next_sym: Grammar::Symbol
-      @next_items: Array[States::Item]
-
-      attr_reader next_sym: Grammar::Symbol
-      attr_reader next_items: Array[States::Item]
-      attr_accessor not_selected: bool
-
-      def initialize: (Grammar::Symbol next_sym, Array[States::Item] next_items) -> void
-    end
-  end
-end

data/sig/lrama/state/shift_reduce_conflict.rbs

@@ -1,13 +0,0 @@
-module Lrama
-  class State
-    class ShiftReduceConflict
-      attr_accessor symbols: Array[Grammar::Symbol]
-      attr_accessor shift: State::Shift
-      attr_accessor reduce: State::Reduce
-
-      def initialize: (?symbols: Array[Grammar::Symbol], ?shift: State::Shift, ?reduce: State::Reduce) -> void
-
-      def type: () -> :shift_reduce
-    end
-  end
-end

data/sig/lrama/state.rbs

@@ -1,79 +0,0 @@
-module Lrama
-  class State
-    @id: untyped
-
-    @accessing_symbol: untyped
-
-    @kernels: untyped
-
-    @items: Array[States::Item]
-
-    @items_to_state: untyped
-
-    @conflicts: Array[State::ShiftReduceConflict|State::ReduceReduceConflict]
-
-    @resolved_conflicts: untyped
-
-    @default_reduction_rule: untyped
-
-    @closure: untyped
-
-    @nterm_transitions: untyped
-
-    @term_transitions: untyped
-
-    @transitions: Array[[Shift, State]]
-
-    attr_reader id: untyped
-
-    attr_reader accessing_symbol: untyped
-
-    attr_reader kernels: untyped
-
-    attr_reader conflicts: Array[State::ShiftReduceConflict|State::ReduceReduceConflict]
-
-    attr_reader resolved_conflicts: untyped
-
-    attr_reader default_reduction_rule: untyped
-
-    attr_reader closure: untyped
-
-    attr_reader items: Array[States::Item]
-
-    attr_accessor shifts: Array[Shift]
-
-    attr_accessor reduces: untyped
-
-    def initialize: (untyped id, untyped accessing_symbol, Array[States::Item] kernels) -> void
-
-    def closure=: (untyped closure) -> untyped
-
-    def non_default_reduces: () -> untyped
-
-    def compute_shifts_reduces: () -> untyped
-
-    def set_items_to_state: (untyped items, untyped next_state) -> untyped
-
-    def set_look_ahead: (untyped rule, untyped look_ahead) -> untyped
-
-    def nterm_transitions: () -> untyped
-
-    def term_transitions: () -> untyped
-
-    def transitions: () -> Array[[Shift, State]]
-
-    def selected_term_transitions: () -> untyped
-
-    def transition: (untyped sym) -> untyped
-
-    def find_reduce_by_item!: (untyped item) -> untyped
-
-    def default_reduction_rule=: (untyped default_reduction_rule) -> untyped
-
-    def has_conflicts?: () -> untyped
-
-    def sr_conflicts: () -> untyped
-
-    def rr_conflicts: () -> untyped
-  end
-end

data/sig/lrama/states/item.rbs

@@ -1,30 +0,0 @@
-module Lrama
-  class States
-    class Item
-      extend Forwardable
-      include Grammar::Rule::_DelegatedMethods
-
-      attr_accessor rule: Grammar::Rule
-      attr_accessor position: Integer
-
-      def initialize: (?rule: Grammar::Rule, ?position: Integer) -> void
-
-      def hash: () -> Integer
-      def rule_id: () -> Integer
-      def empty_rule?: () -> bool
-      def number_of_rest_symbols: () -> Integer
-      def next_sym: () -> Grammar::Symbol
-      def next_next_sym: () -> Grammar::Symbol
-      def previous_sym: () -> Grammar::Symbol
-      def end_of_rule?: () -> bool
-      def beginning_of_rule?: () -> bool
-      def start_item?: () -> bool
-      def new_by_next_position: () -> States::Item
-      def symbols_before_dot: () -> Array[Grammar::Symbol]
-      def symbols_after_dot: () -> Array[Grammar::Symbol]
-      def to_s: () -> ::String
-      def display_name: () -> ::String
-      def display_rest: () -> ::String
-    end
-  end
-end

data/sig/lrama/states.rbs

@@ -1,101 +0,0 @@
-module Lrama
-  class States
-    include Grammar::_DelegatedMethods
-
-    @grammar: untyped
-
-    @warning: untyped
-
-    @trace_state: untyped
-
-    @states: Array[State]
-
-    @direct_read_sets: untyped
-
-    @reads_relation: untyped
-
-    @read_sets: untyped
-
-    @includes_relation: untyped
-
-    @lookback_relation: untyped
-
-    @follow_sets: untyped
-
-    @la: untyped
-
-    extend Forwardable
-
-    include Lrama::Report::Duration
-
-    attr_reader states: Array[State]
-
-    attr_reader reads_relation: untyped
-
-    attr_reader includes_relation: untyped
-
-    attr_reader lookback_relation: untyped
-
-    def initialize: (untyped grammar, untyped warning, ?trace_state: bool) -> void
-
-    def compute: () -> untyped
-
-    def reporter: () -> untyped
-
-    def states_count: () -> untyped
-
-    def direct_read_sets: () -> untyped
-
-    def read_sets: () -> untyped
-
-    def follow_sets: () -> untyped
-
-    def la: () -> untyped
-
-    private
-
-    def sr_conflicts: () -> untyped
-
-    def rr_conflicts: () -> untyped
-
-    def trace_state: () { (untyped) -> untyped } -> (untyped | nil)
-
-    def create_state: (untyped accessing_symbol, untyped kernels, untyped states_created) -> (::Array[untyped | false] | ::Array[untyped | true])
-
-    def setup_state: (untyped state) -> untyped
-
-    def enqueue_state: (untyped states, untyped state) -> untyped
-
-    def compute_lr0_states: () -> untyped
-
-    def nterm_transitions: () -> untyped
-
-    def compute_direct_read_sets: () -> untyped
-
-    def compute_reads_relation: () -> untyped
-
-    def compute_read_sets: () -> untyped
-
-    def transition: (untyped state, untyped symbols) -> untyped
-
-    def compute_includes_relation: () -> untyped
-
-    def compute_lookback_relation: () -> untyped
-
-    def compute_follow_sets: () -> untyped
-
-    def compute_look_ahead_sets: () -> untyped
-
-    def bitmap_to_terms: (untyped bit) -> untyped
-
-    def compute_conflicts: () -> untyped
-
-    def compute_shift_reduce_conflicts: () -> untyped
-
-    def compute_reduce_reduce_conflicts: () -> untyped
-
-    def compute_default_reduction: () -> untyped
-
-    def check_conflicts: () -> untyped
-  end
-end

data/sig/lrama/warning.rbs

@@ -1,16 +0,0 @@
-module Lrama
-  class Warning
-    interface _Appendable
-      def <<: (String message) -> self
-    end
-
-    @out: _Appendable
-
-    attr_reader errors: Array[String]
-    attr_reader warns: Array[String]
-    def initialize: (?_Appendable out) -> void
-    def error: (String message) -> void
-    def warn: (String message) -> void
-    def has_error?: -> bool
-  end
-end