lrama 0.7.0 → 0.7.1

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