ibex 0.1.0 → 0.3.0

data/sig/ibex/frontend/formatter.rbs

@@ -0,0 +1,143 @@
+# Generated from lib/ibex/frontend/formatter.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Deterministically formats grammar trivia and rejects any semantic change.
+    # rubocop:disable Metrics/ClassLength -- token layout policy stays together so adjacency rules remain auditable.
+    class Formatter
+      DECLARATION_STARTS: Array[Symbol]
+
+      ASSOCIATIONS: Array[Symbol]
+
+      CALLABLES: Array[Symbol]
+
+      SUFFIXES: Array[String]
+
+      CLOSERS: Array[String]
+
+      ADJACENT_AFTER: Array[String]
+
+      type formatter_element = { segment: Segment, external: external_token?, role: Symbol?, gap: Array[Segment] }
+
+      type formatter_state = { section: :declarations | :rules, precedence_closer: external_token?, conversion: bool, conversion_name: bool, parser: bool, parser_key: bool, depth: Integer, rule_colon: bool }
+
+      # @rbs (String source, ?file: String, ?mode: Symbol) -> String
+      def self.format: (String source, ?file: String, ?mode: Symbol) -> String
+
+      # @rbs (?mode: Symbol) -> void
+      def initialize: (?mode: Symbol) -> void
+
+      # @rbs (String source, ?file: String) -> String
+      def format: (String source, ?file: String) -> String
+
+      private
+
+      # @rbs (SourceDocument document) -> String
+      def render: (SourceDocument document) -> String
+
+      # @rbs (SourceDocument document) -> Array[formatter_element]
+      def build_elements: (SourceDocument document) -> Array[formatter_element]
+
+      # @rbs (Array[Token] tokens) -> Hash[Integer, external_token]
+      def external_types: (Array[Token] tokens) -> Hash[Integer, external_token]
+
+      # @rbs (Array[formatter_element] elements) -> void
+      def annotate_roles: (Array[formatter_element] elements) -> void
+
+      # @rbs (Array[formatter_element] elements) -> void
+      def annotate_comment_indentation: (Array[formatter_element] elements) -> void
+
+      # @rbs (external_token external, formatter_state state) -> Symbol?
+      def token_role: (external_token external, formatter_state state) -> Symbol?
+
+      # @rbs (external_token external, formatter_state state) -> Symbol?
+      def document_token_role: (external_token external, formatter_state state) -> Symbol?
+
+      # @rbs (external_token external, formatter_state state) -> Symbol?
+      def nested_declaration_role: (external_token external, formatter_state state) -> Symbol?
+
+      # @rbs (formatter_state state) -> Symbol?
+      def section_end_role: (formatter_state state) -> Symbol?
+
+      # @rbs (external_token external, formatter_state state) -> Symbol?
+      def rule_token_role: (external_token external, formatter_state state) -> Symbol?
+
+      # @rbs (external_token external, formatter_state state) -> Symbol
+      def precedence_role: (external_token external, formatter_state state) -> Symbol
+
+      # @rbs (external_token external, Symbol? role, formatter_state state) -> void
+      def advance_role_state: (external_token external, Symbol? role, formatter_state state) -> void
+
+      # @rbs (external_token external, Symbol? role, formatter_state state) -> void
+      def advance_parser_state: (external_token external, Symbol? role, formatter_state state) -> void
+
+      # @rbs (external_token external, Symbol? role, formatter_state state) -> void
+      def advance_precedence_state: (external_token external, Symbol? role, formatter_state state) -> void
+
+      # @rbs (external_token external, Symbol? role, formatter_state state) -> void
+      def advance_conversion_state: (external_token external, Symbol? role, formatter_state state) -> void
+
+      # @rbs (external_token external, Symbol? role, formatter_state state) -> void
+      def advance_rule_state: (external_token external, Symbol? role, formatter_state state) -> void
+
+      # @rbs (formatter_element? previous, formatter_element current) -> String
+      def separator: (formatter_element? previous, formatter_element current) -> String
+
+      # @rbs (formatter_element current, Array[Segment] gap) -> String
+      def leading_separator: (formatter_element current, Array[Segment] gap) -> String
+
+      # @rbs (formatter_element previous, Array[Segment] gap) -> String
+      def trailing_separator: (formatter_element previous, Array[Segment] gap) -> String
+
+      # @rbs (Segment previous, Segment current) -> bool
+      def direct_opaque_pair?: (Segment previous, Segment current) -> bool
+
+      # @rbs (Segment segment) -> bool
+      def comment?: (Segment segment) -> bool
+
+      # @rbs (formatter_element previous, formatter_element current, Array[Segment] gap) -> String
+      def comment_separator: (formatter_element previous, formatter_element current, Array[Segment] gap) -> String
+
+      # @rbs (formatter_element previous, formatter_element current) -> Symbol
+      def separator_kind: (formatter_element previous, formatter_element current) -> Symbol
+
+      # @rbs (external_token? previous_external, external_token? current_external,
+      #   Symbol? previous_role, Symbol? current_role) -> bool
+      def adjacent_tokens?: (external_token? previous_external, external_token? current_external, Symbol? previous_role, Symbol? current_role) -> bool
+
+      # @rbs (Symbol? previous_role, Symbol? current_role, formatter_element previous,
+      #   formatter_element current) -> bool
+      def line_boundary?: (Symbol? previous_role, Symbol? current_role, formatter_element previous, formatter_element current) -> bool
+
+      # @rbs (formatter_element element) -> Integer
+      def indentation: (formatter_element element) -> Integer
+
+      # @rbs (Symbol kind, Array[Segment] gap, Integer indentation) -> String
+      def render_separator: (Symbol kind, Array[Segment] gap, Integer indentation) -> String
+
+      # @rbs (Array[Segment] gap) -> bool
+      def newline_in?: (Array[Segment] gap) -> bool
+
+      # @rbs (String text) -> bool
+      def text_ends_with_newline?: (String text) -> bool
+
+      # @rbs (Object? left, Object? right) -> bool
+      def same_semantic_projection?: (Object? left, Object? right) -> bool
+
+      # @rbs (Object? left, Object? right) -> bool
+      def comparable_semantic_values?: (Object? left, Object? right) -> bool
+
+      # @rbs (Hash[Object?, Object?] left, Object? right) -> bool
+      def comparable_semantic_hashes?: (Hash[Object?, Object?] left, Object? right) -> bool
+
+      # @rbs (Array[[Object?, Object?]] pending, Object? left, Object? right) -> void
+      def append_semantic_children: (Array[[ Object?, Object? ]] pending, Object? left, Object? right) -> void
+
+      # @rbs (Struct[Object?] value) -> Array[Symbol]
+      def semantic_members: (Struct[Object?] value) -> Array[Symbol]
+
+      # @rbs (Hash[Object?, Object?] value) -> Array[Object?]
+      def semantic_keys: (Hash[Object?, Object?] value) -> Array[Object?]
+    end
+  end
+end

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,303 @@ 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
+
+      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 v0, untyped v1) -> untyped
+
+      private def _ibex_action_36: () -> untyped
+
+      private def _ibex_action_37: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_38: (untyped v0) -> untyped
+
+      private def _ibex_action_39: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_40: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_41: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_42: () -> untyped
+
+      private def _ibex_action_43: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_44: (untyped v0, untyped v1) -> 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
+
+      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
+
+      private def _ibex_action_52: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_53: (untyped val) -> 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 v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_57: () -> untyped
+
+      private def _ibex_action_58: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_59: (untyped v0) -> untyped
+
+      private def _ibex_action_60: (untyped v0) -> 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 v1, untyped v2) -> untyped
+
+      private def _ibex_action_64: (untyped v0) -> untyped
+
+      private def _ibex_action_65: (untyped v0) -> untyped
+
+      private def _ibex_action_66: () -> untyped
+
+      private def _ibex_action_67: (untyped v0) -> untyped
+
+      private def _ibex_action_68: (untyped val) -> untyped
+
+      private def _ibex_action_69: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_70: () -> untyped
+
+      private def _ibex_action_71: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_72: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_73: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_74: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_75: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_76: () -> untyped
 
-      private def _ibex_action_1: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_77: (untyped v0) -> untyped
 
-      private def _ibex_action_2: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_78: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_3: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_79: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_4: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_80: () -> untyped
 
-      private def _ibex_action_7: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_81: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_8: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_82: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_9: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_83: () -> untyped
 
-      private def _ibex_action_10: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_84: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_11: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_85: () -> untyped
 
-      private def _ibex_action_12: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_86: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_13: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_87: (untyped v0) -> untyped
 
-      private def _ibex_action_14: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_88: (untyped v0) -> untyped
 
-      private def _ibex_action_15: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_89: (untyped v0) -> untyped
 
-      private def _ibex_action_16: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_90: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_17: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_91: (untyped val) -> untyped
 
-      private def _ibex_action_18: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_92: () -> untyped
 
-      private def _ibex_action_19: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_93: (untyped v0) -> untyped
 
-      private def _ibex_action_20: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_94: () -> untyped
 
-      private def _ibex_action_21: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_95: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_22: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_96: (untyped v0) -> untyped
 
-      private def _ibex_action_23: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_24: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_100: (untyped v0) -> untyped
 
-      private def _ibex_action_25: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_101: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_26: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_102: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_27: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_103: () -> untyped
 
-      private def _ibex_action_28: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_104: (untyped val) -> untyped
 
-      private def _ibex_action_29: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_105: () -> untyped
 
-      private def _ibex_action_30: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_106: (untyped v0) -> untyped
 
-      private def _ibex_action_31: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_107: () -> untyped
 
-      private def _ibex_action_32: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_108: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_33: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_109: () -> untyped
 
-      private def _ibex_action_34: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_110: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_35: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_111: (untyped v0) -> untyped
 
-      private def _ibex_action_36: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_112: (untyped v0) -> untyped
 
-      private def _ibex_action_37: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_113: (untyped v0) -> untyped
 
-      private def _ibex_action_38: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_114: (untyped v0) -> untyped
 
-      private def _ibex_action_39: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_115: (untyped v0) -> untyped
 
-      private def _ibex_action_42: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_116: (untyped v0) -> untyped
 
-      private def _ibex_action_43: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_117: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_44: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_118: (untyped val) -> untyped
 
-      private def _ibex_action_45: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_119: () -> untyped
 
-      private def _ibex_action_46: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_120: (untyped v0) -> untyped
 
-      private def _ibex_action_47: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_121: (untyped v0) -> untyped
 
-      private def _ibex_action_48: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_122: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_49: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_123: (untyped v0) -> untyped
 
-      private def _ibex_action_50: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_124: (untyped v0) -> untyped
 
-      private def _ibex_action_51: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_125: (untyped v0) -> untyped
 
-      private def _ibex_action_52: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_126: (untyped v0) -> untyped
 
-      private def _ibex_action_53: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_127: () -> untyped
 
-      private def _ibex_action_54: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_128: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_55: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_129: () -> untyped
 
-      private def _ibex_action_56: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_130: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_57: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_131: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_58: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_132: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_59: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_133: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
 
-      private def _ibex_action_60: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_134: (untyped v0) -> untyped
 
-      private def _ibex_action_61: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_135: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_62: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_136: () -> untyped
 
-      private def _ibex_action_63: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_137: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_64: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_138: (untyped v0) -> untyped
 
-      private def _ibex_action_65: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_139: (untyped v0) -> untyped
 
-      private def _ibex_action_66: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_140: (untyped v0) -> untyped
 
-      private def _ibex_action_67: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_141: (untyped v0) -> untyped
 
-      private def _ibex_action_68: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_142: (untyped val) -> untyped
 
-      private def _ibex_action_69: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_143: (untyped val) -> untyped
 
-      private def _ibex_action_70: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_144: () -> untyped
 
-      private def _ibex_action_71: (untyped val, untyped _values) -> untyped
+      private def _ibex_action_145: (untyped v0, untyped v1) -> untyped
     end
   end
 end

data/sig/ibex/frontend/generated_parser_base.rbs

@@ -3,7 +3,18 @@
 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
+
+      include ParserConfigurationSupport
+
+      attr_reader diagnostic_token: Token?
+
       @mode: Symbol
 
       @adapter: TokenAdapter
@@ -11,14 +22,14 @@ 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)
 
-      # @rbs (Integer? _token_id, Token? value, Array[untyped] _value_stack) -> bot
-      def on_error: (Integer? _token_id, Token? value, Array[untyped] _value_stack) -> bot
+      # @rbs (Integer? _token_id, Token? value, Array[Object?] _value_stack) -> bot
+      def on_error: (Integer? _token_id, Token? value, Array[Object?] _value_stack) -> bot
 
       private
 
@@ -41,8 +52,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 +73,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 +109,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 +124,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 +142,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