ibex 0.1.0 → 0.2.0

data/sig/ibex/frontend/generated_parser.rbs

@@ -5,6 +5,12 @@ module Ibex
     class GeneratedParser < Ibex::Frontend::GeneratedParserBase
       PARSER_TABLE_FORMAT_VERSION: ::Integer
 
+      GRAMMAR_DIGEST: untyped
+
+      STATE_COUNT: ::Integer
+
+      PRODUCTION_COUNT: ::Integer
+
       TOKEN_IDS: untyped
 
       TOKEN_NAMES: untyped
@@ -15,149 +21,293 @@ module Ibex
 
       DEFAULT_ACTIONS: untyped
 
+      # @type var eager_reductions: Hash[Integer, [:reduce, Integer]]
+      EAGER_REDUCTIONS: Hash[Integer, [ :reduce, Integer ]]
+
       PRODUCTIONS: untyped
 
+      # @type var error_messages: Hash[Integer, String | { id: String, message: String }]
+      ERROR_MESSAGES: Hash[Integer, String | { id: String, message: String }]
+
       PARSER_TABLES: untyped
 
       def self.parser_tables: () -> untyped
 
       DEBUG_ENABLED: bool
 
-      private def _ibex_action_0: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_0: (untyped v0) -> untyped
+
+      private def _ibex_action_1: (untyped v0) -> untyped
+
+      private def _ibex_action_2: (untyped val) -> untyped
+
+      private def _ibex_action_3: (untyped val) -> untyped
+
+      private def _ibex_action_4: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_5: (untyped val) -> untyped
+
+      private def _ibex_action_6: () -> untyped
+
+      private def _ibex_action_7: (untyped v0) -> untyped
+
+      private def _ibex_action_8: (untyped v0) -> untyped
+
+      private def _ibex_action_9: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_10: () -> untyped
+
+      private def _ibex_action_11: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_14: () -> untyped
+
+      private def _ibex_action_15: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_16: (untyped v0) -> untyped
+
+      private def _ibex_action_17: (untyped v0) -> untyped
+
+      private def _ibex_action_18: (untyped v0) -> untyped
+
+      private def _ibex_action_19: (untyped v0) -> untyped
+
+      private def _ibex_action_20: (untyped v0) -> untyped
+
+      private def _ibex_action_21: (untyped v0) -> untyped
+
+      private def _ibex_action_22: (untyped v0) -> untyped
+
+      private def _ibex_action_23: (untyped v0) -> untyped
+
+      private def _ibex_action_24: (untyped v0) -> untyped
+
+      private def _ibex_action_25: (untyped v0) -> untyped
+
+      private def _ibex_action_26: (untyped v0) -> untyped
+
+      private def _ibex_action_27: (untyped v0) -> untyped
+
+      private def _ibex_action_28: (untyped v0) -> untyped
+
+      private def _ibex_action_29: (untyped v0) -> untyped
+
+      private def _ibex_action_30: (untyped v0) -> untyped
+
+      private def _ibex_action_31: (untyped v0) -> untyped
+
+      private def _ibex_action_32: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_33: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_34: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_35: () -> untyped
+
+      private def _ibex_action_36: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_37: (untyped v0) -> untyped
+
+      private def _ibex_action_38: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_39: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_40: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_41: () -> untyped
+
+      private def _ibex_action_42: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_43: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_44: (untyped v0) -> untyped
+
+      private def _ibex_action_45: (untyped v0) -> untyped
+
+      private def _ibex_action_46: (untyped v0) -> untyped
+
+      private def _ibex_action_47: (untyped v0) -> untyped
+
+      private def _ibex_action_48: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_49: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_50: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_51: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_52: (untyped val) -> untyped
+
+      private def _ibex_action_53: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_54: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_55: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_56: () -> untyped
+
+      private def _ibex_action_57: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_58: (untyped v0) -> untyped
+
+      private def _ibex_action_59: (untyped v0) -> untyped
+
+      private def _ibex_action_60: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_61: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_62: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_63: (untyped v0) -> untyped
+
+      private def _ibex_action_64: (untyped v0) -> untyped
+
+      private def _ibex_action_65: () -> untyped
+
+      private def _ibex_action_66: (untyped v0) -> untyped
+
+      private def _ibex_action_67: (untyped val) -> untyped
+
+      private def _ibex_action_68: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_69: () -> untyped
+
+      private def _ibex_action_70: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_71: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_1: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_72: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_2: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_73: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_3: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_74: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_4: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_75: () -> untyped
 
-      private def _ibex_action_7: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_76: (untyped v0) -> untyped
 
-      private def _ibex_action_8: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_77: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_9: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_78: () -> untyped
 
-      private def _ibex_action_10: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_79: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_11: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_80: () -> untyped
 
-      private def _ibex_action_12: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_81: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_13: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_82: (untyped v0) -> untyped
 
-      private def _ibex_action_14: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_83: (untyped v0) -> untyped
 
-      private def _ibex_action_15: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_84: (untyped v0) -> untyped
 
-      private def _ibex_action_16: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_85: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_17: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_86: (untyped val) -> untyped
 
-      private def _ibex_action_18: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_87: () -> untyped
 
-      private def _ibex_action_19: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_88: (untyped v0) -> untyped
 
-      private def _ibex_action_20: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_89: () -> untyped
 
-      private def _ibex_action_21: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_90: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_22: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_91: (untyped v0) -> untyped
 
-      private def _ibex_action_23: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_92: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_24: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_95: (untyped v0) -> untyped
 
-      private def _ibex_action_25: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_96: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_26: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_27: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_98: () -> untyped
 
-      private def _ibex_action_28: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_99: (untyped val) -> untyped
 
-      private def _ibex_action_29: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_100: () -> untyped
 
-      private def _ibex_action_30: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_101: (untyped v0) -> untyped
 
-      private def _ibex_action_31: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_102: () -> untyped
 
-      private def _ibex_action_32: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_103: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_33: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_104: () -> untyped
 
-      private def _ibex_action_34: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_105: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_35: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_106: (untyped v0) -> untyped
 
-      private def _ibex_action_36: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_107: (untyped v0) -> untyped
 
-      private def _ibex_action_37: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_108: (untyped v0) -> untyped
 
-      private def _ibex_action_38: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_109: (untyped v0) -> untyped
 
-      private def _ibex_action_39: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_110: (untyped v0) -> untyped
 
-      private def _ibex_action_42: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_111: (untyped v0) -> untyped
 
-      private def _ibex_action_43: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_112: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_44: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_113: (untyped val) -> untyped
 
-      private def _ibex_action_45: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_114: () -> untyped
 
-      private def _ibex_action_46: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_115: (untyped v0) -> untyped
 
-      private def _ibex_action_47: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_116: (untyped v0) -> untyped
 
-      private def _ibex_action_48: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_117: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_49: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_118: (untyped v0) -> untyped
 
-      private def _ibex_action_50: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_119: (untyped v0) -> untyped
 
-      private def _ibex_action_51: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_120: (untyped v0) -> untyped
 
-      private def _ibex_action_52: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_121: (untyped v0) -> untyped
 
-      private def _ibex_action_53: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_122: () -> untyped
 
-      private def _ibex_action_54: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_123: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_55: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_124: () -> untyped
 
-      private def _ibex_action_56: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_125: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_57: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_126: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_58: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_127: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_59: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_128: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
 
-      private def _ibex_action_60: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_129: (untyped v0) -> untyped
 
-      private def _ibex_action_61: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_130: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_62: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_131: () -> untyped
 
-      private def _ibex_action_63: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_132: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_64: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_133: (untyped v0) -> untyped
 
-      private def _ibex_action_65: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_134: (untyped v0) -> untyped
 
-      private def _ibex_action_66: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_135: (untyped v0) -> untyped
 
-      private def _ibex_action_67: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_136: (untyped v0) -> untyped
 
-      private def _ibex_action_68: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_137: (untyped val) -> untyped
 
-      private def _ibex_action_69: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_138: (untyped val) -> untyped
 
-      private def _ibex_action_70: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_139: () -> untyped
 
-      private def _ibex_action_71: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_140: (untyped v0, untyped v1) -> untyped
     end
   end
 end

data/sig/ibex/frontend/generated_parser_base.rbs

@@ -3,7 +3,16 @@
 module Ibex
   module Frontend
     # Semantic support and token delivery for the generated grammar parser.
+    # rubocop:disable Metrics/ClassLength -- generated grammar semantics share one parser support surface.
     class GeneratedParserBase < Runtime::Parser
+      include GeneratedParserMetadata
+
+      include GeneratedParserIncludes
+
+      include GeneratedParserParameters
+
+      attr_reader diagnostic_token: Token?
+
       @mode: Symbol
 
       @adapter: TokenAdapter
@@ -11,8 +20,8 @@ module Ibex
       # @rbs (Array[Token] tokens, ?mode: Symbol) -> void
       def initialize: (Array[Token] tokens, ?mode: Symbol) -> void
 
-      # @rbs () -> AST::Root
-      def parse: () -> AST::Root
+      # @rbs () -> (AST::Root | AST::Fragment)
+      def parse: () -> (AST::Root | AST::Fragment)
 
       # @rbs () -> ([external_token, Token] | false)
       def next_token: () -> ([ external_token, Token ] | false)
@@ -41,8 +50,14 @@ module Ibex
       #   Array[AST::declaration] declarations, Array[AST::Rule] rules, AST::user_code user_code) -> AST::Root
       def build_root: (Token class_token, Array[String] class_parts, Array[String]? superclass, Array[AST::declaration] declarations, Array[AST::Rule] rules, AST::user_code user_code) -> AST::Root
 
-      # @rbs (Token keyword, Array[String] names) -> AST::Tokens
-      def build_tokens: (Token keyword, Array[String] names) -> AST::Tokens
+      # @rbs (Token keyword, Array[[String, String?]] entries) -> AST::Tokens
+      def build_tokens: (Token keyword, Array[[ String, String? ]] entries) -> AST::Tokens
+
+      # @rbs (Token token) -> [String, nil]
+      def build_token_entry: (Token token) -> [ String, nil ]
+
+      # @rbs (Token name, Token value) -> [String, String]
+      def build_token_alias: (Token name, Token value) -> [ String, String ]
 
       # @rbs (Token keyword, Symbol direction, Array[AST::PrecedenceLevel] levels) -> AST::Precedence
       def build_precedence: (Token keyword, Symbol direction, Array[AST::PrecedenceLevel] levels) -> AST::Precedence
@@ -56,8 +71,35 @@ module Ibex
       # @rbs (Token keyword, Token integer) -> AST::Expect
       def build_expect: (Token keyword, Token integer) -> AST::Expect
 
-      # @rbs (Token keyword, String name) -> AST::Start
-      def build_start: (Token keyword, String name) -> AST::Start
+      # @rbs (Token keyword, Token integer) -> AST::ExpectRR
+      def build_expect_rr: (Token keyword, Token integer) -> AST::ExpectRR
+
+      # @rbs (Token keyword, Token name, Token? type) -> AST::Parameter
+      def build_parameter: (Token keyword, Token name, Token? type) -> AST::Parameter
+
+      # @rbs (Token keyword, Token symbol, Token action) -> AST::Printer
+      def build_printer: (Token keyword, Token symbol, Token action) -> AST::Printer
+
+      # @rbs (Token keyword, Array[String] names) -> AST::Start
+      def build_start: (Token keyword, Array[String] names) -> AST::Start
+
+      # @rbs (Token keyword, Token kind, Array[String] sync_tokens) -> AST::Recovery
+      def build_recovery: (Token keyword, Token kind, Array[String] sync_tokens) -> AST::Recovery
+
+      # @rbs (Token keyword, Array[String] names) -> AST::OnErrorReduce
+      def build_on_error_reduce: (Token keyword, Array[String] names) -> AST::OnErrorReduce
+
+      # @rbs (Token keyword, Token expectation, Token source) -> AST::GrammarTest
+      def build_grammar_test: (Token keyword, Token expectation, Token source) -> AST::GrammarTest
+
+      # @rbs (Token keyword, Array[AST::lexer_entry] entries) -> AST::Lexer
+      def build_lexer: (Token keyword, Array[AST::lexer_entry] entries) -> AST::Lexer
+
+      # @rbs (Symbol kind, Token? name, Token pattern, Token? action, Token marker) -> AST::LexerRule
+      def build_lexer_rule: (Symbol kind, Token? name, Token pattern, Token? action, Token marker) -> AST::LexerRule
+
+      # @rbs (Token marker, Token name, Array[AST::lexer_entry] entries) -> AST::LexerState
+      def build_lexer_state: (Token marker, Token name, Array[AST::lexer_entry] entries) -> AST::LexerState
 
       # @rbs (Token keyword, Array[AST::Conversion] pairs) -> AST::Convert
       def build_convert: (Token keyword, Array[AST::Conversion] pairs) -> AST::Convert
@@ -65,11 +107,14 @@ module Ibex
       # @rbs (Token name_token, Token literal_token) -> AST::Conversion
       def build_conversion: (Token name_token, Token literal_token) -> AST::Conversion
 
-      # @rbs (Token lhs, Array[AST::Alternative] alternatives) -> AST::Rule
-      def build_rule: (Token lhs, Array[AST::Alternative] alternatives) -> AST::Rule
+      # @rbs (Array[AST::item] items, Token? precedence, AST::NodeAnnotation? node_annotation) -> AST::Alternative
+      def build_alternative: (Array[AST::item] items, Token? precedence, AST::NodeAnnotation? node_annotation) -> AST::Alternative
+
+      # @rbs (Token marker, Token name, Array[Token] fields) -> AST::NodeAnnotation
+      def build_node_annotation: (Token marker, Token name, Array[Token] fields) -> AST::NodeAnnotation
 
-      # @rbs (Array[AST::item] items, Token? precedence) -> AST::Alternative
-      def build_alternative: (Array[AST::item] items, Token? precedence) -> AST::Alternative
+      # @rbs (Token token) -> AST::Empty
+      def build_empty: (Token token) -> AST::Empty
 
       # @rbs (AST::item? item) -> Location?
       def item_start_location: (AST::item? item) -> Location?
@@ -77,6 +122,9 @@ module Ibex
       # @rbs (Token token, [Token, Token]? named_reference, Array[Token] suffixes) -> AST::item
       def build_symbol_reference: (Token token, [ Token, Token ]? named_reference, Array[Token] suffixes) -> AST::item
 
+      # @rbs ([Token, Token]? named_reference) -> String?
+      def named_reference_value: ([ Token, Token ]? named_reference) -> String?
+
       # @rbs (Token token) -> AST::InlineAction
       def build_action: (Token token) -> AST::InlineAction
 
@@ -92,6 +140,9 @@ module Ibex
       # @rbs (AST::user_code blocks, Token token) -> AST::user_code
       def append_user_code: (AST::user_code blocks, Token token) -> AST::user_code
 
+      # @rbs (Token token, AST::user_code blocks) -> AST::user_code
+      def prepend_user_code: (Token token, AST::user_code blocks) -> AST::user_code
+
       # @rbs () -> AST::user_code
       def empty_user_code: () -> AST::user_code
 

data/sig/ibex/frontend/generated_parser_includes.rbs

@@ -0,0 +1,23 @@
+# Generated from lib/ibex/frontend/generated_parser_includes.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Semantic builders for fragment and include frontend nodes.
+    module GeneratedParserIncludes
+      private
+
+      # @rbs (Token keyword, Array[AST::declaration] declarations, Array[AST::Rule] rules,
+      #   AST::user_code user_code) -> AST::Fragment
+      def build_fragment: (Token keyword, Array[AST::declaration] declarations, Array[AST::Rule] rules, AST::user_code user_code) -> AST::Fragment
+
+      # @rbs (Token keyword, Token path) -> AST::Include
+      def build_include: (Token keyword, Token path) -> AST::Include
+
+      # @rbs (Array[AST::declaration] declarations) -> void
+      def reject_fragment_root_declarations: (Array[AST::declaration] declarations) -> void
+
+      # @rbs (AST::declaration declaration) -> String?
+      def fragment_root_declaration_name: (AST::declaration declaration) -> String?
+    end
+  end
+end

data/sig/ibex/frontend/generated_parser_metadata.rbs

@@ -0,0 +1,23 @@
+# Generated from lib/ibex/frontend/generated_parser_metadata.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Builds extended symbol metadata declarations for the generated grammar parser.
+    module GeneratedParserMetadata
+      private
+
+      # @rbs (Token keyword, Token name, Token value) -> AST::DisplayName
+      def build_display_name: (Token keyword, Token name, Token value) -> AST::DisplayName
+
+      # @rbs (Token keyword, Token name, Token value) -> AST::SemanticType
+      def build_semantic_type: (Token keyword, Token name, Token value) -> AST::SemanticType
+
+      # @rbs (singleton(AST::DisplayName) | singleton(AST::SemanticType) node_class,
+      #   Token keyword, Token name, Token value, String feature) -> (AST::DisplayName | AST::SemanticType)
+      def build_symbol_metadata: (singleton(AST::DisplayName) | singleton(AST::SemanticType) node_class, Token keyword, Token name, Token value, String feature) -> (AST::DisplayName | AST::SemanticType)
+
+      # @rbs (Token token, String feature) -> String
+      def decode_metadata_value: (Token token, String feature) -> String
+    end
+  end
+end

data/sig/ibex/frontend/generated_parser_parameters.rbs

@@ -0,0 +1,24 @@
+# Generated from lib/ibex/frontend/generated_parser_parameters.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Parameter-list and parameterized-reference builders for the generated frontend.
+    module GeneratedParserParameters
+      private
+
+      # @rbs (Token opening, Array[Token] parameters) -> [Token, Array[String]]
+      def build_rule_parameters: (Token opening, Array[Token] parameters) -> [ Token, Array[String] ]
+
+      # @rbs (Token? inline_marker, Token lhs, [Token, Array[String]]? parameter_clause,
+      #   Array[AST::Alternative] alternatives) -> AST::Rule
+      def build_rule: (Token? inline_marker, Token lhs, [ Token, Array[String] ]? parameter_clause, Array[AST::Alternative] alternatives) -> AST::Rule
+
+      # @rbs (Token callee, Token opening, Array[AST::item] arguments,
+      #   [Token, Token]? named_reference, Array[Token] suffixes) -> AST::item
+      def build_parameterized_reference: (Token callee, Token opening, Array[AST::item] arguments, [ Token, Token ]? named_reference, Array[Token] suffixes) -> AST::item
+
+      # @rbs (Token left, Token right, String message) -> void
+      def require_adjacency!: (Token left, Token right, String message) -> void
+    end
+  end
+end

data/sig/ibex/frontend/generation.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex/frontend/generation.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+  end
+end