protostar 0.1.0.beta1

data/sig/protostar/google/protobuf/type_pb.rbs

@@ -0,0 +1,304 @@
+# Generated by protostar from google/protobuf/type.proto. Do not edit.
+
+module Protostar
+  module Google
+    module Protobuf
+      # A protocol buffer message type.
+      # New usages of this message as an alternative to DescriptorProto are strongly
+      # discouraged. This message does not reliability preserve all information
+      # necessary to model the schema and preserve semantics. Instead make use of
+      # FileDescriptorSet which preserves the necessary information.
+      class Type < ::Protostar::Message
+        type init_map = {
+          ?name: ::String?,
+          ?fields: (::Array[::Protostar::Google::Protobuf::Field | ::Protostar::Google::Protobuf::Field::init_map])?,
+          ?oneofs: ::Array[::String]?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?source_context: (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?,
+          ?syntax: (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?,
+          ?edition: ::String?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?name: ::String?,
+          ?fields: (::Array[::Protostar::Google::Protobuf::Field | ::Protostar::Google::Protobuf::Field::init_map])?,
+          ?oneofs: ::Array[::String]?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?source_context: (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?,
+          ?syntax: (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?,
+          ?edition: ::String?
+        ) -> void
+
+        # The fully qualified message name.
+        attr_reader name(): ::String
+        attr_writer name(): ::String?
+
+        # The list of fields.
+        attr_reader fields(): ::Array[::Protostar::Google::Protobuf::Field]
+        attr_writer fields(): (::Array[::Protostar::Google::Protobuf::Field | ::Protostar::Google::Protobuf::Field::init_map])?
+
+        # The list of types appearing in `oneof` definitions in this type.
+        attr_reader oneofs(): ::Array[::String]
+        attr_writer oneofs(): ::Array[::String]?
+
+        # The protocol buffer options.
+        attr_reader options(): ::Array[::Protostar::Google::Protobuf::Option]
+        attr_writer options(): (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+
+        # The source context.
+        attr_reader source_context(): ::Protostar::Google::Protobuf::SourceContext?
+        attr_writer source_context(): (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?
+        def has_source_context?: () -> bool
+        def clear_source_context: () -> void
+
+        # The source syntax.
+        attr_reader syntax(): ::Protostar::Google::Protobuf::Syntax::names | ::Integer
+        attr_writer syntax(): (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?
+
+        # The source edition string, only valid when syntax is SYNTAX_EDITIONS.
+        attr_reader edition(): ::String
+        attr_writer edition(): ::String?
+      end
+
+      # A single field of a message type.
+      # New usages of this message as an alternative to FieldDescriptorProto are
+      # strongly discouraged. This message does not reliability preserve all
+      # information necessary to model the schema and preserve semantics. Instead
+      # make use of FileDescriptorSet which preserves the necessary information.
+      class Field < ::Protostar::Message
+        # Basic field types.
+        module Kind
+          extend ::Protostar::Enum
+
+          TYPE_UNKNOWN: 0
+          TYPE_DOUBLE: 1
+          TYPE_FLOAT: 2
+          TYPE_INT64: 3
+          TYPE_UINT64: 4
+          TYPE_INT32: 5
+          TYPE_FIXED64: 6
+          TYPE_FIXED32: 7
+          TYPE_BOOL: 8
+          TYPE_STRING: 9
+          TYPE_GROUP: 10
+          TYPE_MESSAGE: 11
+          TYPE_BYTES: 12
+          TYPE_UINT32: 13
+          TYPE_ENUM: 14
+          TYPE_SFIXED32: 15
+          TYPE_SFIXED64: 16
+          TYPE_SINT32: 17
+          TYPE_SINT64: 18
+
+          type names = :TYPE_UNKNOWN | :TYPE_DOUBLE | :TYPE_FLOAT | :TYPE_INT64 | :TYPE_UINT64 | :TYPE_INT32 | :TYPE_FIXED64 | :TYPE_FIXED32 | :TYPE_BOOL | :TYPE_STRING | :TYPE_GROUP | :TYPE_MESSAGE | :TYPE_BYTES | :TYPE_UINT32 | :TYPE_ENUM | :TYPE_SFIXED32 | :TYPE_SFIXED64 | :TYPE_SINT32 | :TYPE_SINT64
+        end
+
+        # Whether a field is optional, required, or repeated.
+        module Cardinality
+          extend ::Protostar::Enum
+
+          CARDINALITY_UNKNOWN: 0
+          CARDINALITY_OPTIONAL: 1
+          CARDINALITY_REQUIRED: 2
+          CARDINALITY_REPEATED: 3
+
+          type names = :CARDINALITY_UNKNOWN | :CARDINALITY_OPTIONAL | :CARDINALITY_REQUIRED | :CARDINALITY_REPEATED
+        end
+
+        type init_map = {
+          ?kind: (::Protostar::Google::Protobuf::Field::Kind::names | ::Integer)?,
+          ?cardinality: (::Protostar::Google::Protobuf::Field::Cardinality::names | ::Integer)?,
+          ?number: ::Integer?,
+          ?name: ::String?,
+          ?type_url: ::String?,
+          ?oneof_index: ::Integer?,
+          ?packed: bool?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?json_name: ::String?,
+          ?default_value: ::String?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?kind: (::Protostar::Google::Protobuf::Field::Kind::names | ::Integer)?,
+          ?cardinality: (::Protostar::Google::Protobuf::Field::Cardinality::names | ::Integer)?,
+          ?number: ::Integer?,
+          ?name: ::String?,
+          ?type_url: ::String?,
+          ?oneof_index: ::Integer?,
+          ?packed: bool?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?json_name: ::String?,
+          ?default_value: ::String?
+        ) -> void
+
+        # The field type.
+        attr_reader kind(): ::Protostar::Google::Protobuf::Field::Kind::names | ::Integer
+        attr_writer kind(): (::Protostar::Google::Protobuf::Field::Kind::names | ::Integer)?
+
+        # The field cardinality.
+        attr_reader cardinality(): ::Protostar::Google::Protobuf::Field::Cardinality::names | ::Integer
+        attr_writer cardinality(): (::Protostar::Google::Protobuf::Field::Cardinality::names | ::Integer)?
+
+        # The field number.
+        attr_reader number(): ::Integer
+        attr_writer number(): ::Integer?
+
+        # The field name.
+        attr_reader name(): ::String
+        attr_writer name(): ::String?
+
+        # The field type URL, without the scheme, for message or enumeration
+        # types. Example: `"type.googleapis.com/google.protobuf.Timestamp"`.
+        attr_reader type_url(): ::String
+        attr_writer type_url(): ::String?
+
+        # The index of the field type in `Type.oneofs`, for message or enumeration
+        # types. The first type has index 1; zero means the type is not in the list.
+        attr_reader oneof_index(): ::Integer
+        attr_writer oneof_index(): ::Integer?
+
+        # Whether to use alternative packed wire representation.
+        attr_reader packed(): bool
+        attr_writer packed(): bool?
+
+        # The protocol buffer options.
+        attr_reader options(): ::Array[::Protostar::Google::Protobuf::Option]
+        attr_writer options(): (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+
+        # The field JSON name.
+        attr_reader json_name(): ::String
+        attr_writer json_name(): ::String?
+
+        # The string value of the default value of this field. Proto2 syntax only.
+        attr_reader default_value(): ::String
+        attr_writer default_value(): ::String?
+      end
+
+      # Enum type definition.
+      # New usages of this message as an alternative to EnumDescriptorProto are
+      # strongly discouraged. This message does not reliability preserve all
+      # information necessary to model the schema and preserve semantics. Instead
+      # make use of FileDescriptorSet which preserves the necessary information.
+      class Enum < ::Protostar::Message
+        type init_map = {
+          ?name: ::String?,
+          ?enumvalue: (::Array[::Protostar::Google::Protobuf::EnumValue | ::Protostar::Google::Protobuf::EnumValue::init_map])?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?source_context: (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?,
+          ?syntax: (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?,
+          ?edition: ::String?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?name: ::String?,
+          ?enumvalue: (::Array[::Protostar::Google::Protobuf::EnumValue | ::Protostar::Google::Protobuf::EnumValue::init_map])?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?,
+          ?source_context: (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?,
+          ?syntax: (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?,
+          ?edition: ::String?
+        ) -> void
+
+        # Enum type name.
+        attr_reader name(): ::String
+        attr_writer name(): ::String?
+
+        # Enum value definitions.
+        attr_reader enumvalue(): ::Array[::Protostar::Google::Protobuf::EnumValue]
+        attr_writer enumvalue(): (::Array[::Protostar::Google::Protobuf::EnumValue | ::Protostar::Google::Protobuf::EnumValue::init_map])?
+
+        # Protocol buffer options.
+        attr_reader options(): ::Array[::Protostar::Google::Protobuf::Option]
+        attr_writer options(): (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+
+        # The source context.
+        attr_reader source_context(): ::Protostar::Google::Protobuf::SourceContext?
+        attr_writer source_context(): (::Protostar::Google::Protobuf::SourceContext | ::Protostar::Google::Protobuf::SourceContext::init_map)?
+        def has_source_context?: () -> bool
+        def clear_source_context: () -> void
+
+        # The source syntax.
+        attr_reader syntax(): ::Protostar::Google::Protobuf::Syntax::names | ::Integer
+        attr_writer syntax(): (::Protostar::Google::Protobuf::Syntax::names | ::Integer)?
+
+        # The source edition string, only valid when syntax is SYNTAX_EDITIONS.
+        attr_reader edition(): ::String
+        attr_writer edition(): ::String?
+      end
+
+      # Enum value definition.
+      # New usages of this message as an alternative to EnumValueDescriptorProto are
+      # strongly discouraged. This message does not reliability preserve all
+      # information necessary to model the schema and preserve semantics. Instead
+      # make use of FileDescriptorSet which preserves the necessary information.
+      class EnumValue < ::Protostar::Message
+        type init_map = {
+          ?name: ::String?,
+          ?number: ::Integer?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?name: ::String?,
+          ?number: ::Integer?,
+          ?options: (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+        ) -> void
+
+        # Enum value name.
+        attr_reader name(): ::String
+        attr_writer name(): ::String?
+
+        # Enum value number.
+        attr_reader number(): ::Integer
+        attr_writer number(): ::Integer?
+
+        # Protocol buffer options.
+        attr_reader options(): ::Array[::Protostar::Google::Protobuf::Option]
+        attr_writer options(): (::Array[::Protostar::Google::Protobuf::Option | ::Protostar::Google::Protobuf::Option::init_map])?
+      end
+
+      # A protocol buffer option, which can be attached to a message, field,
+      # enumeration, etc.
+      # New usages of this message as an alternative to FileOptions, MessageOptions,
+      # FieldOptions, EnumOptions, EnumValueOptions, ServiceOptions, or MethodOptions
+      # are strongly discouraged.
+      class Option < ::Protostar::Message
+        type init_map = {
+          ?name: ::String?,
+          ?value: (::Protostar::Google::Protobuf::Any | ::Protostar::Google::Protobuf::Any::init_map)?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?name: ::String?,
+          ?value: (::Protostar::Google::Protobuf::Any | ::Protostar::Google::Protobuf::Any::init_map)?
+        ) -> void
+
+        # The option's name. For protobuf built-in options (options defined in
+        # descriptor.proto), this is the short name. For example, `"map_entry"`.
+        # For custom options, it should be the fully-qualified name. For example,
+        # `"google.api.http"`.
+        attr_reader name(): ::String
+        attr_writer name(): ::String?
+
+        # The option's value packed in an Any message. If the value is a primitive,
+        # the corresponding wrapper type defined in google/protobuf/wrappers.proto
+        # should be used. If the value is an enum, it should be stored as an int32
+        # value using the google.protobuf.Int32Value type.
+        attr_reader value(): ::Protostar::Google::Protobuf::Any?
+        attr_writer value(): (::Protostar::Google::Protobuf::Any | ::Protostar::Google::Protobuf::Any::init_map)?
+        def has_value?: () -> bool
+        def clear_value: () -> void
+      end
+
+      # The syntax in which a protocol buffer element is defined.
+      module Syntax
+        extend ::Protostar::Enum
+
+        SYNTAX_PROTO2: 0
+        SYNTAX_PROTO3: 1
+        SYNTAX_EDITIONS: 2
+
+        type names = :SYNTAX_PROTO2 | :SYNTAX_PROTO3 | :SYNTAX_EDITIONS
+      end
+    end
+  end
+end

data/sig/protostar/google/protobuf/wrappers_pb.rbs

@@ -0,0 +1,169 @@
+# Generated by protostar from google/protobuf/wrappers.proto. Do not edit.
+
+module Protostar
+  module Google
+    module Protobuf
+      # Wrapper message for `double`.
+      # The JSON representation for `DoubleValue` is JSON number.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class DoubleValue < ::Protostar::Message
+        type init_map = {
+          ?value: (::Float | ::Integer)?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: (::Float | ::Integer)?
+        ) -> void
+
+        # The double value.
+        attr_reader value(): ::Float
+        attr_writer value(): (::Float | ::Integer)?
+      end
+
+      # Wrapper message for `float`.
+      # The JSON representation for `FloatValue` is JSON number.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class FloatValue < ::Protostar::Message
+        type init_map = {
+          ?value: (::Float | ::Integer)?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: (::Float | ::Integer)?
+        ) -> void
+
+        # The float value.
+        attr_reader value(): ::Float
+        attr_writer value(): (::Float | ::Integer)?
+      end
+
+      # Wrapper message for `int64`.
+      # The JSON representation for `Int64Value` is JSON string.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class Int64Value < ::Protostar::Message
+        type init_map = {
+          ?value: ::Integer?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::Integer?
+        ) -> void
+
+        # The int64 value.
+        attr_reader value(): ::Integer
+        attr_writer value(): ::Integer?
+      end
+
+      # Wrapper message for `uint64`.
+      # The JSON representation for `UInt64Value` is JSON string.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class UInt64Value < ::Protostar::Message
+        type init_map = {
+          ?value: ::Integer?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::Integer?
+        ) -> void
+
+        # The uint64 value.
+        attr_reader value(): ::Integer
+        attr_writer value(): ::Integer?
+      end
+
+      # Wrapper message for `int32`.
+      # The JSON representation for `Int32Value` is JSON number.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class Int32Value < ::Protostar::Message
+        type init_map = {
+          ?value: ::Integer?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::Integer?
+        ) -> void
+
+        # The int32 value.
+        attr_reader value(): ::Integer
+        attr_writer value(): ::Integer?
+      end
+
+      # Wrapper message for `uint32`.
+      # The JSON representation for `UInt32Value` is JSON number.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class UInt32Value < ::Protostar::Message
+        type init_map = {
+          ?value: ::Integer?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::Integer?
+        ) -> void
+
+        # The uint32 value.
+        attr_reader value(): ::Integer
+        attr_writer value(): ::Integer?
+      end
+
+      # Wrapper message for `bool`.
+      # The JSON representation for `BoolValue` is JSON `true` and `false`.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class BoolValue < ::Protostar::Message
+        type init_map = {
+          ?value: bool?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: bool?
+        ) -> void
+
+        # The bool value.
+        attr_reader value(): bool
+        attr_writer value(): bool?
+      end
+
+      # Wrapper message for `string`.
+      # The JSON representation for `StringValue` is JSON string.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class StringValue < ::Protostar::Message
+        type init_map = {
+          ?value: ::String?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::String?
+        ) -> void
+
+        # The string value.
+        attr_reader value(): ::String
+        attr_writer value(): ::String?
+      end
+
+      # Wrapper message for `bytes`.
+      # The JSON representation for `BytesValue` is JSON string.
+      # Not recommended for use in new APIs, but still useful for legacy APIs and
+      # has no plan to be removed.
+      class BytesValue < ::Protostar::Message
+        type init_map = {
+          ?value: ::String?
+        }
+        def initialize: (
+          ?init_map? fields,
+          ?value: ::String?
+        ) -> void
+
+        # The bytes value.
+        attr_reader value(): ::String
+        attr_writer value(): ::String?
+      end
+    end
+  end
+end

data/sig/protostar/lint.rbs

@@ -0,0 +1,216 @@
+# protostar lint and the rustc-style diagnostics it prints. The compiler
+# itself has no signatures yet; its Diagnostic is described here because the
+# renderer takes it.
+module Protostar
+  class Compiler
+    class Diagnostic
+      attr_reader file: ::String
+      attr_reader line: ::Integer?
+      attr_reader column: ::Integer?
+      attr_reader message: ::String
+      attr_reader severity: :error | :warning
+      attr_reader path: ::String?
+      attr_reader spans: ::Array[Diagnostics::Span]
+      attr_reader help: ::Array[::String]
+      attr_reader notes: ::Array[::String]
+      attr_reader fix: Diagnostics::Fix?
+      attr_reader rule: ::String?
+
+      def initialize: (::String file, ::Integer? line, ::Integer? column, ::String message, ?(:error | :warning) severity,
+                      ?path: ::String?, ?spans: ::Array[Diagnostics::Span], ?code: ::String?, ?title: ::String?,
+                      ?help: ::Array[::String], ?notes: ::Array[::String], ?fix: Diagnostics::Fix?, ?rule: ::String?) -> void
+      def code: () -> ::String?
+      def title: () -> ::String
+      def annotated: () -> Diagnostic
+      def with: (**untyped changes) -> Diagnostic
+      def error?: () -> bool
+      def warning?: () -> bool
+      def to_s: () -> ::String
+      def format: (?(:gcc | :msvs) error_format) -> ::String
+    end
+  end
+
+  module Diagnostics
+    class Span
+      attr_reader line: ::Integer
+      attr_reader column: ::Integer
+      attr_reader end_line: ::Integer?
+      attr_reader end_column: ::Integer?
+      attr_reader label: ::String?
+
+      def initialize: (::Integer line, ::Integer column, ?::Integer? end_line, ?::Integer? end_column, ?label: ::String?, ?primary: bool) -> void
+      def primary?: () -> bool
+      def with_label: (::String? label) -> Span
+      def to_h: () -> ::Hash[::Symbol, untyped]
+    end
+
+    class Edit
+      attr_reader line: ::Integer
+      attr_reader column: ::Integer
+      attr_reader end_line: ::Integer
+      attr_reader end_column: ::Integer
+      attr_reader text: ::String
+
+      def initialize: (::Integer line, ::Integer column, ::Integer end_line, ::Integer end_column, ::String text) -> void
+      def to_h: () -> ::Hash[::Symbol, untyped]
+    end
+
+    class Fix
+      attr_reader description: ::String
+      attr_reader edits: ::Array[Edit]
+
+      def initialize: (::String description, ::Array[Edit] edits) -> void
+      def to_h: () -> ::Hash[::Symbol, untyped]
+    end
+
+    class Source
+      attr_reader lines: ::Array[::String]
+
+      def initialize: (::String text) -> void
+      def line: (::Integer number) -> ::String
+      def size: () -> ::Integer
+      def display: (::Integer number) -> ::String
+      def display_column: (::Integer number, ::Integer column) -> ::Integer
+      def token_end: (::Integer number, ::Integer column) -> ::Integer
+      def first_column: (::Integer number) -> ::Integer?
+      def end_column: (::Integer number) -> ::Integer
+      def resolve: (Span span) -> Span
+      def apply: (::String text, ::Array[Edit] edits) -> ::String
+    end
+
+    class Renderer
+      def initialize: (?color: bool, ?source: (^(Compiler::Diagnostic) -> ::String?)?) -> void
+      def render: (Compiler::Diagnostic diagnostic) -> ::String
+      def source_for: (Compiler::Diagnostic diagnostic) -> Source?
+    end
+
+    module Formats
+      def self.record: (Compiler::Diagnostic diagnostic, ?source: Source?) -> ::Hash[::Symbol, untyped]
+      def self.json: (Compiler::Diagnostic diagnostic, ?source: Source?) -> ::String
+      def self.github: (Compiler::Diagnostic diagnostic, ?source: Source?) -> ::String
+    end
+
+    module Codes
+      class Entry
+        attr_reader code: ::String
+        attr_reader summary: ::String
+        attr_reader templates: ::Array[::String]
+        attr_reader explanation: ::String
+      end
+
+      class Match
+        attr_reader entry: Entry
+        attr_reader captures: ::Hash[::Symbol, ::String]
+        def code: () -> ::String
+      end
+
+      ENTRIES: ::Array[Entry]
+
+      def self.lookup: (::String message) -> Match?
+      def self.[]: (::String code) -> Entry?
+      def self.annotate: (Compiler::Diagnostic diagnostic) -> Compiler::Diagnostic
+      def self.pattern: (::String template) -> ::Regexp
+    end
+  end
+
+  module Lint
+    class Error < Protostar::Error
+    end
+
+    TIERS: ::Array[::Symbol]
+    RULES: ::Hash[::String, [::String, ::Symbol, ::Symbol]]
+
+    def self.categories: () -> ::Array[::Symbol]
+    def self.rule_class: (::String id) -> singleton(Rule)
+    def self.rule_id: (::String id_or_code) -> ::String?
+    def self.select: (::Array[::String] names, ?except: ::Array[::String]) -> ::Array[::String]
+
+    class Rule
+      CLAIMS: ::Array[::String]
+
+      def self.id: () -> ::String
+      def self.code: () -> ::String
+      def self.tier: () -> ::Symbol
+      def self.category: () -> ::Symbol
+      def self.reason: () -> ::String
+      def self.explanation: () -> ::String
+
+      attr_reader context: Context
+      attr_reader diagnostics: ::Array[Compiler::Diagnostic]
+
+      def initialize: (Context context) -> void
+      def check: () -> void
+    end
+
+    class Context
+      attr_reader name: ::String
+      attr_reader path: ::String?
+      attr_reader disk_path: ::String?
+      attr_reader file: untyped
+      attr_reader ast: untyped
+      attr_reader text: ::String
+      attr_reader warnings: ::Array[Compiler::Diagnostic]
+      attr_reader all: ::Array[Context]
+
+      def source: () -> Diagnostics::Source
+      def each: (::Symbol kind) { (untyped node, untyped descriptor) -> void } -> void
+      def descriptor: (untyped node) -> untyped
+      def span: (untyped node, ::Symbol kind, ?label: ::String?, ?primary: bool) -> Diagnostics::Span?
+      def span_at: (::Array[::Integer] path, ?label: ::String?, ?primary: bool) -> Diagnostics::Span?
+      def comment: (untyped node) -> ::String?
+      def renamable?: (::String from, ::String to) -> bool
+    end
+
+    class Runner
+      class Result
+        attr_reader diagnostics: ::Array[Compiler::Diagnostic]
+        attr_reader contexts: ::Array[Context]
+        attr_reader names: ::Array[::String]
+        def errors?: () -> bool
+        def warnings?: () -> bool
+      end
+
+      attr_reader compiler: Compiler
+
+      def initialize: (include_paths: ::Array[::String], rules: ::Array[::String], ?except: ::Array[::String], ?directives: bool) -> void
+      def run: (::Array[::String] names, ?sources: ::Hash[::String, ::String]) -> Result
+      def text: (::String name) -> ::String?
+    end
+
+    class Config
+      attr_reader rules: ::Array[::String]
+      attr_reader except: ::Array[::String]
+      attr_reader ignore: ::Array[::String]
+      attr_reader root: ::String
+      attr_reader file: ::String?
+
+      def self.find: (::Array[::String] inputs, ?cwd: ::String) -> Config
+      def self.load: (::String path) -> Config
+      def allow_comment_directives?: () -> bool
+      def ignored?: (::String path) -> bool
+    end
+
+    class Directives
+      def initialize: (::String text) -> void
+      def suppressed?: (Compiler::Diagnostic diagnostic) -> bool
+    end
+
+    class Fixer
+      class Change
+        attr_reader name: ::String
+        attr_reader path: ::String?
+        attr_reader before: ::String
+        attr_reader after: ::String
+        attr_reader fixed: ::Array[Compiler::Diagnostic]
+      end
+
+      def self.plan: (::Array[Compiler::Diagnostic] diagnostics, text: ^(::String) -> ::String?, path: ^(::String) -> ::String?) -> ::Array[Change]
+      def self.diff: (Change change) -> ::String
+    end
+
+    class Command
+      def initialize: (untyped out, untyped err) -> void
+      def run: (::Array[::String] argv) -> ::Integer
+    end
+  end
+end