rbs 3.6.1 → 3.9.5

data/sig/validator.rbs

@@ -2,7 +2,7 @@ module RBS
   class Validator
     attr_reader env: Environment
 
-    attr_reader resolver: Resolver::TypeNameResolver
+    attr_reader resolver: Resolver::TypeNameResolver?
 
     attr_reader definition_builder: DefinitionBuilder
 
@@ -10,7 +10,7 @@ module RBS
 
     attr_reader type_alias_regularity: TypeAliasRegularity
 
-    def initialize: (env: Environment, resolver: Resolver::TypeNameResolver) -> void
+    def initialize: (env: Environment, ?resolver: Resolver::TypeNameResolver?) -> void
 
     # Validates the presence of type names and type application arity match.
     #
@@ -49,6 +49,10 @@ module RBS
     #
     def validate_class_alias: (entry: Environment::ClassAliasEntry | Environment::ModuleAliasEntry) -> void
 
+    # Validates instance/class-instance/class variables.
+    #
+    def validate_variable: (AST::Members::Var) -> void
+
     private
 
     # Resolves relative type names to absolute type names in given context.

data/sig/vendorer.rbs

@@ -24,7 +24,7 @@ module RBS
   # vendor/rbs/minitest-1.2.3  => Will include `minitest` library RBSs.
   # ```
   #
-  # The vendorerd RBSs will be loaded through :dir source.
+  # The vendored RBSs will be loaded through :dir source.
   #
   # ```rb
   # loader = RBS::EnvironmentLoader.new(core_root: nil, repository: RBS::Repository.new(no_stdlib: true))

data/sig/writer.rbs

@@ -96,7 +96,7 @@ module RBS
 
     def format_annotation: (AST::Annotation) -> String
 
-    def write_directive: (AST::Directives::t) -> void
+    def write_use_directive: (AST::Directives::Use) -> void
 
     def write_annotation: (Array[AST::Annotation]) -> void
 

data/{ext/rbs_extension → src}/constants.c

@@ -1,32 +1,38 @@
+/*----------------------------------------------------------------------------*/
+/* This file is generated by the templates/template.rb script and should not  */
+/* be modified manually.                                                      */
+/* To change the template see                                                 */
+/* templates/src/constants.c.erb                                              */
+/*----------------------------------------------------------------------------*/
+
 #include "rbs_extension.h"
 
 VALUE RBS_Parser;
 
 VALUE RBS;
 VALUE RBS_AST;
-VALUE RBS_AST_Comment;
-VALUE RBS_AST_Annotation;
-VALUE RBS_AST_TypeParam;
-
 VALUE RBS_AST_Declarations;
+VALUE RBS_AST_Directives;
+VALUE RBS_AST_Members;
+VALUE RBS_Parser;
+VALUE RBS_Types;
+VALUE RBS_Types_Bases;
 
-VALUE RBS_AST_Declarations_TypeAlias;
+VALUE RBS_AST_Annotation;
+VALUE RBS_AST_Comment;
+VALUE RBS_AST_Declarations_Class;
+VALUE RBS_AST_Declarations_Class_Super;
+VALUE RBS_AST_Declarations_ClassAlias;
 VALUE RBS_AST_Declarations_Constant;
 VALUE RBS_AST_Declarations_Global;
 VALUE RBS_AST_Declarations_Interface;
 VALUE RBS_AST_Declarations_Module;
 VALUE RBS_AST_Declarations_Module_Self;
-VALUE RBS_AST_Declarations_Class;
-VALUE RBS_AST_Declarations_Class_Super;
 VALUE RBS_AST_Declarations_ModuleAlias;
-VALUE RBS_AST_Declarations_ClassAlias;
-
-VALUE RBS_AST_Directives;
+VALUE RBS_AST_Declarations_TypeAlias;
 VALUE RBS_AST_Directives_Use;
 VALUE RBS_AST_Directives_Use_SingleClause;
 VALUE RBS_AST_Directives_Use_WildcardClause;
-
-VALUE RBS_AST_Members;
 VALUE RBS_AST_Members_Alias;
 VALUE RBS_AST_Members_AttrAccessor;
 VALUE RBS_AST_Members_AttrReader;
@@ -41,10 +47,10 @@ VALUE RBS_AST_Members_MethodDefinition_Overload;
 VALUE RBS_AST_Members_Prepend;
 VALUE RBS_AST_Members_Private;
 VALUE RBS_AST_Members_Public;
-
+VALUE RBS_AST_TypeParam;
+VALUE RBS_MethodType;
 VALUE RBS_Namespace;
 VALUE RBS_TypeName;
-
 VALUE RBS_Types_Alias;
 VALUE RBS_Types_Bases_Any;
 VALUE RBS_Types_Bases_Bool;
@@ -55,13 +61,11 @@ VALUE RBS_Types_Bases_Nil;
 VALUE RBS_Types_Bases_Self;
 VALUE RBS_Types_Bases_Top;
 VALUE RBS_Types_Bases_Void;
-VALUE RBS_Types_Bases;
 VALUE RBS_Types_Block;
 VALUE RBS_Types_ClassInstance;
 VALUE RBS_Types_ClassSingleton;
-VALUE RBS_Types_Function_Param;
 VALUE RBS_Types_Function;
-VALUE RBS_Types_UntypedFunction;
+VALUE RBS_Types_Function_Param;
 VALUE RBS_Types_Interface;
 VALUE RBS_Types_Intersection;
 VALUE RBS_Types_Literal;
@@ -70,9 +74,8 @@ VALUE RBS_Types_Proc;
 VALUE RBS_Types_Record;
 VALUE RBS_Types_Tuple;
 VALUE RBS_Types_Union;
+VALUE RBS_Types_UntypedFunction;
 VALUE RBS_Types_Variable;
-VALUE RBS_Types;
-VALUE RBS_MethodType;
 
 VALUE RBS_ParsingError;
 
@@ -83,29 +86,27 @@ void rbs__init_constants(void) {
   IMPORT_CONSTANT(RBS_ParsingError, RBS, "ParsingError");
 
   IMPORT_CONSTANT(RBS_AST, RBS, "AST");
-  IMPORT_CONSTANT(RBS_AST_Comment, RBS_AST, "Comment");
-  IMPORT_CONSTANT(RBS_AST_Annotation, RBS_AST, "Annotation");
-  IMPORT_CONSTANT(RBS_AST_TypeParam, RBS_AST, "TypeParam");
-
   IMPORT_CONSTANT(RBS_AST_Declarations, RBS_AST, "Declarations");
+  IMPORT_CONSTANT(RBS_AST_Directives, RBS_AST, "Directives");
+  IMPORT_CONSTANT(RBS_AST_Members, RBS_AST, "Members");
+  IMPORT_CONSTANT(RBS_Types, RBS, "Types");
+  IMPORT_CONSTANT(RBS_Types_Bases, RBS_Types, "Bases");
 
-  IMPORT_CONSTANT(RBS_AST_Declarations_TypeAlias, RBS_AST_Declarations, "TypeAlias");
+  IMPORT_CONSTANT(RBS_AST_Annotation, RBS_AST, "Annotation");
+  IMPORT_CONSTANT(RBS_AST_Comment, RBS_AST, "Comment");
+  IMPORT_CONSTANT(RBS_AST_Declarations_Class, RBS_AST_Declarations, "Class");
+  IMPORT_CONSTANT(RBS_AST_Declarations_Class_Super, RBS_AST_Declarations_Class, "Super");
+  IMPORT_CONSTANT(RBS_AST_Declarations_ClassAlias, RBS_AST_Declarations, "ClassAlias");
   IMPORT_CONSTANT(RBS_AST_Declarations_Constant, RBS_AST_Declarations, "Constant");
   IMPORT_CONSTANT(RBS_AST_Declarations_Global, RBS_AST_Declarations, "Global");
   IMPORT_CONSTANT(RBS_AST_Declarations_Interface, RBS_AST_Declarations, "Interface");
   IMPORT_CONSTANT(RBS_AST_Declarations_Module, RBS_AST_Declarations, "Module");
   IMPORT_CONSTANT(RBS_AST_Declarations_Module_Self, RBS_AST_Declarations_Module, "Self");
-  IMPORT_CONSTANT(RBS_AST_Declarations_Class, RBS_AST_Declarations, "Class");
-  IMPORT_CONSTANT(RBS_AST_Declarations_Class_Super, RBS_AST_Declarations_Class, "Super");
-  IMPORT_CONSTANT(RBS_AST_Declarations_ClassAlias, RBS_AST_Declarations, "ClassAlias");
   IMPORT_CONSTANT(RBS_AST_Declarations_ModuleAlias, RBS_AST_Declarations, "ModuleAlias");
-
-  IMPORT_CONSTANT(RBS_AST_Directives, RBS_AST, "Directives");
+  IMPORT_CONSTANT(RBS_AST_Declarations_TypeAlias, RBS_AST_Declarations, "TypeAlias");
   IMPORT_CONSTANT(RBS_AST_Directives_Use, RBS_AST_Directives, "Use");
   IMPORT_CONSTANT(RBS_AST_Directives_Use_SingleClause, RBS_AST_Directives_Use, "SingleClause");
   IMPORT_CONSTANT(RBS_AST_Directives_Use_WildcardClause, RBS_AST_Directives_Use, "WildcardClause");
-
-  IMPORT_CONSTANT(RBS_AST_Members, RBS_AST, "Members");
   IMPORT_CONSTANT(RBS_AST_Members_Alias, RBS_AST_Members, "Alias");
   IMPORT_CONSTANT(RBS_AST_Members_AttrAccessor, RBS_AST_Members, "AttrAccessor");
   IMPORT_CONSTANT(RBS_AST_Members_AttrReader, RBS_AST_Members, "AttrReader");
@@ -120,12 +121,11 @@ void rbs__init_constants(void) {
   IMPORT_CONSTANT(RBS_AST_Members_Prepend, RBS_AST_Members, "Prepend");
   IMPORT_CONSTANT(RBS_AST_Members_Private, RBS_AST_Members, "Private");
   IMPORT_CONSTANT(RBS_AST_Members_Public, RBS_AST_Members, "Public");
-
+  IMPORT_CONSTANT(RBS_AST_TypeParam, RBS_AST, "TypeParam");
+  IMPORT_CONSTANT(RBS_MethodType, RBS, "MethodType");
   IMPORT_CONSTANT(RBS_Namespace, RBS, "Namespace");
   IMPORT_CONSTANT(RBS_TypeName, RBS, "TypeName");
-  IMPORT_CONSTANT(RBS_Types, RBS, "Types");
   IMPORT_CONSTANT(RBS_Types_Alias, RBS_Types, "Alias");
-  IMPORT_CONSTANT(RBS_Types_Bases, RBS_Types, "Bases");
   IMPORT_CONSTANT(RBS_Types_Bases_Any, RBS_Types_Bases, "Any");
   IMPORT_CONSTANT(RBS_Types_Bases_Bool, RBS_Types_Bases, "Bool");
   IMPORT_CONSTANT(RBS_Types_Bases_Bottom, RBS_Types_Bases, "Bottom");
@@ -139,7 +139,6 @@ void rbs__init_constants(void) {
   IMPORT_CONSTANT(RBS_Types_ClassInstance, RBS_Types, "ClassInstance");
   IMPORT_CONSTANT(RBS_Types_ClassSingleton, RBS_Types, "ClassSingleton");
   IMPORT_CONSTANT(RBS_Types_Function, RBS_Types, "Function");
-  IMPORT_CONSTANT(RBS_Types_UntypedFunction, RBS_Types, "UntypedFunction");
   IMPORT_CONSTANT(RBS_Types_Function_Param, RBS_Types_Function, "Param");
   IMPORT_CONSTANT(RBS_Types_Interface, RBS_Types, "Interface");
   IMPORT_CONSTANT(RBS_Types_Intersection, RBS_Types, "Intersection");
@@ -149,6 +148,6 @@ void rbs__init_constants(void) {
   IMPORT_CONSTANT(RBS_Types_Record, RBS_Types, "Record");
   IMPORT_CONSTANT(RBS_Types_Tuple, RBS_Types, "Tuple");
   IMPORT_CONSTANT(RBS_Types_Union, RBS_Types, "Union");
+  IMPORT_CONSTANT(RBS_Types_UntypedFunction, RBS_Types, "UntypedFunction");
   IMPORT_CONSTANT(RBS_Types_Variable, RBS_Types, "Variable");
-  IMPORT_CONSTANT(RBS_MethodType, RBS, "MethodType");
 }