lrama 0.6.0 → 0.6.2

data/lib/lrama/grammar/parameterizing_rules/builder/nonempty_list.rb

@@ -1,28 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        # Builder for nonempty list of general parameterizing rules
-        class NonemptyList < Base
-
-          # program: nonempty_list(number)
-          #
-          # =>
-          #
-          # program: nonempty_list_number
-          # nonempty_list_number: number
-          # nonempty_list_number: nonempty_list_number number
-          def build
-            validate_argument_number!
-
-            rules = []
-            @build_token = Lrama::Lexer::Token::Ident.new(s_value: "nonempty_list_#{@token.s_value}")
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [@token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [@build_token, @token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules
-          end
-        end
-      end
-    end
-  end
-end

data/lib/lrama/grammar/parameterizing_rules/builder/option.rb

@@ -1,28 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        # Builder for option of general parameterizing rules
-        class Option < Base
-
-          # program: option(number)
-          #
-          # =>
-          #
-          # program: option_number
-          # option_number: ε
-          # option_number: number
-          def build
-            validate_argument_number!
-
-            rules = []
-            @build_token = Lrama::Lexer::Token::Ident.new(s_value: "option_#{@token.s_value}")
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [@token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules
-          end
-        end
-      end
-    end
-  end
-end

data/lib/lrama/grammar/parameterizing_rules/builder/separated_list.rb

@@ -1,39 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        # Builder for separated list of general parameterizing rules
-        class SeparatedList < Base
-          def initialize(token, rule_counter, lhs_tag, user_code, precedence_sym, line)
-            super
-            @separator = @args[0]
-            @token = @args[1]
-            @expected_argument_num = 2
-          end
-
-          # program: separated_list(',', number)
-          #
-          # =>
-          #
-          # program: separated_list_number
-          # separated_list_number: ε
-          # separated_list_number: separated_nonempty_list_number
-          # separated_nonempty_list_number: number
-          # separated_nonempty_list_number: separated_nonempty_list_number ',' number
-          def build
-            validate_argument_number!
-
-            rules = []
-            @build_token = Lrama::Lexer::Token::Ident.new(s_value: "separated_list_#{@token.s_value}")
-            separated_nonempty_list_token = Lrama::Lexer::Token::Ident.new(s_value: "separated_nonempty_list_#{@token.s_value}")
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [separated_nonempty_list_token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: separated_nonempty_list_token, _rhs: [@token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: separated_nonempty_list_token, _rhs: [separated_nonempty_list_token, @separator, @token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules
-          end
-        end
-      end
-    end
-  end
-end

data/lib/lrama/grammar/parameterizing_rules/builder/separated_nonempty_list.rb

@@ -1,34 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        # Builder for separated nonempty list of general parameterizing rules
-        class SeparatedNonemptyList < Base
-          def initialize(token, rule_counter, lhs_tag, user_code, precedence_sym, line)
-            super
-            @separator = @args[0]
-            @token = @args[1]
-            @expected_argument_num = 2
-          end
-
-          # program: separated_nonempty_list(',', number)
-          #
-          # =>
-          #
-          # program: separated_nonempty_list_number
-          # separated_nonempty_list_number: number
-          # separated_nonempty_list_number: separated_nonempty_list_number ',' number
-          def build
-            validate_argument_number!
-
-            rules = []
-            @build_token = Lrama::Lexer::Token::Ident.new(s_value: "separated_nonempty_list_#{@token.s_value}")
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [@token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules << Rule.new(id: @rule_counter.increment, _lhs: @build_token, _rhs: [@build_token, @separator, @token], lhs_tag: @lhs_tag, token_code: @user_code, precedence_sym: @precedence_sym, lineno: @line)
-            rules
-          end
-        end
-      end
-    end
-  end
-end

data/lib/lrama/grammar/parameterizing_rules/builder.rb

@@ -1,60 +0,0 @@
-require 'lrama/grammar/parameterizing_rules/builder/base'
-require 'lrama/grammar/parameterizing_rules/builder/list'
-require 'lrama/grammar/parameterizing_rules/builder/nonempty_list'
-require 'lrama/grammar/parameterizing_rules/builder/option'
-require 'lrama/grammar/parameterizing_rules/builder/separated_nonempty_list'
-require 'lrama/grammar/parameterizing_rules/builder/separated_list'
-
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      # Builder for parameterizing rules
-      class Builder
-        RULES = {
-          option: Lrama::Grammar::ParameterizingRules::Builder::Option,
-          "?": Lrama::Grammar::ParameterizingRules::Builder::Option,
-          nonempty_list: Lrama::Grammar::ParameterizingRules::Builder::NonemptyList,
-          "+": Lrama::Grammar::ParameterizingRules::Builder::NonemptyList,
-          list: Lrama::Grammar::ParameterizingRules::Builder::List,
-          "*": Lrama::Grammar::ParameterizingRules::Builder::List,
-          separated_nonempty_list: Lrama::Grammar::ParameterizingRules::Builder::SeparatedNonemptyList,
-          separated_list: Lrama::Grammar::ParameterizingRules::Builder::SeparatedList,
-        }
-
-        def initialize(token, rule_counter, lhs_tag, user_code, precedence_sym, line)
-          @token = token
-          @key = token.s_value.to_sym
-          @rule_counter = rule_counter
-          @lhs_tag = lhs_tag
-          @user_code = user_code
-          @precedence_sym = precedence_sym
-          @line = line
-          @builder = nil
-        end
-
-        def build
-          create_builder
-          @builder.build
-        end
-
-        def build_token
-          create_builder
-          @builder.build_token
-        end
-
-        private
-
-        def create_builder
-          unless @builder
-            validate_key!
-            @builder = RULES[@key].new(@token, @rule_counter, @lhs_tag, @user_code, @precedence_sym, @line)
-          end
-        end
-
-        def validate_key!
-          raise "Parameterizing rule does not exist. `#{@key}`" unless RULES.key?(@key)
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rule_builder.rbs

@@ -1,19 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRuleBuilder
-      attr_reader name: String
-      attr_reader parameters: Array[Lexer::Token]
-      attr_reader rhs: Array[Grammar::ParameterizingRuleRhsBuilder]
-
-      @required_parameters_count: Integer
-
-      def initialize: (String name, Array[Lexer::Token] parameters, Array[Grammar::ParameterizingRuleRhsBuilder] rhs) -> void
-      def build_rules: (Lexer::Token::InstantiateRule token, Array[Lexer::Token] actual_args, Counter rule_counter, untyped lhs_tag, Integer? line, Array[ParameterizingRuleBuilder] rule_builders) -> Array[Grammar::ParameterizingRule]
-
-      private
-
-      def validate_argument_number!: (Lexer::Token::InstantiateRule token) -> void
-      def lhs: (Array[Lexer::Token] actual_args) -> Lexer::Token
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rule_resolver.rbs

@@ -1,16 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRuleResolver
-      @parameterizing_rule_builders: Array[Grammar::ParameterizingRuleBuilder]
-
-      def initialize: () -> void
-      def add_parameterizing_rule_builder: (Grammar::ParameterizingRuleBuilder builder) -> void
-      def defined?: (String) -> bool
-      def build_rules: (Lexer::Token::InstantiateRule token, Counter rule_counter, untyped lhs_tag, Integer? line) -> Array[Grammar::ParameterizingRule]
-
-      private
-
-      def rule_builders: (String) -> Array[Grammar::ParameterizingRuleBuilder]
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rule_rhs_builder.rbs

@@ -1,18 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRuleRhsBuilder
-      attr_reader symbols: Array[untyped]
-      attr_reader user_code: Lexer::Token::UserCode?
-      attr_reader precedence_sym: Lexer::Token?
-
-      def initialize: () -> void
-      def build_rules: (Lexer::Token::InstantiateRule token, Array[Lexer::Token] actual_args, Array[Lexer::Token] parameters, Counter rule_counter, Lexer::Token lhs, untyped lhs_tag, Integer? line, Array[ParameterizingRuleBuilder] rule_builders) -> Grammar::ParameterizingRule
-
-      private
-
-      def build_nested_rules: (Lexer::Token::InstantiateRule token, Array[Lexer::Token] actual_args, Array[Lexer::Token] parameters, Counter rule_counter, untyped lhs_tag, Integer? line, Array[ParameterizingRuleBuilder] rule_builders) -> Array[Grammar::ParameterizingRule]
-      def nested_actual_args: (Array[Lexer::Token] actual_args, Array[Lexer::Token] parameters, Integer idx) -> Array[Lexer::Token]
-      def rhs: (Lexer::Token token, Array[Lexer::Token] actual_args, Array[Lexer::Token] parameters, ParameterizingRule? nested_rule) -> Array[Lexer::Token]
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/base.rbs

@@ -1,28 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class Base
-          attr_reader build_token: Lexer::Token::Ident
-
-          def initialize: (Lexer::Token::InstantiateRule token, Counter rule_counter, untyped lhs_tag, Lexer::Token::UserCode? user_code, Lexer::Token? precedence_sym, Integer? line) -> void
-          def build: () -> Array[Rule]
-
-          @args: Array[Lexer::Token]
-          @token: Lexer::Token::InstantiateRule
-          @key: Symbol
-          @rule_counter: Counter
-          @lhs_tag: untyped
-          @user_code: Lexer::Token::UserCode?
-          @precedence_sym: Lexer::Token?
-          @line: Integer?
-          @expected_argument_num: Integer
-
-          private
-
-          def validate_argument_number!: () -> void
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/list.rbs

@@ -1,10 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class List < Base
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/nonempty_list.rbs

@@ -1,10 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class NonemptyList < Base
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/option.rbs

@@ -1,10 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class Option < Base
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/separated_list.rbs

@@ -1,13 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class SeparatedList < Base
-          @separator: Lexer::Token
-
-          def initialize: (Lexer::Token token, Counter rule_counter, untyped lhs_tag, Lexer::Token::UserCode? user_code, Lexer::Token? precedence_sym, Integer? line) -> void
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder/separated_nonempty_list.rbs

@@ -1,13 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        class SeparatedNonemptyList < Base
-          @separator: Lexer::Token
-
-          def initialize: (Lexer::Token token, Counter rule_counter, untyped lhs_tag, Lexer::Token::UserCode? user_code, Lexer::Token? precedence_sym, Integer? line) -> void
-        end
-      end
-    end
-  end
-end

data/sig/lrama/grammar/parameterizing_rules/builder.rbs

@@ -1,24 +0,0 @@
-module Lrama
-  class Grammar
-    class ParameterizingRules
-      class Builder
-        RULES: Hash[Symbol, singleton(Base)]
-
-        @token: Lexer::Token::InstantiateRule
-        @key: Symbol
-        @rule_counter: Counter
-        @lhs_tag: untyped
-        @user_code: Lexer::Token::UserCode?
-        @precedence_sym: Lexer::Token?
-        @line: Integer?
-        @builder: Grammar::ParameterizingRules::Builder::Base
-
-        def initialize: (Lexer::Token token, Counter rule_counter, untyped lhs_tag, Lexer::Token::UserCode? user_code, Lexer::Token? precedence_sym, Integer? line) -> void
-        def build: () -> Array[Rule]
-        def build_token: () -> Lexer::Token
-        def create_builder: () -> void
-        def validate_key!: () -> void
-      end
-    end
-  end
-end