ibex 0.2.0 → 0.4.0

data/sig/ibex/frontend/formatter.rbs

@@ -19,6 +19,8 @@ module Ibex
 
       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
 
@@ -45,32 +47,38 @@ module Ibex
       # @rbs (Array[formatter_element] elements) -> void
       def annotate_comment_indentation: (Array[formatter_element] elements) -> void
 
-      # @rbs (external_token external, Hash[Symbol, untyped] state) -> Symbol?
-      def token_role: (external_token external, Hash[Symbol, untyped] state) -> Symbol?
+      # @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 (external_token external, Hash[Symbol, untyped] state) -> Symbol?
-      def document_token_role: (external_token external, Hash[Symbol, untyped] state) -> Symbol?
+      # @rbs (formatter_state state) -> Symbol?
+      def section_end_role: (formatter_state state) -> Symbol?
 
-      # @rbs (Hash[Symbol, untyped] state) -> Symbol?
-      def section_end_role: (Hash[Symbol, untyped] 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, Hash[Symbol, untyped] state) -> Symbol?
-      def rule_token_role: (external_token external, Hash[Symbol, untyped] state) -> Symbol?
+      # @rbs (external_token external, formatter_state state) -> Symbol
+      def precedence_role: (external_token external, formatter_state state) -> Symbol
 
-      # @rbs (external_token external, Hash[Symbol, untyped] state) -> Symbol
-      def precedence_role: (external_token external, Hash[Symbol, untyped] 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, Hash[Symbol, untyped] state) -> void
-      def advance_role_state: (external_token external, Symbol? role, Hash[Symbol, untyped] 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, Hash[Symbol, untyped] state) -> void
-      def advance_precedence_state: (external_token external, Symbol? role, Hash[Symbol, untyped] 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, Hash[Symbol, untyped] state) -> void
-      def advance_conversion_state: (external_token external, Symbol? role, Hash[Symbol, untyped] 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, Hash[Symbol, untyped] state) -> void
-      def advance_rule_state: (external_token external, Symbol? role, Hash[Symbol, untyped] 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
@@ -113,23 +121,23 @@ module Ibex
       # @rbs (String text) -> bool
       def text_ends_with_newline?: (String text) -> bool
 
-      # @rbs (untyped left, untyped right) -> bool
-      def same_semantic_projection?: (untyped left, untyped right) -> bool
+      # @rbs (Object? left, Object? right) -> bool
+      def same_semantic_projection?: (Object? left, Object? right) -> bool
 
-      # @rbs (untyped left, untyped right) -> bool
-      def comparable_semantic_values?: (untyped left, untyped right) -> bool
+      # @rbs (Object? left, Object? right) -> bool
+      def comparable_semantic_values?: (Object? left, Object? right) -> bool
 
-      # @rbs (Hash[untyped, untyped] left, untyped right) -> bool
-      def comparable_semantic_hashes?: (Hash[untyped, untyped] left, untyped right) -> bool
+      # @rbs (Hash[Object?, Object?] left, Object? right) -> bool
+      def comparable_semantic_hashes?: (Hash[Object?, Object?] left, Object? right) -> bool
 
-      # @rbs (Array[[untyped, untyped]] pending, untyped left, untyped right) -> void
-      def append_semantic_children: (Array[[ untyped, untyped ]] pending, untyped left, untyped right) -> void
+      # @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[untyped] value) -> Array[Symbol]
-      def semantic_members: (Struct[untyped] value) -> Array[Symbol]
+      # @rbs (Struct[Object?] value) -> Array[Symbol]
+      def semantic_members: (Struct[Object?] value) -> Array[Symbol]
 
-      # @rbs (Hash[untyped, untyped] value) -> Array[untyped]
-      def semantic_keys: (Hash[untyped, untyped] value) -> Array[untyped]
+      # @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

@@ -95,31 +95,31 @@ module Ibex
 
       private def _ibex_action_31: (untyped v0) -> untyped
 
-      private def _ibex_action_32: (untyped v0, untyped v1) -> 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
+      private def _ibex_action_35: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_36: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_36: () -> untyped
 
-      private def _ibex_action_37: (untyped v0) -> untyped
+      private def _ibex_action_37: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_38: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_38: (untyped v0) -> untyped
 
-      private def _ibex_action_39: (untyped v0, untyped v1, untyped v2) -> 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
+      private def _ibex_action_41: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_42: (untyped v0, untyped v1) -> 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
+      private def _ibex_action_44: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_45: (untyped v0) -> untyped
 
@@ -127,135 +127,135 @@ module Ibex
 
       private def _ibex_action_47: (untyped v0) -> untyped
 
-      private def _ibex_action_48: (untyped v0, untyped v1) -> 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 v2) -> untyped
+      private def _ibex_action_51: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_52: (untyped val) -> untyped
+      private def _ibex_action_52: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_53: (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
+      private def _ibex_action_56: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_57: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_57: () -> untyped
 
-      private def _ibex_action_58: (untyped v0) -> 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 v1, untyped v2) -> 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
+      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
+      private def _ibex_action_65: (untyped v0) -> untyped
 
-      private def _ibex_action_66: (untyped v0) -> untyped
+      private def _ibex_action_66: () -> untyped
 
-      private def _ibex_action_67: (untyped val) -> untyped
+      private def _ibex_action_67: (untyped v0) -> untyped
 
-      private def _ibex_action_68: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_68: (untyped val) -> untyped
 
-      private def _ibex_action_69: () -> untyped
+      private def _ibex_action_69: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_70: (untyped v0, untyped v1) -> 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 v2) -> 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
+      private def _ibex_action_75: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_76: (untyped v0) -> untyped
+      private def _ibex_action_76: () -> untyped
 
-      private def _ibex_action_77: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_77: (untyped v0) -> untyped
 
-      private def _ibex_action_78: () -> untyped
+      private def _ibex_action_78: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_79: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_79: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_80: () -> untyped
 
       private def _ibex_action_81: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_82: (untyped v0) -> untyped
+      private def _ibex_action_82: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_83: (untyped v0) -> untyped
+      private def _ibex_action_83: () -> untyped
 
-      private def _ibex_action_84: (untyped v0) -> untyped
+      private def _ibex_action_84: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_85: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_85: () -> untyped
 
-      private def _ibex_action_86: (untyped val) -> untyped
+      private def _ibex_action_86: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_87: () -> untyped
+      private def _ibex_action_87: (untyped v0) -> untyped
 
       private def _ibex_action_88: (untyped v0) -> untyped
 
-      private def _ibex_action_89: () -> untyped
+      private def _ibex_action_89: (untyped v0) -> untyped
 
-      private def _ibex_action_90: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_90: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_91: (untyped v0) -> untyped
+      private def _ibex_action_91: (untyped val) -> untyped
 
-      private def _ibex_action_92: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_92: () -> untyped
 
-      private def _ibex_action_95: (untyped v0) -> untyped
+      private def _ibex_action_93: (untyped v0) -> untyped
 
-      private def _ibex_action_96: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_94: () -> untyped
 
-      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_95: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_98: () -> untyped
+      private def _ibex_action_96: (untyped v0) -> untyped
 
-      private def _ibex_action_99: (untyped val) -> untyped
+      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_100: () -> untyped
+      private def _ibex_action_100: (untyped v0) -> untyped
 
-      private def _ibex_action_101: (untyped v0) -> untyped
+      private def _ibex_action_101: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_102: () -> untyped
+      private def _ibex_action_102: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_103: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_103: () -> untyped
 
-      private def _ibex_action_104: () -> untyped
+      private def _ibex_action_104: (untyped val) -> untyped
 
-      private def _ibex_action_105: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_105: () -> untyped
 
       private def _ibex_action_106: (untyped v0) -> untyped
 
-      private def _ibex_action_107: (untyped v0) -> untyped
+      private def _ibex_action_107: () -> untyped
 
-      private def _ibex_action_108: (untyped v0) -> untyped
+      private def _ibex_action_108: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_109: (untyped v0) -> untyped
+      private def _ibex_action_109: () -> untyped
 
-      private def _ibex_action_110: (untyped v0) -> untyped
+      private def _ibex_action_110: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_111: (untyped v0) -> untyped
 
-      private def _ibex_action_112: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_112: (untyped v0) -> untyped
 
-      private def _ibex_action_113: (untyped val) -> untyped
+      private def _ibex_action_113: (untyped v0) -> untyped
 
-      private def _ibex_action_114: () -> untyped
+      private def _ibex_action_114: (untyped v0) -> untyped
 
       private def _ibex_action_115: (untyped v0) -> untyped
 
@@ -263,51 +263,61 @@ module Ibex
 
       private def _ibex_action_117: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_118: (untyped v0) -> untyped
+      private def _ibex_action_118: (untyped val) -> untyped
 
-      private def _ibex_action_119: (untyped v0) -> untyped
+      private def _ibex_action_119: () -> untyped
 
       private def _ibex_action_120: (untyped v0) -> untyped
 
       private def _ibex_action_121: (untyped v0) -> untyped
 
-      private def _ibex_action_122: () -> untyped
+      private def _ibex_action_122: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_123: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_123: (untyped v0) -> untyped
 
-      private def _ibex_action_124: () -> untyped
+      private def _ibex_action_124: (untyped v0) -> untyped
 
-      private def _ibex_action_125: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_125: (untyped v0) -> untyped
 
-      private def _ibex_action_126: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_126: (untyped v0) -> untyped
 
-      private def _ibex_action_127: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_127: () -> untyped
 
-      private def _ibex_action_128: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
+      private def _ibex_action_128: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_129: (untyped v0) -> untyped
+      private def _ibex_action_129: () -> untyped
 
-      private def _ibex_action_130: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_130: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_131: () -> untyped
+      private def _ibex_action_131: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_132: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_133: (untyped v0) -> untyped
+      private def _ibex_action_133: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
 
       private def _ibex_action_134: (untyped v0) -> untyped
 
-      private def _ibex_action_135: (untyped v0) -> untyped
+      private def _ibex_action_135: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_136: () -> untyped
+
+      private def _ibex_action_137: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_138: (untyped v0) -> untyped
+
+      private def _ibex_action_139: (untyped v0) -> untyped
+
+      private def _ibex_action_140: (untyped v0) -> untyped
 
-      private def _ibex_action_136: (untyped v0) -> untyped
+      private def _ibex_action_141: (untyped v0) -> untyped
 
-      private def _ibex_action_137: (untyped val) -> untyped
+      private def _ibex_action_142: (untyped val) -> untyped
 
-      private def _ibex_action_138: (untyped val) -> untyped
+      private def _ibex_action_143: (untyped val) -> untyped
 
-      private def _ibex_action_139: () -> untyped
+      private def _ibex_action_144: () -> untyped
 
-      private def _ibex_action_140: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_145: (untyped v0, untyped v1) -> untyped
     end
   end
 end

data/sig/ibex/frontend/generated_parser_base.rbs

@@ -11,6 +11,8 @@ module Ibex
 
       include GeneratedParserParameters
 
+      include ParserConfigurationSupport
+
       attr_reader diagnostic_token: Token?
 
       @mode: Symbol
@@ -26,8 +28,8 @@ module Ibex
       # @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
 

data/sig/ibex/frontend/parser/declarations.rbs

@@ -21,6 +21,9 @@ module Ibex
       # @rbs () -> AST::declaration
       def parse_declaration: () -> AST::declaration
 
+      # @rbs () -> AST::ParserConfiguration
+      def parse_parser_configuration: () -> AST::ParserConfiguration
+
       # @rbs () -> AST::Include
       def parse_import: () -> AST::Include
 

data/sig/ibex/frontend/parser_configuration_support.rbs

@@ -0,0 +1,27 @@
+# Generated from lib/ibex/frontend/parser_configuration_support.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Shares the closed parser-declaration semantics between bootstrap and generated frontends.
+    module ParserConfigurationSupport
+      private def token_string: (Token) -> String
+
+      private def fail_at: (Location, String) -> bot
+
+      private def extended_only!: (Location, String) -> void
+
+      PARSER_SETTING_VALUES: Hash[String, Array[String]]
+
+      private
+
+      # @rbs (Token key, Token value) -> AST::ParserSetting
+      def build_parser_setting: (Token key, Token value) -> AST::ParserSetting
+
+      # @rbs (Token keyword, Array[AST::ParserSetting] settings) -> AST::ParserConfiguration
+      def build_parser_configuration: (Token keyword, Array[AST::ParserSetting] settings) -> AST::ParserConfiguration
+
+      # @rbs (Array[AST::declaration] declarations) -> void
+      def validate_root_parser_configuration: (Array[AST::declaration] declarations) -> void
+    end
+  end
+end

data/sig/ibex/frontend/resolution.rbs

@@ -23,8 +23,9 @@ module Ibex
 
       private
 
-      # @rbs (untyped value) -> untyped
-      def deep_freeze_ast: (untyped value) -> untyped
+      # AST payloads are recursively heterogeneous and are only traversed to freeze them.
+      # @rbs (Object? value) -> Object?
+      def deep_freeze_ast: (Object? value) -> Object?
 
       # @rbs (IR::source_provenance entry) -> IR::source_provenance
       def copy_provenance: (IR::source_provenance entry) -> IR::source_provenance

data/sig/ibex/frontend/source_cursor.rbs

@@ -37,8 +37,8 @@ module Ibex
     end
 
     class Token
-      # @rbs () -> Hash[Symbol, untyped]
-      def to_h: () -> Hash[Symbol, untyped]
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
     end
 
     # Advances through source text while maintaining one-based coordinates.

data/sig/ibex/frontend/source_span.rbs

@@ -6,6 +6,9 @@ module Ibex
     module SourceEncoding
       # @rbs (String source, String file) -> String
       def self.validated_utf8: (String source, String file) -> String
+
+      # @rbs (String file) -> String
+      def self.validated_file: (String file) -> String
     end
 
     # An immutable position in grammar source.
@@ -46,8 +49,8 @@ module Ibex
       # @rbs () -> bool
       def empty?: () -> bool
 
-      # @rbs () -> Hash[Symbol, untyped]
-      def to_h: () -> Hash[Symbol, untyped]
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
     end
   end
 end

data/sig/ibex/frontend/token_adapter/declaration_state.rbs

@@ -29,7 +29,7 @@ module Ibex
 
         @pragma_location: Location?
 
-        @pragmas: Hash[String, bool]
+        @pragmas: Hash[String, Location]
 
         @fragment: bool?
 
@@ -50,6 +50,12 @@ module Ibex
         # @rbs () -> bool
         def cst_pragma?: () -> bool
 
+        # @rbs () -> Location?
+        def extended_pragma_location: () -> Location?
+
+        # @rbs () -> Location?
+        def cst_pragma_location: () -> Location?
+
         # @rbs (Token? token) -> String?
         def expectation: (Token? token) -> String?
 
@@ -58,6 +64,12 @@ module Ibex
         # @rbs (Token token, Array[Token] remaining) -> external_token
         def classify_identifier: (Token token, Array[Token] remaining) -> external_token
 
+        # @rbs (Token token) -> external_token
+        def begin_parser_setting: (Token token) -> external_token
+
+        # @rbs () -> external_token
+        def finish_parser_setting: () -> external_token
+
         # @rbs (Array[Token] remaining) -> external_token
         def constant_name: (Array[Token] remaining) -> external_token
 

data/sig/ibex/frontend/token_adapter.rbs

@@ -43,6 +43,12 @@ module Ibex
       # @rbs () -> bool
       def cst_pragma?: () -> bool
 
+      # @rbs () -> Location?
+      def extended_pragma_location: () -> Location?
+
+      # @rbs () -> Location?
+      def cst_pragma_location: () -> Location?
+
       # @rbs () -> parser_section
       def section: () -> parser_section
 

data/sig/ibex/fuzz.rbs

@@ -0,0 +1,71 @@
+# Generated from lib/ibex/fuzz.rb with RBS::Inline
+
+module Ibex
+  type fuzz_outcome = Symbol | [ Symbol, String, String ]
+
+  type fuzz_mismatch = { tokens: Array[String], kind: Symbol, sentence: Integer, outcomes: Hash[Symbol, fuzz_outcome], bounds: Hash[Symbol, Integer] }
+
+  type fuzz_budget = { message: String, bounds: Hash[Symbol, Integer], ?tokens: Array[String], ?phase: String }
+
+  # Bounded grammar-derived differential fuzzing without semantic execution.
+  class Fuzz
+    ALGORITHMS: Array[Symbol]
+
+    DEFAULT_MAX_ACTIONS: Integer
+
+    DEFAULT_MAX_STACK: Integer
+
+    class Mismatch < Ibex::Error
+      attr_reader details: fuzz_mismatch
+
+      # @rbs (fuzz_mismatch details) -> void
+      def initialize: (fuzz_mismatch details) -> void
+    end
+
+    class BudgetExceeded < Ibex::Error
+      attr_reader details: fuzz_budget
+
+      # @rbs (fuzz_budget details) -> void
+      def initialize: (fuzz_budget details) -> void
+    end
+
+    # @rbs (IR::Grammar grammar, ?seed: Integer, ?count: Integer, ?max_tokens: Integer,
+    #   ?max_depth: Integer, ?max_expansions: Integer, ?max_actions: Integer, ?max_stack: Integer,
+    #   ?coverage_guided: bool, ?path_length: Integer, ?algorithms: Array[Symbol],
+    #   ?ielr_strategy: Symbol, ?automata: Hash[Symbol, IR::Automaton]?, ?against: (^(Array[String]) -> Symbol)?,
+    #   ?against_description: Hash[Symbol, Object?]?) -> void
+    # rubocop:disable Metrics/ParameterLists
+    def initialize: (IR::Grammar grammar, ?seed: Integer, ?count: Integer, ?max_tokens: Integer, ?max_depth: Integer, ?max_expansions: Integer, ?max_actions: Integer, ?max_stack: Integer, ?coverage_guided: bool, ?path_length: Integer, ?algorithms: Array[Symbol], ?ielr_strategy: Symbol, ?automata: Hash[Symbol, IR::Automaton]?, ?against: (^(Array[String]) -> Symbol)?, ?against_description: Hash[Symbol, Object?]?) -> void
+
+    # @rbs () -> Hash[Symbol, Object?]
+    def run: () -> Hash[Symbol, Object?]
+
+    # Minimize one observed mismatch without changing its kind or outcomes.
+    # @rbs (Mismatch mismatch, ?max_trials: Integer) -> DeltaReducer::Result
+    def minimize: (Mismatch mismatch, ?max_trials: Integer) -> DeltaReducer::Result
+
+    private
+
+    # @rbs () -> Array[Array[String]]
+    def generate_sentences: () -> Array[Array[String]]
+
+    # @rbs (Integer sentence_count, Integer mutation_count) -> untyped
+    def successful_report: (Integer sentence_count, Integer mutation_count) -> untyped
+
+    # @rbs () -> Hash[Symbol, IR::Automaton]
+    def build_automata: () -> Hash[Symbol, IR::Automaton]
+
+    # @rbs (Array[String] tokens, kind: Symbol, sentence: Integer) -> void
+    def compare!: (Array[String] tokens, kind: Symbol, sentence: Integer) -> void
+
+    # @rbs (Array[String] tokens) -> Array[Array[String]]
+    def mutations: (Array[String] tokens) -> Array[Array[String]]
+
+    # @rbs (Array[String] tokens, kind: Symbol, sentence: Integer,
+    #   outcomes: Hash[Symbol, fuzz_outcome]) -> bool
+    def mismatch_reproduced?: (Array[String] tokens, kind: Symbol, sentence: Integer, outcomes: Hash[Symbol, fuzz_outcome]) -> bool
+
+    # @rbs (Ibex::Error error) -> bool
+    def budget_error?: (Ibex::Error error) -> bool
+  end
+end

data/sig/ibex/generation_input.rbs

@@ -22,8 +22,8 @@ module Ibex
     # @rbs (String path) -> void
     def add_access_path: (String path) -> void
 
-    # @rbs () -> Hash[String, untyped]
-    def to_h: () -> Hash[String, untyped]
+    # @rbs () -> Hash[String, String | Integer]
+    def to_h: () -> Hash[String, String | Integer]
 
     # Detect content changes even when size and timestamps are preserved.
     # @rbs () -> bool