validator.rbs in steep-1.4.0.dev.2

- old
+ new

@@ -7,11 +7,11 @@
 
       attr_reader checker: Subtyping::Check
 
       @errors: Array[Diagnostic::Signature::Base]
 
-      @type_name_resolver: RBS::TypeNameResolver?
+      @type_name_resolver: RBS::Resolver::TypeNameResolver?
 
       @validator: RBS::Validator?
 
       def initialize: (checker: Subtyping::Check) -> void
 
@@ -24,11 +24,11 @@
 
       def env: () -> RBS::Environment
 
       def builder: () -> RBS::DefinitionBuilder
 
-      def type_name_resolver: () -> RBS::TypeNameResolver
+      def type_name_resolver: () -> RBS::Resolver::TypeNameResolver
 
       def validator: () -> RBS::Validator
 
       def factory: () -> AST::Types::Factory
 
@@ -58,16 +58,20 @@
 
       def validate_decl: () -> void
 
       def validate_const: () -> void
 
-      def validate_one_constant: (RBS::TypeName name, RBS::Environment::SingleEntry[RBS::TypeName, RBS::AST::Declarations::Constant] entry) -> void
+      def validate_one_constant: (RBS::TypeName name, RBS::Environment::ConstantEntry entry) -> void
 
       def validate_global: () -> void
 
-      def validate_one_global: (Symbol name, RBS::Environment::SingleEntry[Symbol, RBS::AST::Declarations::Global]) -> void
+      def validate_one_global: (Symbol name, RBS::Environment::GlobalEntry) -> void
 
-      def validate_one_alias: (RBS::TypeName name, ?RBS::Environment::SingleEntry[RBS::TypeName, RBS::AST::Declarations::Alias] entry) -> void
+      def validate_one_alias: (RBS::TypeName name, ?RBS::Environment::TypeAliasEntry entry) -> void
+
+      def validate_one_class_decl: (RBS::TypeName) -> void
+                                 
+      def validate_one_class_alias: (RBS::TypeName, RBS::Environment::ClassAliasEntry | RBS::Environment::ModuleAliasEntry) -> void
 
       def validate_alias: () -> void
 
       def rescue_validation_errors: (?RBS::TypeName? type_name) { () -> void } -> void
     end