Gecko [ www.beriskala.com ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
cli	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
collection	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
prototype	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
rdoc	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
resolver	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
shims	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
unit_test	[ DIR ]	drwxr-xr-x	2026-05-05 23:08
ancestor_builder.rbs	7.61 KB	-rw-r--r--	2026-04-07 16:50
ancestor_graph.rbs	2.12 KB	-rw-r--r--	2026-04-07 16:50
annotation.rbs	556 B	-rw-r--r--	2026-04-07 16:50
buffer.rbs	718 B	-rw-r--r--	2026-04-07 16:50
builtin_names.rbs	847 B	-rw-r--r--	2026-04-07 16:50
cli.rbs	2.23 KB	-rw-r--r--	2026-04-07 16:50
collection.rbs	41 B	-rw-r--r--	2026-04-07 16:50
comment.rbs	495 B	-rw-r--r--	2026-04-07 16:50
constant.rbs	465 B	-rw-r--r--	2026-04-07 16:50
declarations.rbs	8.22 KB	-rw-r--r--	2026-04-07 16:50
definition.rbs	5.67 KB	-rw-r--r--	2026-04-07 16:50
definition_builder.rbs	5.86 KB	-rw-r--r--	2026-04-07 16:50
diff.rbs	1.42 KB	-rw-r--r--	2026-04-07 16:50
directives.rbs	1.34 KB	-rw-r--r--	2026-04-07 16:50
environment.rbs	8.9 KB	-rw-r--r--	2026-04-07 16:50
environment_loader.rbs	3.76 KB	-rw-r--r--	2026-04-07 16:50
environment_walker.rbs	1.79 KB	-rw-r--r--	2026-04-07 16:50
errors.rbs	11.48 KB	-rw-r--r--	2026-04-07 16:50
factory.rbs	77 B	-rw-r--r--	2026-04-07 16:50
file_finder.rbs	1.27 KB	-rw-r--r--	2026-04-07 16:50
location.rbs	3.23 KB	-rw-r--r--	2026-04-07 16:50
locator.rbs	1.98 KB	-rw-r--r--	2026-04-07 16:50
manifest.yaml	115 B	-rw-r--r--	2026-04-07 16:50
members.rbs	7.71 KB	-rw-r--r--	2026-04-07 16:50
method_builder.rbs	3.17 KB	-rw-r--r--	2026-04-07 16:50
method_types.rbs	1.64 KB	-rw-r--r--	2026-04-07 16:50
namespace.rbs	3.48 KB	-rw-r--r--	2026-04-07 16:50
parser.rbs	3.72 KB	-rw-r--r--	2026-04-07 16:50
rbs.rbs	394 B	-rw-r--r--	2026-04-07 16:50
repository.rbs	2.42 KB	-rw-r--r--	2026-04-07 16:50
sorter.rbs	1.78 KB	-rw-r--r--	2026-04-07 16:50
substitution.rbs	1.47 KB	-rw-r--r--	2026-04-07 16:50
subtractor.rbs	1.77 KB	-rw-r--r--	2026-04-07 16:50
test.rbs	1.83 KB	-rw-r--r--	2026-04-07 16:50
type_alias_dependency.rbs	1.56 KB	-rw-r--r--	2026-04-07 16:50
type_alias_regularity.rbs	3.1 KB	-rw-r--r--	2026-04-07 16:50
type_param.rbs	3.62 KB	-rw-r--r--	2026-04-07 16:50
typename.rbs	2.25 KB	-rw-r--r--	2026-04-07 16:50
types.rbs	14.24 KB	-rw-r--r--	2026-04-07 16:50
use_map.rbs	736 B	-rw-r--r--	2026-04-07 16:50
util.rbs	128 B	-rw-r--r--	2026-04-07 16:50
validator.rbs	2.16 KB	-rw-r--r--	2026-04-07 16:50
variance_calculator.rbs	2.61 KB	-rw-r--r--	2026-04-07 16:50
vendorer.rbs	1.44 KB	-rw-r--r--	2026-04-07 16:50
version.rbs	33 B	-rw-r--r--	2026-04-07 16:50
visitor.rbs	1.57 KB	-rw-r--r--	2026-04-07 16:50
writer.rbs	3.04 KB	-rw-r--r--	2026-04-07 16:50

Rename

module RBS
  class Subtractor
    type decl_with_members = AST::Declarations::Class | AST::Declarations::Module

@minuend: Array[AST::Declarations::t]
    @subtrahend: Environment

def initialize: (Array[AST::Declarations::t] minuend, Environment subtrahend) -> void

def call: (?Array[AST::Declarations::t], ?context: Resolver::context) -> Array[AST::Declarations::t]

private def filter_members: (decl_with_members, context: Resolver::context) -> decl_with_members?

private def member_exist?: (TypeName owner, AST::Members::t, context: Resolver::context) -> boolish

private def method_exist?: (TypeName owner, Symbol method_name, AST::Members::MethodDefinition::kind) -> boolish

private def ivar_exist?: (TypeName owner, Symbol ivar_name, AST::Members::Attribute::kind) -> boolish

private def cvar_exist?: (TypeName owner, Symbol cvar_name) -> boolish

private def each_member: (TypeName owner) { (AST::Members::t | AST::Declarations::t) -> void } -> void
                           | (TypeName owner) -> Enumerator[(AST::Members::t | AST::Declarations::t), void]

private def mixin_exist?: (TypeName owner, AST::Members::Include | AST::Members::Extend | AST::Members::Prepend, context: Resolver::context) -> boolish

private def filter_redundunt_access_modifiers: (Array[AST::Declarations::t | AST::Members::t]) -> Array[AST::Declarations::t | AST::Members::t]

private def access_modifier?: (AST::Declarations::t | AST::Members::t?) -> bool

private def update_decl: (decl_with_members, members: Array[AST::Declarations::t | AST::Members::t]) -> decl_with_members

private def absolute_typename: (TypeName, context: Resolver::context) -> TypeName

private def typename_candidates: (TypeName, context: Resolver::context) -> Array[TypeName]
  end
end