rbs-relaxed 3.9.0.1

data/schema/members.json

@@ -0,0 +1,266 @@
+{
+  "$schema": "http://json-schema.org/draft-04/schema#",
+  "definitions": {
+    "methodDefinition": {
+      "type": "object",
+      "properties": {
+        "member": {
+          "type": "string",
+          "enum": ["method_definition"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "kind": {
+          "enum": ["instance", "singleton", "singleton_instance"]
+        },
+        "overloads": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "annotations": {
+                "type": "array",
+                "items": {
+                  "$ref": "annotation.json"
+                }
+              },
+              "method_type": {
+                "$ref": "methodType.json"
+              }
+            }
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        },
+        "overloading": {
+          "type": "boolean"
+        },
+        "visibility": {
+          "enum": ["public", "private", null]
+        }
+      },
+      "required": ["member", "name", "kind", "overloads", "comment", "annotations", "location", "visibility", "overloading"]
+    },
+    "variable": {
+      "title": "Declaration for instance variables and class variables",
+      "description": "`@x: Integer`, `self.@x: String`, `@@name: Symbol`, ...",
+      "type": "object",
+      "properties": {
+        "member": {
+          "enum": ["instance_variable", "class_instance_variable", "class_variable"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "type": {
+          "$ref": "types.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        },
+        "comment": {
+          "$ref": "comment.json"
+        }
+      },
+      "required": ["member", "name", "type", "location", "comment"]
+    },
+    "include": {
+      "title": "Include mixin",
+      "properties": {
+        "member": {
+          "enum": ["include"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "types.json"
+          }
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["member", "name", "args", "annotations", "comment", "location"]
+    },
+    "extend": {
+      "title": "Extend mixin",
+      "properties": {
+        "member": {
+          "enum": ["extend"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "types.json"
+          }
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["member", "name", "args", "annotations", "comment", "location"]
+    },
+    "prepend": {
+      "title": "Prepend mixin",
+      "properties": {
+        "member": {
+          "enum": ["prepend"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "types.json"
+          }
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["member", "name", "args", "annotations", "comment", "location"]
+    },
+    "attribute": {
+      "title": "Attribute definitions",
+      "description": "`attr_reader`, `attr_accessor`, `attr_writer`",
+      "properties": {
+        "member": {
+          "type": "string",
+          "enum": ["attr_reader", "attr_accessor", "attr_writer"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "kind": {
+          "type": "string",
+          "enum": ["instance", "singleton"]
+        },
+        "type": {
+          "$ref": "types.json"
+        },
+        "ivar_name": {
+          "oneOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "null"
+            },
+            {
+              "enum": [false]
+            }
+          ]
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        },
+        "visibility": {
+          "enum": ["public", "private", null]
+        }
+      },
+      "required": ["member", "name", "ivar_name", "type", "annotations", "kind", "comment", "location", "visibility"]
+    },
+    "visibility": {
+      "title": "Visibility specifier",
+      "description": "`public` and `private`.",
+      "type": "object",
+      "properties": {
+        "member": {
+          "type": "string",
+          "enum": ["public", "private"]
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["member", "location"]
+    },
+    "alias": {
+      "title": "Alias declaration",
+      "description": "`alias to_s inspect`, `alias self.new self.allocate`, ...",
+      "properties": {
+        "member": {
+          "type": "string",
+          "enum": ["alias"]
+        },
+        "new_name": {
+          "type": "string"
+        },
+        "old_name": {
+          "type": "string"
+        },
+        "kind": {
+          "type": "string",
+          "enum": ["instance", "singleton"]
+        },
+        "annotations": {
+          "type": "array",
+          "items": {
+            "$ref": "annotation.json"
+          }
+        },
+        "comment": {
+          "$ref": "comment.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["member", "new_name", "old_name", "kind", "annotations", "comment", "location"]
+    }
+  }
+}

data/schema/methodType.json

@@ -0,0 +1,50 @@
+{
+  "$schema": "http://json-schema.org/draft-04/schema#",
+  "definitions": {
+    "block": {
+      "type": "object",
+      "properties": {
+        "type": {
+          "$ref": "function.json"
+        },
+        "required": {
+          "type": "boolean"
+        },
+        "self_type": {
+          "oneOf": [
+            { "$ref": "#" },
+            { "type": "null" }
+          ]
+        }
+      },
+      "required": ["type", "required", "self_type"]
+    }
+  },
+  "title": "Method type: `() -> void`, `[X] (::Integer) { (::String) -> X } -> Array[X]`, ...",
+  "type": "object",
+  "properties": {
+    "type_params": {
+      "type": "array",
+      "items": {
+        "$ref": "typeParam.json"
+      }
+    },
+    "type": {
+      "$ref": "function.json"
+    },
+    "block": {
+      "oneOf": [
+        {
+          "$ref": "#/definitions/block"
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "location": {
+      "$ref": "location.json"
+    }
+  },
+  "required": ["type_params", "type", "block", "location"]
+}

data/schema/typeParam.json

@@ -0,0 +1,36 @@
+{
+  "$schema": "http://json-schema.org/draft-04/schema#",
+  "title": "Type param: `A`, `unchecked out A`, ...",
+  "type": "object",
+  "properties": {
+    "name": {
+      "type": "string"
+    },
+    "variance": {
+      "enum": ["covariant", "contravariant", "invariant"]
+    },
+    "unchecked": {
+      "type": "boolean"
+    },
+    "upper_bound": {
+      "oneOf": [
+        {
+          "$ref": "types.json#/definitions/classInstance"
+        },
+        {
+          "$ref": "types.json#/definitions/classSingleton"
+        },
+        {
+          "$ref": "types.json#/definitions/interface"
+        },
+        {
+          "type": "null"
+        }
+      ]
+    },
+    "location": {
+      "$ref": "location.json"
+    }
+  },
+  "required": ["name", "variance", "unchecked", "upper_bound", "location"]
+}

data/schema/types.json

@@ -0,0 +1,317 @@
+{
+  "$schema": "http://json-schema.org/draft-04/schema#",
+  "definitions": {
+    "base": {
+      "title": "Base types",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": [
+            "bool",
+            "void",
+            "untyped",
+            "nil",
+            "top",
+            "bot",
+            "self",
+            "instance",
+            "class"
+          ]
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "location"]
+    },
+    "variable": {
+      "title": "Type variables: `X`, `Y`, `Elem`, `Key`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["variable"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "name", "location"]
+    },
+    "classSingleton": {
+      "title": "Class singleton type: `singleton(Object)`, `singleton(::Kernel)`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["class_singleton"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "name", "location"]
+    },
+    "classInstance": {
+      "title": "Class instance type: `String`, `::Enumerable`, `Array[::Symbol]`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["class_instance"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "name", "args", "location"]
+    },
+    "interface": {
+      "title": "Interface type: `_Each[String, void]`, `_ToStr`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["interface"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "name", "args", "location"]
+    },
+    "alias": {
+      "title": "Type alias: `u`, `ty`, `json`, `list[Integer]`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["alias"]
+        },
+        "name": {
+          "type": "string"
+        },
+        "args": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "name", "args", "location"]
+    },
+    "tuple": {
+      "title": "Tuple type: `[Foo, bar]`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["tuple"]
+        },
+        "types": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "types", "location"]
+    },
+    "record": {
+      "title": "Record type: `{ id: Integer, email: String }`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["record"]
+        },
+        "fields": {
+          "type": "object",
+          "additionalProperties": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "fields", "location"]
+    },
+    "optional": {
+      "title": "Optional types: `Integer?`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["optional"]
+        },
+        "type": {
+          "$ref": "#"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "type", "location"]
+    },
+    "union": {
+      "title": "Union types: `Integer | String`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["union"]
+        },
+        "types": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "types", "location"]
+    },
+    "intersection": {
+      "title": "Intersection types: `Integer & String`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["intersection"]
+        },
+        "types": {
+          "type": "array",
+          "items": {
+            "$ref": "#"
+          }
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "types", "location"]
+    },
+    "proc": {
+      "title": "Proc types: `^() -> void`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["proc"]
+        },
+        "type": {
+          "$ref": "function.json"
+        },
+        "location": {
+          "$ref": "location.json"
+        },
+        "block": {
+          "oneOf": [
+            { "$ref": "methodType.json#/definitions/block" },
+            { "type": "null" }
+          ]
+        },
+        "self_type": {
+          "oneOf": [
+            { "$ref": "#" },
+            { "type": "null" }
+          ]
+        }
+      },
+      "required": ["class", "type", "location", "block", "self_type"]
+    },
+    "literal": {
+      "title": "Literal types: `1`, `:foo`, `\"foo\"`, ...",
+      "type": "object",
+      "properties": {
+        "class": {
+          "type": "string",
+          "enum": ["literal"]
+        },
+        "literal": {
+          "type": "string"
+        },
+        "location": {
+          "$ref": "location.json"
+        }
+      },
+      "required": ["class", "literal", "location"]
+    }
+  },
+  "title": "Type",
+  "oneOf": [
+    {
+      "$ref": "#/definitions/base"
+    },
+    {
+      "$ref": "#/definitions/variable"
+    },
+    {
+      "$ref": "#/definitions/classInstance"
+    },
+    {
+      "$ref": "#/definitions/classSingleton"
+    },
+    {
+      "$ref": "#/definitions/interface"
+    },
+    {
+      "$ref": "#/definitions/alias"
+    },
+    {
+      "$ref": "#/definitions/tuple"
+    },
+    {
+      "$ref": "#/definitions/record"
+    },
+    {
+      "$ref": "#/definitions/union"
+    },
+    {
+      "$ref": "#/definitions/intersection"
+    },
+    {
+      "$ref": "#/definitions/optional"
+    },
+    {
+      "$ref": "#/definitions/proc"
+    },
+    {
+      "$ref": "#/definitions/literal"
+    }
+  ]
+}