Method List

Classes Methods Files

Search:

#! TRuby::SMT::Formula
#& TRuby::SMT::Formula
#<< TRuby::ParserCombinator::Parser
#<=> TRuby::SemanticVersion
#== TRuby::SMT::And
#== TRuby::SMT::Or
#== TRuby::SMT::Iff
#== TRuby::SMT::Not
#== TRuby::SMT::Variable
#== TRuby::SMT::BoolConst
#== TRuby::SMT::TypeVar
#== TRuby::SMT::ConcreteType
#== TRuby::SMT::Implies
#== TRuby::SMT::TypeEqual
#== TRuby::SMT::Subtype
#>> TRuby::ParserCombinator::Parser
#accept TRuby::IR::Node
#access TRuby::CacheEntry
#accessed_at TRuby::CacheEntry
#actual TRuby::TypeCheckError
#actual_type TRuby::RuntimeTypeError
#add TRuby::PackageManager
#add_constraint TRuby::SMT::ConstraintSolver
#add_declaration_path TRuby::Compiler
#add_dependency TRuby::IncrementalCompiler
#add_dependency TRuby::PackageManifest
#add_dev_dependency TRuby::PackageManifest
#add_equal TRuby::SMT::ConstraintSolver
#add_search_path TRuby::DeclarationLoader
#add_subtype TRuby::SMT::ConstraintSolver
#add_type_gem TRuby::BundlerIntegration
#add_warning TRuby::TypeInferencer
#all TRuby::SMT::DSL
#all TRuby::TypeAliasRegistry
#all_types TRuby::CrossFileTypeChecker
#alphanumeric TRuby::ParserCombinator::DSL
#antecedent TRuby::SMT::Implies
#any TRuby::SMT::DSL
#api_key_info TRuby::RemoteRegistry
#arguments TRuby::IR::MethodCall
#assignments TRuby::SMT::SATSolver
#author TRuby::PackageManifest
#base TRuby::IR::GenericType
#base_type TRuby::LengthConstraint
#base_type TRuby::PredicateConstraint
#base_type TRuby::PatternConstraint
#base_type TRuby::NumericRangeConstraint
#between TRuby::ParserCombinator::Parser
#block TRuby::IR::MethodCall
#body TRuby::IR::BeginBlock
#body TRuby::IR::ClassDecl
#body TRuby::IR::MethodDef
#body TRuby::IR::ModuleDecl
#body TRuby::IR::ForLoop
#body TRuby::IR::Loop
#body TRuby::IR::Lambda
#body TRuby::IR::WhenClause
#body TRuby::IR::RescueClause
#bounds TRuby::SMT::TypeVar
#branch TRuby::FlowContext
#build TRuby::IR::Builder
#build_from_source TRuby::IR::Builder
#bundler TRuby::PackageManager
#bundler_project? TRuby::BundlerIntegration
#cache_dir TRuby::FileCache
#cache_dir TRuby::RemoteRegistry
#chainl TRuby::ParserCombinator::DSL
#changes_made TRuby::IR::Passes::Pass
#char TRuby::ParserCombinator::DSL
#check TRuby::ErrorHandler
check TRuby::VersionChecker
#check TRuby::VersionChecker
#check_all TRuby::CrossFileTypeChecker
#check_assignment TRuby::TypeChecker
#check_call TRuby::TypeChecker
#check_circular TRuby::DependencyResolver
#check_file TRuby::CrossFileTypeChecker
#check_function TRuby::TypeChecker
#check_function_legacy TRuby::TypeChecker
#check_interface TRuby::TypeChecker
#check_method_with_smt TRuby::TypeChecker
#check_no_implicit_any? TRuby::Config
#check_no_unused_vars? TRuby::Config
#check_operator TRuby::TypeChecker
#check_program TRuby::TypeChecker
#check_program_legacy TRuby::TypeChecker
#check_property_access TRuby::TypeChecker
#check_return TRuby::TypeChecker
#check_statement TRuby::TypeChecker
#check_strict_nil? TRuby::Config
#check_version_compatibility TRuby::BundlerIntegration
#check_with_constraints TRuby::SMTTypeChecker
#child_scope TRuby::TypeScope
#children TRuby::IR::Assignment
#children TRuby::IR::Block
#children TRuby::IR::Conditional
#children TRuby::IR::HashPair
#children TRuby::IR::BeginBlock
#children TRuby::IR::ArrayLiteral
#children TRuby::IR::RescueClause
#children TRuby::IR::Return
#children TRuby::IR::CaseExpr
#children TRuby::IR::WhenClause
#children TRuby::IR::BinaryOp
#children TRuby::IR::ForLoop
#children TRuby::IR::Loop
#children TRuby::IR::UnaryOp
#children TRuby::IR::Lambda
#children TRuby::IR::MethodDef
#children TRuby::IR::TypeCast
#children TRuby::IR::ModuleDecl
#children TRuby::IR::ClassDecl
#children TRuby::IR::Interface
#children TRuby::IR::Program
#children TRuby::IR::MethodCall
#children TRuby::IR::Node
#children TRuby::IR::TypeGuard
#choice TRuby::ParserCombinator::DSL
#clean_before_build? TRuby::Config
#clear TRuby::TypeResolutionCache
#clear TRuby::ConstrainedTypeRegistry
#clear TRuby::EnhancedIncrementalCompiler
#clear TRuby::IncrementalCompiler
#clear TRuby::CrossFileTypeChecker
#clear TRuby::FileCache
#clear TRuby::TypeAliasRegistry
#clear TRuby::MemoryCache
#clear TRuby::DeclarationCache
#code TRuby::IR::RawCode
#code TRuby::DocsExampleExtractor::CodeExample
#column TRuby::ParserCombinator::ParseError
#common_supertype TRuby::TypeHierarchy
#compare TRuby::BenchmarkSuite
compare TRuby::QuickBenchmark
#compatible? TRuby::TypeHierarchy
#compile TRuby::IncrementalCompiler
#compile TRuby::Compiler
#compile_all TRuby::IncrementalCompiler
#compile_all_with_checking TRuby::EnhancedIncrementalCompiler
#compile_from_ir TRuby::Compiler
#compile_string TRuby::Compiler
#compile_to_ir TRuby::Compiler
#compile_with_ir TRuby::EnhancedIncrementalCompiler
#compiler TRuby::Config
#compute_output_path TRuby::Compiler
#compute_relative_path TRuby::Compiler
#concrete TRuby::SMT::DSL
#condition TRuby::IR::Loop
#condition TRuby::IR::Conditional
#condition TRuby::Constraint
#confidence TRuby::InferredType
#config TRuby::BenchmarkSuite
#config TRuby::DocGenerator
#config TRuby::RuntimeValidator
#conflicts TRuby::DependencyResolver
#conflicts TRuby::SMT::SATSolver
#consequent TRuby::SMT::Implies
#constraints TRuby::VersionConstraint
#constraints TRuby::SMT::ConstraintSolver
#constraints TRuby::ConstraintChecker
#context TRuby::ParserCombinator::ParseError
#create_type_gem_scaffold TRuby::BundlerIntegration
#created_at TRuby::CacheEntry
#cross_file_checker TRuby::EnhancedIncrementalCompiler
#declaration_loader TRuby::Compiler
#declarations TRuby::DeclarationLoader
#declarations TRuby::IR::Program
#default_value TRuby::IR::Parameter
#define TRuby::TypeScope
#definition TRuby::IR::TypeAlias
#delete TRuby::FileCache
#delete TRuby::MemoryCache
#dependencies TRuby::IncrementalCompiler
#dependencies TRuby::PackageManifest
#deprecate TRuby::PackageManager
#description TRuby::PackageManifest
#dev_dependencies TRuby::PackageManifest
#diagnostics TRuby::TypeChecker
#digit TRuby::ParserCombinator::DSL
#discover_type_packages TRuby::BundlerIntegration
#docs TRuby::DocGenerator
#download TRuby::RemoteRegistry
#element_type TRuby::IR::ArrayLiteral
#element_types TRuby::IR::TupleType
#elements TRuby::IR::ArrayLiteral
#else_branch TRuby::IR::Conditional
#else_clause TRuby::IR::BeginBlock
#else_clause TRuby::IR::CaseExpr
#ensure_clause TRuby::IR::BeginBlock
#eof TRuby::ParserCombinator::DSL
#eql? TRuby::SMT::ConcreteType
#eql? TRuby::SMT::TypeVar
#eql? TRuby::SMT::Variable
#erase TRuby::TypeErasure
#error TRuby::ParserCombinator::ParseResult
#errors TRuby::BundlerIntegration
#errors TRuby::ConstrainedTypeRegistry
#errors TRuby::ConstraintChecker
#errors TRuby::CrossFileTypeChecker
#errors TRuby::SMT::ConstraintSolver
#errors TRuby::DocsExampleVerifier::VerificationResult
#errors TRuby::TypeChecker
#exact_length TRuby::LengthConstraint
#example TRuby::DocsExampleVerifier::VerificationResult
#exception_types TRuby::IR::RescueClause
#exclude_patterns TRuby::Config
#excluded? TRuby::Config
#expected TRuby::TypeCheckError
#expected_type TRuby::RuntimeTypeError
#experimental_enabled? TRuby::Config
#experimental_features TRuby::Config
#export_json TRuby::BenchmarkSuite
#export_markdown TRuby::BenchmarkSuite
#expression TRuby::IR::TypeGuard
#expression TRuby::IR::TypeCast
#extends TRuby::IR::Interface
#extract_from_content TRuby::DocsExampleExtractor
#extract_from_file TRuby::DocsExampleExtractor
#extract_from_glob TRuby::DocsExampleExtractor
#fail TRuby::ParserCombinator::DSL
#fail? TRuby::DocsExampleVerifier::VerificationResult
failure TRuby::ParserCombinator::ParseResult
#failure? TRuby::ParserCombinator::ParseResult
#file_hashes TRuby::IncrementalCompiler
#file_path TRuby::DocsExampleVerifier::VerificationResult
#file_path TRuby::DocsExampleExtractor::CodeExample
#file_types TRuby::CrossFileTypeChecker
#find_definition TRuby::CrossFileTypeChecker
#find_source_files TRuby::Config
#flat_map TRuby::ParserCombinator::Parser
#flat_map TRuby::ParserCombinator::ParseResult
#float TRuby::ParserCombinator::DSL
#free_variables TRuby::SMT::Implies
#free_variables TRuby::SMT::Not
#free_variables TRuby::SMT::Formula
#free_variables TRuby::SMT::TypeVar
#free_variables TRuby::SMT::BoolConst
#free_variables TRuby::SMT::Variable
#free_variables TRuby::SMT::And
#free_variables TRuby::SMT::TypeEqual
#free_variables TRuby::SMT::Subtype
#free_variables TRuby::SMT::HasProperty
#free_variables TRuby::SMT::Iff
#free_variables TRuby::SMT::Or
#fresh_var TRuby::SMT::ConstraintSolver
#functions TRuby::DeclarationLoader
#functions TRuby::DeclarationParser
#generate TRuby::DocGenerator
#generate TRuby::IRCodeGenerator
#generate TRuby::RBSGenerator
#generate TRuby::DeclarationGenerator
#generate TRuby::IR::RBSGenerator
#generate TRuby::IR::CodeGenerator
#generate_all TRuby::DocsBadgeGenerator
#generate_badge_json TRuby::DocsBadgeGenerator
#generate_badge_svg TRuby::DocsBadgeGenerator
#generate_bundle_manifest TRuby::BundlerIntegration
#generate_file TRuby::DeclarationGenerator
#generate_file_to_path TRuby::DeclarationGenerator
#generate_function_signature TRuby::RBSGenerator
#generate_function_validation TRuby::RuntimeValidator
#generate_generic_check TRuby::RuntimeValidator
#generate_intersection_check TRuby::RuntimeValidator
#generate_json TRuby::DocGenerator
#generate_markdown TRuby::DocGenerator
#generate_param_validation TRuby::RuntimeValidator
#generate_rbs? TRuby::Config
#generate_report_json TRuby::DocsBadgeGenerator
#generate_report_markdown TRuby::DocsBadgeGenerator
#generate_return_validation TRuby::RuntimeValidator
#generate_simple_type_check TRuby::RuntimeValidator
#generate_type_alias TRuby::RBSGenerator
#generate_type_aliases TRuby::RBSGenerator
#generate_type_check TRuby::RuntimeValidator
#generate_union_check TRuby::RuntimeValidator
#generate_validation_code TRuby::ConstraintChecker
#generate_validation_module TRuby::RuntimeValidator
#generate_with_source TRuby::IRCodeGenerator
#get TRuby::MemoryCache
#get TRuby::ConstrainedTypeRegistry
#get TRuby::FileCache
#get TRuby::TypeResolutionCache
#get TRuby::ParseCache
#get TRuby::DeclarationCache
#get_function TRuby::DeclarationParser
#get_interface TRuby::DeclarationParser
#get_ir TRuby::EnhancedIncrementalCompiler
#get_narrowed_type TRuby::FlowContext
#get_package TRuby::PackageRegistry
#get_variable_type TRuby::TypeInferencer
#get_versions TRuby::PackageRegistry
#guard_conditions TRuby::FlowContext
#handle_message TRuby::LSPServer
#has_property TRuby::SMT::DSL
#hash TRuby::SMT::TypeVar
#hash TRuby::SMT::ConcreteType
#hash TRuby::SMT::Variable
#hierarchy TRuby::TypeChecker
#high_confidence? TRuby::InferredType
#hit_rate TRuby::MemoryCache
#hits TRuby::MemoryCache
#hits TRuby::CacheEntry
#identifier TRuby::ParserCombinator::DSL
#iff TRuby::SMT::Formula
#implements TRuby::IR::ClassDecl
#implies TRuby::SMT::Formula
#include_patterns TRuby::Config
included TRuby::RuntimeTypeChecks
#incremental_compiler TRuby::Watcher
#infer TRuby::SMT::ConstraintSolver
#infer_body TRuby::SMT::TypeInferenceEngine
#infer_expression TRuby::SMT::TypeInferenceEngine
#infer_expression_type TRuby::TypeInferencer
#infer_generic_params TRuby::TypeInferencer
#infer_literal TRuby::TypeInferencer
#infer_method TRuby::SMT::TypeInferenceEngine
#infer_method_call TRuby::TypeInferencer
#infer_narrowed_type TRuby::TypeInferencer
#infer_param_type TRuby::TypeChecker
#infer_parameter_types TRuby::TypeInferencer
#infer_return_type TRuby::TypeInferencer
#infer_statement TRuby::SMT::TypeInferenceEngine
#inferencer TRuby::TypeChecker
#inferred_type TRuby::SMTTypeChecker
#inferred_types TRuby::TypeInferencer
#info TRuby::RemoteRegistry
#init TRuby::PackageManager
#init TRuby::BundlerIntegration
#initialize TRuby::ParallelProcessor
#initialize TRuby::ParserCombinator::Many
#initialize TRuby::IncrementalCompiler
#initialize TRuby::ValidationConfig
#initialize TRuby::ParserCombinator::NotFollowedBy
#initialize TRuby::TypeResolutionCache
#initialize TRuby::SMT::TypeInferenceEngine
#initialize TRuby::ParserCombinator::Regex
#initialize TRuby::FileCache
#initialize TRuby::ParseCache
#initialize TRuby::DeclarationCache
#initialize TRuby::ParserCombinator::ParseResult
#initialize TRuby::CacheEntry
#initialize TRuby::LegacyTypeChecker
#initialize TRuby::ParserCombinator::Satisfy
#initialize TRuby::CLI
#initialize TRuby::InferredType
#initialize TRuby::IR::Optimizer
#initialize TRuby::ParserCombinator::Pure
#initialize TRuby::IR::Passes::UnusedDeclarationRemoval
#initialize TRuby::IR::Passes::TypeAnnotationCleanup
#initialize TRuby::MemoryCache
#initialize TRuby::ParserCombinator::Map
#initialize TRuby::IR::Passes::DeadCodeElimination
#initialize TRuby::IR::Passes::Pass
#initialize TRuby::ParserCombinator::ChainLeft
#initialize TRuby::IR::RBSGenerator
#initialize TRuby::IR::Passes::ConstantFolding
#initialize TRuby::PackageManifest
#initialize TRuby::IR::CodeGenerator
#initialize TRuby::IR::Builder
#initialize TRuby::DeclarationParser
#initialize TRuby::IR::LiteralType
#initialize TRuby::DocsExampleVerifier
#initialize TRuby::ConstrainedTypeRegistry
#initialize TRuby::RemoteRegistry
#initialize TRuby::SMT::ConcreteType
#initialize TRuby::SMT::HasProperty
#initialize TRuby::IR::TupleType
#initialize TRuby::IR::FunctionType
#initialize TRuby::TypeChecker
#initialize TRuby::IR::IntersectionType
#initialize TRuby::IR::UnionType
#initialize TRuby::IR::GenericType
#initialize TRuby::IR::SimpleType
#initialize TRuby::TypeInferencer
#initialize TRuby::RBSGenerator
#initialize TRuby::IR::RawCode
#initialize TRuby::IR::RescueClause
#initialize TRuby::IR::BeginBlock
#initialize TRuby::DeclarationLoader
#initialize TRuby::IR::TypeGuard
#initialize TRuby::IR::Lambda
#initialize TRuby::ParserCombinator::Fail
#initialize TRuby::IR::TypeCast
#initialize TRuby::ConstraintChecker
#initialize TRuby::IR::BinaryOp
#initialize TRuby::IR::UnaryOp
#initialize TRuby::TypeErasure
#initialize TRuby::DependencyResolver
#initialize TRuby::IR::ForLoop
#initialize TRuby::IR::Return
#initialize TRuby::IR::WhenClause
#initialize TRuby::IR::Loop
#initialize TRuby::IR::CaseExpr
#initialize TRuby::IR::Conditional
#initialize TRuby::IR::HashLiteral
#initialize TRuby::IR::HashPair
#initialize TRuby::IR::ArrayLiteral
#initialize TRuby::IR::Literal
#initialize TRuby::ParserCombinator::TypeParser
#initialize TRuby::ParserCombinator::Choice
#initialize TRuby::SMT::ConstraintSolver
#initialize TRuby::SMT::SATSolver
#initialize TRuby::IR::VariableRef
#initialize TRuby::ParserCombinator::Lazy
#initialize TRuby::IR::Assignment
#initialize TRuby::IR::Block
#initialize TRuby::EqualityConstraint
#initialize TRuby::ParserCombinator::Optional
#initialize TRuby::IR::Parameter
#initialize TRuby::ParserCombinator::DeclarationParser
#initialize TRuby::IR::NullableType
#initialize TRuby::IR::MethodDef
#initialize TRuby::DeclarationGenerator
#initialize TRuby::RuntimeValidator
#initialize TRuby::SMT::BoolConst
#initialize TRuby::ParserCombinator::ParseError
#initialize TRuby::ParserCombinator::Sequence
#initialize TRuby::NumericRangeConstraint
#initialize TRuby::BenchmarkSuite
#initialize TRuby::LSPServer
#initialize TRuby::ParserCombinator::Alternative
#initialize TRuby::LegacyCompiler
#initialize TRuby::IRCodeGenerator
#initialize TRuby::ErrorHandler
#initialize TRuby::FlowContext
#initialize TRuby::Watcher
#initialize TRuby::LegacyParser
#initialize TRuby::DocGenerator
#initialize TRuby::TypeCheckError
#initialize TRuby::Parser
#initialize TRuby::IntersectionTypeParser
#initialize TRuby::PackageRegistry
#initialize TRuby::DocsBadgeGenerator
#initialize TRuby::Compiler
#initialize TRuby::BoundsConstraint
#initialize TRuby::PackageManager
#initialize TRuby::Config
#initialize TRuby::SMTTypeChecker
#initialize TRuby::EnhancedIncrementalCompiler
#initialize TRuby::CrossFileTypeChecker
#initialize TRuby::CompilationProfiler
#initialize TRuby::ParserCombinator::Many1
#initialize TRuby::TypeAliasRegistry
#initialize TRuby::ParserCombinator::Label
#initialize TRuby::SMT::Or
#initialize TRuby::ParserCombinator::SkipRight
#initialize TRuby::SemanticVersion
#initialize TRuby::ParserCombinator::Literal
#initialize TRuby::ParserCombinator::SepBy1
#initialize TRuby::SMT::And
#initialize TRuby::RuntimeTypeError
#initialize TRuby::SMT::Variable
#initialize TRuby::LengthConstraint
#initialize TRuby::SMT::Not
#initialize TRuby::ParserCombinator::SepBy
#initialize TRuby::SMT::Iff
#initialize TRuby::ParserCombinator::Lookahead
#initialize TRuby::SMT::Implies
#initialize TRuby::UnionTypeParser
#initialize TRuby::SMT::TypeVar
#initialize TRuby::VersionConstraint
#initialize TRuby::SMT::Subtype
#initialize TRuby::TypeScope
#initialize TRuby::GenericTypeParser
#initialize TRuby::IR::MethodCall
#initialize TRuby::TypeHierarchy
#initialize TRuby::PatternConstraint
#initialize TRuby::BundlerIntegration
#initialize TRuby::IR::ModuleDecl
#initialize TRuby::IR::ClassDecl
#initialize TRuby::IR::Interface
#initialize TRuby::IR::InterfaceMember
#initialize TRuby::ParserCombinator::FlatMap
#initialize TRuby::IR::Program
#initialize TRuby::IR::TypeAlias
#initialize TRuby::IR::Node
#initialize TRuby::Constraint
#initialize TRuby::PredicateConstraint
#initialize TRuby::SMT::TypeEqual
#inner_type TRuby::IR::NullableType
#input TRuby::ParserCombinator::ParseError
#install TRuby::PackageRegistry
#install TRuby::PackageManager
#install_with_bundler_fallback TRuby::PackageManager
#integer TRuby::ParserCombinator::DSL
#interfaces TRuby::DeclarationParser
#interfaces TRuby::DeclarationLoader
#invalidate TRuby::ParseCache
#ir_cache TRuby::EnhancedIncrementalCompiler
#ir_program TRuby::Parser
#iterable TRuby::IR::ForLoop
#key TRuby::CacheEntry
#key TRuby::IR::HashPair
#key_type TRuby::IR::HashLiteral
#keywords TRuby::PackageManifest
#kind TRuby::IR::TypeCast
#kind TRuby::IR::Loop
#kind TRuby::IR::Conditional
#kind TRuby::IR::Parameter
#known_type? TRuby::TypeChecker
#label TRuby::ParserCombinator::Parser
#language TRuby::DocsExampleExtractor::CodeExample
#lazy TRuby::ParserCombinator::DSL
#left TRuby::SMT::Iff
#left TRuby::SMT::Or
#left TRuby::SMT::And
#left TRuby::IR::BinaryOp
#left TRuby::SMT::TypeEqual
#left_type TRuby::EqualityConstraint
#letter TRuby::ParserCombinator::DSL
#lexeme TRuby::ParserCombinator::DSL
#license TRuby::PackageManifest
#line TRuby::ParserCombinator::ParseError
#line_number TRuby::DocsExampleExtractor::CodeExample
#line_number TRuby::DocsExampleVerifier::VerificationResult
#list TRuby::PackageManager
#list TRuby::ConstrainedTypeRegistry
#literal TRuby::ParserCombinator::DSL
#literal_type TRuby::IR::Literal
#load TRuby::DeclarationLoader
load TRuby::PackageManifest
#load_all TRuby::DeclarationLoader
#load_bundled_types TRuby::BundlerIntegration
#load_declaration TRuby::Compiler
#load_directory TRuby::DeclarationParser
#load_local TRuby::PackageRegistry
#loaded_files TRuby::DeclarationLoader
#local_path TRuby::PackageRegistry
#location TRuby::RuntimeTypeError
#location TRuby::InferredType
#location TRuby::IR::Node
#location TRuby::TypeCheckError
#log_violations TRuby::ValidationConfig
#lookahead TRuby::ParserCombinator::Parser
#lookup TRuby::TypeScope
#low_confidence? TRuby::InferredType
#main TRuby::PackageManifest
#major TRuby::SemanticVersion
#manifest TRuby::PackageManager
#many TRuby::ParserCombinator::Parser
#many1 TRuby::ParserCombinator::Parser
#map TRuby::ParserCombinator::Parser
#map TRuby::ParserCombinator::ParseResult
#max TRuby::NumericRangeConstraint
#max_age TRuby::FileCache
#max_length TRuby::LengthConstraint
#max_size TRuby::MemoryCache
measure TRuby::QuickBenchmark
#medium_confidence? TRuby::InferredType
#members TRuby::IR::Interface
#merge TRuby::DeclarationParser
#merge TRuby::FlowContext
#message TRuby::ParserCombinator::ParseError
#message TRuby::Constraint
#message TRuby::TypeCheckError
#metadata TRuby::DocsExampleExtractor::CodeExample
#metadata TRuby::IR::Node
#method_name TRuby::IR::MethodCall
#migrate_to_bundler TRuby::PackageManager
#min TRuby::NumericRangeConstraint
#min_length TRuby::LengthConstraint
#minor TRuby::SemanticVersion
#misses TRuby::MemoryCache
#name TRuby::SMT::TypeVar
#name TRuby::SMT::Variable
#name TRuby::IR::Passes::Pass
#name TRuby::IR::SimpleType
#name TRuby::PackageManifest
#name TRuby::IR::VariableRef
#name TRuby::IR::Parameter
#name TRuby::IR::MethodDef
#name TRuby::IR::ModuleDecl
#name TRuby::IR::ClassDecl
#name TRuby::IR::InterfaceMember
#name TRuby::IR::Interface
#name TRuby::IR::TypeAlias
#name TRuby::SMT::ConcreteType
#narrow TRuby::FlowContext
#narrow_in_conditional TRuby::TypeChecker
#narrowed_type TRuby::IR::TypeGuard
#narrowed_types TRuby::FlowContext
#needs_compile? TRuby::IncrementalCompiler
#newline TRuby::ParserCombinator::DSL
#not_followed_by TRuby::ParserCombinator::Parser
#operand TRuby::SMT::Not
#operand TRuby::IR::UnaryOp
#operator TRuby::IR::UnaryOp
#operator TRuby::IR::BinaryOp
#optimization_stats TRuby::Compiler
#optimize TRuby::IR::Optimizer
#optimizer TRuby::Compiler
#optional TRuby::ParserCombinator::Parser
#optional TRuby::IR::InterfaceMember
#out_dir TRuby::Config
#output TRuby::DocsExampleVerifier::VerificationResult
#output TRuby::Config
#output TRuby::IR::RBSGenerator
#output TRuby::IR::CodeGenerator
#packages TRuby::PackageRegistry
#pairs TRuby::IR::HashLiteral
#param_types TRuby::IR::FunctionType
#params TRuby::IR::Lambda
#params TRuby::IR::MethodDef
#parent TRuby::TypeScope
#parse TRuby::ParserCombinator::DeclarationParser
#parse TRuby::ParserCombinator::SkipRight
#parse TRuby::ParserCombinator::Fail
#parse TRuby::ParserCombinator::TypeParser
#parse TRuby::ParserCombinator::SepBy1
#parse TRuby::ParserCombinator::Lazy
#parse TRuby::ParserCombinator::Pure
#parse TRuby::ParserCombinator::Parser
#parse TRuby::ParserCombinator::ChainLeft
#parse TRuby::Parser
#parse TRuby::ParserCombinator::SepBy
parse TRuby::SemanticVersion
#parse TRuby::ParserCombinator::Label
#parse TRuby::ParserCombinator::Many
#parse TRuby::ParserCombinator::Alternative
#parse TRuby::ParserCombinator::FlatMap
#parse TRuby::ParserCombinator::Optional
#parse TRuby::UnionTypeParser
#parse TRuby::ParserCombinator::Many1
#parse TRuby::ParserCombinator::EndOfInput
#parse TRuby::DeclarationParser
#parse TRuby::GenericTypeParser
#parse TRuby::ParserCombinator::Literal
#parse TRuby::ParserCombinator::Satisfy
#parse TRuby::ParserCombinator::NotFollowedBy
#parse TRuby::IntersectionTypeParser
#parse TRuby::ParserCombinator::Lookahead
#parse TRuby::ParserCombinator::Map
#parse TRuby::ParserCombinator::Regex
#parse TRuby::ParserCombinator::Sequence
#parse TRuby::ParserCombinator::Choice
#parse_and_merge TRuby::DeclarationParser
#parse_constraint TRuby::ConstraintChecker
#parse_file TRuby::ParserCombinator::DeclarationParser
#parse_file TRuby::DeclarationParser
#parse_to_ir TRuby::Parser
#parse_type TRuby::Parser
#pass? TRuby::DocsExampleVerifier::VerificationResult
#passes TRuby::IR::Optimizer
#patch TRuby::SemanticVersion
#pattern TRuby::PatternConstraint
#patterns TRuby::IR::WhenClause
#pop_guard TRuby::FlowContext
#position TRuby::ParserCombinator::ParseResult
#position TRuby::ParserCombinator::ParseError
#predicate TRuby::PredicateConstraint
#prerelease TRuby::SemanticVersion
#print_results TRuby::DocsExampleVerifier
#process_files TRuby::ParallelProcessor
#process_with_queue TRuby::ParallelProcessor
#profile TRuby::CompilationProfiler
#project_dir TRuby::BundlerIntegration
#property TRuby::SMT::HasProperty
#property_type TRuby::SMT::HasProperty
#prune TRuby::FileCache
#publish TRuby::PackageManager
#pure TRuby::ParserCombinator::DSL
#push TRuby::RemoteRegistry
#push_guard TRuby::FlowContext
#quoted_string TRuby::ParserCombinator::DSL
#raise_on_error TRuby::ValidationConfig
#rbs? TRuby::DocsExampleExtractor::CodeExample
#rbs_dir TRuby::Config
#read_message TRuby::LSPServer
#receiver TRuby::IR::MethodCall
#record_variable_type TRuby::TypeInferencer
#regex TRuby::ParserCombinator::DSL
#register TRuby::ConstrainedTypeRegistry
#register TRuby::ConstraintChecker
#register TRuby::TypeAliasRegistry
#register TRuby::PackageRegistry
#register_alias TRuby::TypeChecker
#register_file TRuby::CrossFileTypeChecker
#register_from_source TRuby::ConstrainedTypeRegistry
#register_function TRuby::TypeChecker
#register_subtype TRuby::TypeHierarchy
#registered? TRuby::ConstrainedTypeRegistry
#registry TRuby::PackageManager
#registry_url TRuby::RemoteRegistry
#remaining TRuby::ParserCombinator::ParseResult
#remote TRuby::PackageRegistry
#remove TRuby::PackageManager
#remove_dependency TRuby::PackageManifest
#remove_type_gem TRuby::BundlerIntegration
#report TRuby::CompilationProfiler
#repository TRuby::PackageManifest
#rescue_clauses TRuby::IR::BeginBlock
#reset TRuby::CompilationProfiler
#reset TRuby::TypeInferencer
#reset TRuby::TypeChecker
#resolve TRuby::TypeAliasRegistry
#resolve TRuby::DependencyResolver
#resolve_type TRuby::DeclarationLoader
#resolve_type TRuby::DeclarationParser
#resolve_type TRuby::TypeChecker
#resolved TRuby::DependencyResolver
#resolver TRuby::PackageManager
#results TRuby::BenchmarkSuite
#return_type TRuby::IR::FunctionType
#return_type TRuby::IR::Lambda
#return_type TRuby::IR::MethodDef
#right TRuby::SMT::Iff
#right TRuby::SMT::Or
#right TRuby::SMT::And
#right TRuby::IR::BinaryOp
#right TRuby::SMT::TypeEqual
#right_type TRuby::EqualityConstraint
#ruby? TRuby::DocsExampleExtractor::CodeExample
#ruby_dir TRuby::Config
#run TRuby::LSPServer
run TRuby::CLI
#run TRuby::CLI
#run TRuby::IR::Passes::Pass
#run_all TRuby::BenchmarkSuite
#run_category TRuby::BenchmarkSuite
#satisfied? TRuby::BoundsConstraint
#satisfied? TRuby::NumericRangeConstraint
#satisfied? TRuby::EqualityConstraint
#satisfied? TRuby::PatternConstraint
#satisfied? TRuby::LengthConstraint
#satisfied? TRuby::PredicateConstraint
#satisfied_by? TRuby::VersionConstraint
#satisfies? TRuby::SemanticVersion
#satisfy TRuby::ParserCombinator::DSL
#save TRuby::PackageManifest
#scope TRuby::IR::VariableRef
#search TRuby::RemoteRegistry
#search TRuby::PackageRegistry
#search_paths TRuby::DeclarationLoader
#send_notification TRuby::LSPServer
#send_response TRuby::LSPServer
#sep_by TRuby::ParserCombinator::Parser
#sep_by1 TRuby::ParserCombinator::Parser
#sequence TRuby::ParserCombinator::DSL
#set TRuby::DeclarationCache
#set TRuby::TypeResolutionCache
#set TRuby::ParseCache
#set TRuby::FileCache
#set TRuby::MemoryCache
#severity TRuby::TypeCheckError
#should_compile? TRuby::DocsExampleExtractor::CodeExample
#should_typecheck? TRuby::DocsExampleExtractor::CodeExample
#should_validate? TRuby::RuntimeValidator
#should_verify? TRuby::DocsExampleExtractor::CodeExample
#simplify TRuby::SMT::Iff
#simplify TRuby::SMT::Implies
#simplify TRuby::SMT::TypeEqual
#simplify TRuby::SMT::Subtype
#simplify TRuby::SMT::Or
#simplify TRuby::SMT::And
#simplify TRuby::SMT::Not
#simplify TRuby::SMT::BoolConst
#simplify TRuby::SMT::Formula
#size TRuby::MemoryCache
#skip? TRuby::DocsExampleVerifier::VerificationResult
#skip_type_validation! TRuby::RuntimeTypeChecks::ClassMethods
#smt_solver TRuby::TypeChecker
#solution TRuby::SMT::ConstraintSolver
#solve TRuby::SMT::ConstraintSolver
#solve TRuby::SMT::SATSolver
#solve_constraints TRuby::SMTTypeChecker
#solver TRuby::SMT::TypeInferenceEngine
#source TRuby::InferredType
#source TRuby::Parser
#source TRuby::Config
#source_exclude TRuby::Config
#source_extensions TRuby::Config
#source_file TRuby::IR::Program
#source_include TRuby::Config
#spaces TRuby::ParserCombinator::DSL
#spaces1 TRuby::ParserCombinator::DSL
#src_dir TRuby::Config
#stale? TRuby::CacheEntry
#statements TRuby::IR::Block
#statistics TRuby::DocsExampleExtractor
#stats TRuby::Watcher
#stats TRuby::ParseCache
#stats TRuby::TypeResolutionCache
#stats TRuby::MemoryCache
#stats TRuby::IR::Optimizer
#status TRuby::DocsExampleVerifier::VerificationResult
#strict_mode TRuby::ValidationConfig
#strictness TRuby::Config
#string TRuby::ParserCombinator::DSL
#subject TRuby::IR::CaseExpr
#substitute TRuby::SMT::HasProperty
#substitute TRuby::SMT::TypeEqual
#substitute TRuby::SMT::Subtype
#substitute TRuby::SMT::TypeVar
#substitute TRuby::SMT::Iff
#substitute TRuby::SMT::Implies
#substitute TRuby::SMT::Or
#substitute TRuby::SMT::And
#substitute TRuby::SMT::Not
#substitute TRuby::SMT::Variable
#substitute TRuby::SMT::Formula
#substitute TRuby::SMT::BoolConst
#subtype TRuby::SMT::DSL
#subtype TRuby::BoundsConstraint
#subtype TRuby::SMT::Subtype
#subtype? TRuby::SMT::ConstraintSolver
#subtype_of? TRuby::TypeHierarchy
#subtype_with_smt? TRuby::TypeChecker
success TRuby::ParserCombinator::ParseResult
#success? TRuby::ParserCombinator::ParseResult
#suggestion TRuby::TypeCheckError
#summary TRuby::DocsExampleVerifier
#superclass TRuby::IR::ClassDecl
#supertype TRuby::BoundsConstraint
#supertype TRuby::SMT::Subtype
#sync_types TRuby::BundlerIntegration
#target TRuby::IR::Assignment
#target_ruby TRuby::Config
#target_type TRuby::IR::TypeCast
#then_branch TRuby::IR::Conditional
#thread_count TRuby::ParallelProcessor
#to_cnf TRuby::SMT::HasProperty
#to_cnf TRuby::SMT::TypeEqual
#to_cnf TRuby::SMT::Subtype
#to_cnf TRuby::SMT::TypeVar
#to_cnf TRuby::SMT::Iff
#to_cnf TRuby::SMT::Implies
#to_cnf TRuby::SMT::Or
#to_cnf TRuby::SMT::And
#to_cnf TRuby::SMT::Not
#to_cnf TRuby::SMT::BoolConst
#to_cnf TRuby::SMT::Variable
#to_cnf TRuby::SMT::Formula
#to_diagnostic TRuby::TypeCheckError
#to_h TRuby::PackageManifest
#to_h TRuby::CompilationProfiler
#to_h TRuby::CacheEntry
#to_h TRuby::DeclarationParser
#to_json TRuby::PackageManifest
#to_rbs TRuby::IR::LiteralType
#to_rbs TRuby::IR::NullableType
#to_rbs TRuby::IR::FunctionType
#to_rbs TRuby::IR::TupleType
#to_rbs TRuby::IR::UnionType
#to_rbs TRuby::IR::GenericType
#to_rbs TRuby::IR::SimpleType
#to_rbs TRuby::IR::IntersectionType
#to_rbs TRuby::IR::TypeNode
#to_s TRuby::InferredType
#to_s TRuby::SemanticVersion
#to_s TRuby::TypeCheckError
#to_s TRuby::SMT::ConcreteType
#to_s TRuby::SMT::TypeEqual
#to_s TRuby::SMT::HasProperty
#to_s TRuby::SMT::Subtype
#to_s TRuby::SMT::Iff
#to_s TRuby::SMT::Implies
#to_s TRuby::SMT::Or
#to_s TRuby::SMT::And
#to_s TRuby::SMT::Not
#to_s TRuby::SMT::Variable
#to_s TRuby::SMT::BoolConst
#to_s TRuby::SMT::TypeVar
#to_s TRuby::Constraint
#to_s TRuby::ParserCombinator::ParseError
#to_smt_type TRuby::TypeChecker
#to_trb TRuby::IR::LiteralType
#to_trb TRuby::IR::NullableType
#to_trb TRuby::IR::FunctionType
#to_trb TRuby::IR::IntersectionType
#to_trb TRuby::IR::UnionType
#to_trb TRuby::IR::TupleType
#to_trb TRuby::IR::GenericType
#to_trb TRuby::IR::SimpleType
#to_trb TRuby::IR::TypeNode
#transform TRuby::IR::Passes::ConstantFolding
#transform TRuby::IR::Passes::TypeAnnotationCleanup
#transform TRuby::IR::Passes::UnusedDeclarationRemoval
#transform TRuby::IR::Passes::Pass
#transform TRuby::IR::Passes::DeadCodeElimination
#transform TRuby::IR::Node
#transform TRuby::RuntimeValidator
#trb? TRuby::DocsExampleExtractor::CodeExample
#type TRuby::InferredType
#type TRuby::Constraint
#type_aliases TRuby::DeclarationLoader
#type_aliases TRuby::DeclarationParser
#type_annotation TRuby::IR::Assignment
#type_annotation TRuby::IR::Parameter
#type_args TRuby::IR::GenericType
#type_args TRuby::IR::MethodCall
#type_check TRuby::IR::TypeGuard
#type_defined? TRuby::DeclarationLoader
#type_defined? TRuby::DeclarationParser
#type_env TRuby::SMT::TypeInferenceEngine
#type_equal TRuby::SMT::DSL
#type_info TRuby::IR::Node
#type_params TRuby::IR::MethodDef
#type_params TRuby::IR::ClassDecl
#type_params TRuby::IR::Interface
#type_params TRuby::IR::TypeAlias
#type_signature TRuby::IR::InterfaceMember
#type_validation_enabled? TRuby::RuntimeTypeChecks::ClassMethods
#type_var TRuby::SMT::DSL
#type_var TRuby::SMT::HasProperty
#types TRuby::PackageManifest
#types TRuby::IR::IntersectionType
#types TRuby::IR::UnionType
#types TRuby::ConstrainedTypeRegistry
#update TRuby::VersionChecker
update TRuby::VersionChecker
#update TRuby::PackageManager
#use_combinator TRuby::Parser
#use_ir TRuby::Compiler
#use_smt TRuby::TypeChecker
#valid? TRuby::PackageManifest
#valid_type? TRuby::TypeAliasRegistry
#validate TRuby::ConstraintChecker
#validate TRuby::ConstrainedTypeRegistry
#validate! TRuby::Config
#validate_all TRuby::ValidationConfig
#validate_all TRuby::TypeAliasRegistry
#validate_public_only TRuby::ValidationConfig
#validate_type TRuby::TypeChecker
#validate_types! TRuby::RuntimeTypeChecks::ClassMethods
#validation_code TRuby::NumericRangeConstraint
#validation_code TRuby::PatternConstraint
#validation_code TRuby::ConstrainedTypeRegistry
#validation_code TRuby::LengthConstraint
#validation_code TRuby::PredicateConstraint
#value TRuby::ParserCombinator::ParseResult
#value TRuby::SMT::BoolConst
#value TRuby::CacheEntry
#value TRuby::IR::LiteralType
#value TRuby::IR::HashPair
#value TRuby::IR::Literal
#value TRuby::IR::Return
#value TRuby::IR::Assignment
#value TRuby::RuntimeTypeError
#value_type TRuby::IR::HashLiteral
#var TRuby::SMT::DSL
#variable TRuby::IR::RescueClause
#variable TRuby::IR::ForLoop
#variables TRuby::TypeScope
#verify_example TRuby::DocsExampleVerifier
#verify_file TRuby::DocsExampleVerifier
#verify_glob TRuby::DocsExampleVerifier
#version TRuby::PackageManifest
#version_requirement TRuby::Config
#version_satisfied? TRuby::Config
#versions TRuby::RemoteRegistry
#visibility TRuby::IR::MethodDef
#visit TRuby::IR::Visitor
#visit_assignment TRuby::IR::CodeGenerator
#visit_block TRuby::IR::CodeGenerator
#visit_children TRuby::IR::Visitor
#visit_class_decl TRuby::IR::RBSGenerator
#visit_conditional TRuby::IR::CodeGenerator
#visit_default TRuby::IR::Visitor
#visit_interface TRuby::IR::RBSGenerator
#visit_interface TRuby::IR::CodeGenerator
#visit_interface_member TRuby::IR::RBSGenerator
#visit_method_def TRuby::IR::RBSGenerator
#visit_method_def TRuby::IR::CodeGenerator
#visit_program TRuby::IR::RBSGenerator
#visit_program TRuby::IR::CodeGenerator
#visit_raw_code TRuby::IR::CodeGenerator
#visit_return TRuby::IR::CodeGenerator
#visit_type_alias TRuby::IR::RBSGenerator
#visit_type_alias TRuby::IR::CodeGenerator
#warnings TRuby::TypeInferencer
#warnings TRuby::TypeChecker
#warnings TRuby::CrossFileTypeChecker
#watch TRuby::Watcher
#watch TRuby::Config
#watch_clear_screen? TRuby::Config
#watch_debounce TRuby::Config
#watch_on_success TRuby::Config
#watch_paths TRuby::Config
#when_clauses TRuby::IR::CaseExpr
#whitespace TRuby::ParserCombinator::DSL
#yank TRuby::RemoteRegistry
#| TRuby::ParserCombinator::Parser
#| TRuby::SMT::Formula