Method List

Classes Methods Files

Search:

#== Rigor::Scope
#== Rigor::Trinary
#== Rigor::Type::Bot
#== Rigor::Type::Top
#== Rigor::Type::Tuple
#== Rigor::Type::Union
#== Rigor::Type::Dynamic
#== Rigor::Type::Nominal
#== Rigor::Type::Refined
#== Rigor::AST::TypeNode
#== Rigor::Type::Constant
#== Rigor::Type::Singleton
#== Rigor::Plugin::Manifest
#== Rigor::Type::Difference
#== Rigor::Type::HashShape
#== Rigor::Cache::Descriptor::FileEntry
#== Rigor::Cache::Descriptor::GemEntry
#== Rigor::Cache::Descriptor::PluginEntry
#== Rigor::Cache::Descriptor::ConfigEntry
#== Rigor::Cache::Descriptor::DependencyEntry
#== Rigor::Cache::Descriptor
#== Rigor::FlowContribution
#== Rigor::Type::BoundMethod
#== Rigor::Type::Intersection
#== Rigor::Type::IntegerRange
#== Rigor::Analysis::FactStore
#== Rigor::Type::AcceptsResult
#== Rigor::SigGen::ObservedCall
#== Rigor::Inference::SyntheticMethod
#== Rigor::Plugin::Macro::ExternalFile
#== Rigor::Plugin::Macro::TraitRegistry
#== Rigor::Plugin::Macro::BlockAsMethod
#== Rigor::Plugin::Macro::HeredocTemplate
#== Rigor::Plugin::Macro::HeredocTemplate::Emit
#_dump RBS::Location
_load RBS::Location
#absorb Rigor::CLI::TypeScanCommand::ScanAccumulator
#absorb Rigor::Analysis::DependencySourceInference::Builder::BuildState
#absorb_resolved Rigor::Analysis::DependencySourceInference::Builder::BuildState
absorb_suppression_tokens Rigor::Analysis::CheckRules
accepted_roots Rigor::Analysis::DependencySourceInference::Walker
#accepts Rigor::Type::Bot
#accepts Rigor::Type::Top
#accepts Rigor::Type::Tuple
#accepts Rigor::Type::Union
#accepts Rigor::Type::Dynamic
#accepts Rigor::Type::Nominal
#accepts Rigor::Type::Refined
#accepts Rigor::Type::Constant
#accepts Rigor::Type::Singleton
#accepts Rigor::Type::Difference
#accepts Rigor::Type::HashShape
#accepts Rigor::Type::BoundMethod
#accepts Rigor::Type::Intersection
#accepts Rigor::Type::IntegerRange
accepts Rigor::Inference::Acceptance
#action Rigor::SigGen::WriteResult
#aliases Rigor::Analysis::RuleCatalog::Entry
all Rigor::Analysis::RuleCatalog
#allow_read? Rigor::Plugin::TrustPolicy
#allow_url? Rigor::Plugin::TrustPolicy
#allowed_read_roots Rigor::Plugin::TrustPolicy
#allowed_url_hosts Rigor::Plugin::TrustPolicy
#always? Rigor::RbsExtended::AssertEffect
#always_included Rigor::Plugin::Macro::TraitRegistry
always_truthy_condition_diagnostics Rigor::Analysis::CheckRules
analyse Rigor::Inference::Narrowing
#analyze Rigor::Analysis::WorkerSession
#analyze_files Rigor::Analysis::Runner
#ancestor_names Rigor::Environment::Reflection
#and Rigor::Trinary
#any_load_errors? Rigor::Plugin::Registry
#applied Rigor::SigGen::WriteResult
apply_alias_def_nodes Rigor::Inference::ScopeIndexer
apply_named_visibility Rigor::Inference::ScopeIndexer
apply_visibility_call Rigor::Inference::ScopeIndexer
array_element_or_self Rigor::Inference::MethodDispatcher::KernelDispatch
array_new_fill Rigor::Inference::MethodDispatcher
array_new_lift Rigor::Inference::MethodDispatcher
array_new_size Rigor::Inference::MethodDispatcher
array_or_hash_nominal? Rigor::Inference::MethodDispatcher::BlockFolding
assert_type Rigor::Testing
assert_type Rigor
at_offset Rigor::Source::NodeLocator
#at_offset Rigor::Source::NodeLocator
at_position Rigor::Source::NodeLocator
#at_position Rigor::Source::NodeLocator
attribution_available? Rigor::Analysis::RunStats
auto_detect Rigor::Environment::BundleSigDiscovery
backward_method? Rigor::Inference::MethodDispatcher::MethodFolding
#base Rigor::Type::Refined
#base Rigor::Type::Difference
binary_method_allowed? Rigor::Inference::MethodDispatcher::ConstantFolding
bind Rigor::Inference::MultiTargetBinder
#bind Rigor::Inference::BlockParameterBinder
#bind Rigor::Inference::MethodParameterBinder
#block_as_methods Rigor::Plugin::Manifest
block_param_types Rigor::Inference::MethodDispatcher::RbsDispatch
block_param_types Rigor::Inference::MethodDispatcher::IteratorDispatch
#blueprints Rigor::Plugin::Registry
bool_union Rigor::Inference::MethodDispatcher::BlockFolding
bool_union Rigor::Inference::MethodDispatcher::ConstantFolding
#bot Rigor::Type::Bot
#bot Rigor::Type::Top
#bot Rigor::Type::Tuple
#bot Rigor::Type::Union
#bot Rigor::Type::Dynamic
#bot Rigor::Type::Nominal
#bot Rigor::Type::Refined
#bot Rigor::Type::Constant
#bot Rigor::Type::Singleton
bot Rigor::Type::Combinator
#bot Rigor::Type::Difference
#bot Rigor::Type::HashShape
#bot Rigor::Type::BoundMethod
#bot Rigor::Type::Intersection
#bot Rigor::Type::IntegerRange
#bound_ivars Rigor::Plugin::Macro::ExternalFile
bound_method_of Rigor::Type::Combinator
boundary_cross_class_name Rigor::Inference::MethodDispatcher
#boundary_cross_reporter Rigor::Environment
#boundary_cross_reporter Rigor::Analysis::Runner
#boundary_cross_reporter Rigor::Analysis::WorkerSession
#budget_exceeded Rigor::Analysis::DependencySourceInference::Index
#budget_overrun_strategy Rigor::Configuration::Dependencies
#budget_overrun_strategy Rigor::Analysis::DependencySourceInference::Index
#budget_per_gem Rigor::Configuration::Dependencies
budget_silence_result Rigor::Inference::MethodDispatcher
build Rigor::Cache::RbsDescriptor
build Rigor::Analysis::DependencySourceInference::Builder
build_class_cvar_index Rigor::Inference::ScopeIndexer
build_class_ivar_index Rigor::Inference::ScopeIndexer
build_concern_index Rigor::Inference::SyntheticMethodScanner
build_constant_type Rigor::Inference::MethodDispatcher::ConstantFolding
build_declaration_artifacts Rigor::Inference::ScopeIndexer
build_discovered_def_nodes Rigor::Inference::ScopeIndexer
build_discovered_method_visibilities Rigor::Inference::ScopeIndexer
build_discovered_methods Rigor::Inference::ScopeIndexer
build_env_for Rigor::Environment::RbsLoader
build_flow_contribution Rigor::RbsExtended
build_hierarchy Rigor::Inference::SyntheticMethodScanner
build_in_source_constants Rigor::Inference::ScopeIndexer
build_index_range Rigor::Inference::MethodDispatcher::IteratorDispatch
build_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
build_program_global_index Rigor::Inference::ScopeIndexer
build_synthetic_method Rigor::Inference::SyntheticMethodScanner
build_trait_synthetic_method Rigor::Inference::SyntheticMethodScanner
builtin Rigor::FlowContribution::Provenance
#bundler_auto_detect Rigor::Configuration
#bundler_bundle_path Rigor::Configuration
#bundler_lockfile Rigor::Configuration
#cache_descriptor Rigor::Plugin::IoBoundary
#cache_descriptor Rigor::Analysis::DependencySourceInference::Index
#cache_for Rigor::Plugin::Base
#cache_key_for Rigor::Cache::Descriptor
#cache_path Rigor::Configuration
#cache_store Rigor::Analysis::Runner
#cache_store Rigor::Plugin::Services
#cache_store Rigor::Environment::RbsLoader
#cache_store Rigor::Analysis::WorkerSession
call_node_diagnostics Rigor::Analysis::CheckRules
canonicalize_value Rigor::Cache::Descriptor
#cardinality Rigor::Type::IntegerRange
case_when_scopes Rigor::Inference::Narrowing
catalog_allows? Rigor::Inference::MethodDispatcher::ConstantFolding
catalog_for Rigor::Inference::MethodDispatcher::ConstantFolding
#cause_class Rigor::Plugin::LoadError
clamp_lower_bound Rigor::Inference::MethodDispatcher::ConstantFolding
clamp_upper_bound Rigor::Inference::MethodDispatcher::ConstantFolding
#class_cvars Rigor::Scope
#class_cvars_for Rigor::Scope
#class_decl_paths Rigor::Environment::RbsLoader
class_inherits_from? Rigor::Inference::SyntheticMethodScanner
#class_ivars Rigor::Scope
#class_ivars_for Rigor::Scope
class_known? Rigor::Reflection
#class_known? Rigor::Environment
#class_known? Rigor::Environment::RbsLoader
#class_known? Rigor::Environment::Reflection
#class_level_emit Rigor::Plugin::Macro::HeredocTemplate
#class_name Rigor::Type::Nominal
#class_name Rigor::Type::Singleton
#class_name Rigor::SigGen::MethodCandidate
#class_name Rigor::Inference::SyntheticMethod
#class_name Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter::Entry
class_name_from Rigor::Inference::SyntheticMethodScanner
class_ordering Rigor::Reflection
#class_ordering Rigor::Environment
#class_ordering Rigor::Environment::RbsLoader
#class_ordering Rigor::Environment::Reflection
#class_ordering Rigor::Environment::RbsHierarchy
#class_ordering Rigor::Environment::ClassRegistry
#class_registry Rigor::Environment
#class_shells Rigor::SigGen::MethodCandidate
#class_to_gem Rigor::Analysis::DependencySourceInference::Index
class_type_param_names Rigor::Reflection
#class_type_param_names Rigor::Environment::RbsLoader
#class_type_param_names Rigor::Environment::Reflection
#classification Rigor::SigGen::MethodCandidate
classify Rigor::Environment::RbsCoverageReport
classify Rigor::Inference::ClosureEscapeAnalyzer
#clear Rigor::Inference::FallbackTracer
#closed? Rigor::Type::HashShape
collapse_constants Rigor::Inference::MethodDispatcher::ConstantFolding
#collect Rigor::SigGen::ObservationCollector
#collect Rigor::Analysis::CheckRules::IvarWriteCollector
#collect Rigor::Analysis::CheckRules::DeadAssignmentCollector
#collect Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector
collect_class_alias_map Rigor::Inference::ScopeIndexer
collect_concern_re_targeted_entries Rigor::Inference::SyntheticMethodScanner
collect_def_cvar_writes Rigor::Inference::ScopeIndexer
collect_def_ivar_writes Rigor::Inference::ScopeIndexer
collect_divmod_pairs Rigor::Inference::MethodDispatcher::ConstantFolding
collect_entries Rigor::Inference::SyntheticMethodScanner
collect_included_do_calls Rigor::Inference::SyntheticMethodScanner
collect_plugin_contributions Rigor::Inference::MethodDispatcher
collect_templates Rigor::Inference::SyntheticMethodScanner
collect_trait_entries Rigor::Inference::SyntheticMethodScanner
collect_trait_registries Rigor::Inference::SyntheticMethodScanner
#column Rigor::Analysis::Diagnostic
#column Rigor::CLI::TypeOfCommand::Result
#comparator Rigor::Cache::Descriptor::FileEntry
#complement_predicate_id Rigor::Type::Refined
compose Rigor::Cache::Descriptor
concern_module_body? Rigor::Inference::SyntheticMethodScanner
#config Rigor::Plugin::Base
#config Rigor::Plugin::Blueprint
#config_hash Rigor::Cache::Descriptor::PluginEntry
#config_schema Rigor::Plugin::Manifest
#configs Rigor::Cache::Descriptor
#configuration Rigor::Plugin::Services
#configuration Rigor::Analysis::WorkerSession
#conflict? Rigor::FlowContribution::MergeResult
#conflicts Rigor::FlowContribution::MergeResult
const_name_string Rigor::Inference::SyntheticMethodScanner
constant_constructor_lift Rigor::Inference::MethodDispatcher
constant_element Rigor::Inference::MethodDispatcher::IteratorDispatch
constant_emptiness Rigor::Inference::MethodDispatcher::BlockFolding
#constant_for_name Rigor::Environment
constant_metaclass Rigor::Inference::MethodDispatcher
#constant_names Rigor::Environment::RbsLoader
constant_of Rigor::Type::Combinator
constant_path_string Rigor::Inference::SyntheticMethodScanner
constant_size Rigor::Inference::MethodDispatcher::BlockFolding
constant_string_arg? Rigor::Inference::MethodDispatcher::FileFolding
constant_string_args Rigor::Inference::MethodDispatcher::FileFolding
constant_truthiness Rigor::Inference::MethodDispatcher::BlockFolding
#constant_type Rigor::Environment::RbsLoader
#constant_type Rigor::Environment::Reflection
constant_type_for Rigor::Reflection
#constant_types Rigor::Environment::Reflection
#consumes Rigor::Plugin::Manifest
#contribution_for Rigor::Analysis::DependencySourceInference::Index
#covers? Rigor::Type::IntegerRange
#cvar Rigor::Scope
#cvars Rigor::Scope
data_define_call? Rigor::Inference::ScopeIndexer
dead_assignment_diagnostics Rigor::Analysis::CheckRules
decide_eq Rigor::Inference::MethodDispatcher::ConstantFolding
decide_le Rigor::Inference::MethodDispatcher::ConstantFolding
decide_lt Rigor::Inference::MethodDispatcher::ConstantFolding
decide_negative Rigor::Inference::MethodDispatcher::ConstantFolding
decide_positive Rigor::Inference::MethodDispatcher::ConstantFolding
decide_range_comparison Rigor::Inference::MethodDispatcher::ConstantFolding
decide_zero Rigor::Inference::MethodDispatcher::ConstantFolding
decimal_int_string Rigor::Type::Combinator
#declared_return_rbs Rigor::SigGen::MethodCandidate
#declared_types Rigor::Scope
dedupe_entries Rigor::Configuration::Dependencies
default Rigor::Environment
default Rigor::Environment::RbsLoader
default Rigor::Environment::ClassRegistry
dep_source_class_name Rigor::Inference::MethodDispatcher
#dependencies Rigor::Configuration
#dependencies Rigor::Cache::Descriptor
#dependency_source_index Rigor::Environment
#dependency_source_index Rigor::Analysis::Runner
#dependency_source_index Rigor::Analysis::WorkerSession
descend_class_or_module Rigor::Analysis::DependencySourceInference::Walker
descend_singleton_class Rigor::Analysis::DependencySourceInference::Walker
#describe Rigor::Type::Bot
#describe Rigor::Type::Top
#describe Rigor::Type::Tuple
#describe Rigor::Type::Union
#describe Rigor::Type::Dynamic
#describe Rigor::Type::Nominal
#describe Rigor::Type::Refined
#describe Rigor::Type::Constant
#describe Rigor::Type::Singleton
#describe Rigor::Type::Difference
#describe Rigor::Type::HashShape
#describe Rigor::Type::BoundMethod
#describe Rigor::Type::Intersection
#describe Rigor::Type::IntegerRange
#description Rigor::Plugin::Manifest
#descriptor_key Rigor::Analysis::DependencySourceInference::GemResolver::Resolved
diagnose Rigor::Analysis::CheckRules
#diagnostics Rigor::Analysis::Result
#diagnostics_for_file Rigor::Plugin::Base
difference Rigor::Type::Combinator
difference_emptiness Rigor::Inference::MethodDispatcher::BlockFolding
#disabled? Rigor::Configuration::Dependencies::Entry
#disabled_rules Rigor::Configuration
discover Rigor::Configuration
discover Rigor::Environment::BundleSigDiscovery
discover Rigor::Environment::RbsCollectionDiscovery
discovered_class? Rigor::Reflection
#discovered_classes Rigor::Scope
#discovered_def_nodes Rigor::Scope
#discovered_method? Rigor::Scope
discovered_method? Rigor::Reflection
discovered_method_lookup Rigor::Inference::MethodDispatcher
#discovered_method_visibilities Rigor::Scope
#discovered_method_visibility Rigor::Scope
#discovered_methods Rigor::Scope
disk_inventory Rigor::Cache::Store
dispatch Rigor::Inference::MethodDispatcher
dispatch_by_arity Rigor::Inference::MethodDispatcher::ConstantFolding
dispatch_precise_tiers Rigor::Inference::MethodDispatcher
dispatch_target? Rigor::Inference::MethodDispatcher::FileFolding
distribute_over_union Rigor::Inference::MethodDispatcher::KernelDispatch
divmod_result_to_pair Rigor::Inference::MethodDispatcher::ConstantFolding
downto_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
#drain_reporters Rigor::Analysis::WorkerSession
dump_type Rigor::Testing
dump_type Rigor
#dynamic Rigor::Type::Bot
#dynamic Rigor::Type::Top
#dynamic Rigor::Type::Tuple
#dynamic Rigor::Type::Union
#dynamic Rigor::Type::Dynamic
#dynamic Rigor::Type::Nominal
#dynamic Rigor::Type::Refined
#dynamic Rigor::Type::Constant
#dynamic Rigor::Type::Singleton
dynamic Rigor::Type::Combinator
#dynamic Rigor::Type::Difference
#dynamic Rigor::Type::HashShape
#dynamic Rigor::Type::BoundMethod
#dynamic Rigor::Type::Intersection
#dynamic Rigor::Type::IntegerRange
each Rigor::Source::NodeWalker
#each Rigor::Inference::FallbackTracer
#each_constant_decl Rigor::Environment::RbsLoader
#each_fact Rigor::Plugin::FactStore
#each_known_class_name Rigor::Environment::RbsLoader
#each_known_class_name Rigor::Environment::Reflection
each_with_index_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
each_with_object_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
elaborate Rigor::SigGen::TypeElaborator
elaborate_hash_shape Rigor::SigGen::TypeElaborator
elaborate_nominal Rigor::SigGen::TypeElaborator
elaborate_tuple Rigor::SigGen::TypeElaborator
elaborate_union Rigor::SigGen::TypeElaborator
element_type_of Rigor::Inference::MethodDispatcher::KernelDispatch
element_type_of Rigor::Inference::MethodDispatcher::IteratorDispatch
#elements Rigor::Type::Tuple
#emit Rigor::Plugin::Macro::HeredocTemplate
emit_entries_for Rigor::Inference::SyntheticMethodScanner
emit_trait_module_entries Rigor::Inference::SyntheticMethodScanner
empty Rigor::Scope
empty Rigor::Analysis::FactStore
#empty? Rigor::Plugin::Registry
#empty? Rigor::FlowContribution
#empty? Rigor::Analysis::FactStore
#empty? Rigor::SigGen::LayoutIndex
#empty? Rigor::RbsExtended::Reporter
#empty? Rigor::SigGen::ObservedCall
#empty? Rigor::Inference::FallbackTracer
#empty? Rigor::Configuration::Dependencies
#empty? Rigor::FlowContribution::MergeResult
#empty? Rigor::Inference::SyntheticMethodIndex
#empty? Rigor::Analysis::DependencySourceInference::Index
#empty? Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter
ensure_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
#entries Rigor::Inference::SyntheticMethodIndex
#entries Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter
#environment Rigor::Scope
#environment Rigor::Analysis::WorkerSession
#erase_to_rbs Rigor::Type::Bot
#erase_to_rbs Rigor::Type::Top
#erase_to_rbs Rigor::Type::Tuple
#erase_to_rbs Rigor::Type::Union
#erase_to_rbs Rigor::Type::Dynamic
#erase_to_rbs Rigor::Type::Nominal
#erase_to_rbs Rigor::Type::Refined
#erase_to_rbs Rigor::Type::Constant
#erase_to_rbs Rigor::Type::Singleton
#erase_to_rbs Rigor::Type::Difference
#erase_to_rbs Rigor::Type::HashShape
#erase_to_rbs Rigor::Type::BoundMethod
#erase_to_rbs Rigor::Type::Intersection
#erase_to_rbs Rigor::Type::IntegerRange
#error? Rigor::Analysis::Diagnostic
#error_count Rigor::Analysis::Result
#evaluate Rigor::Scope
#evaluate Rigor::Inference::StatementEvaluator
#event Rigor::CLI::TypeScanCommand::LocatedEvent
#events Rigor::Inference::FallbackTracer
#exceptional Rigor::FlowContribution::MergeResult
#exclude_patterns Rigor::Configuration
#existing Rigor::Plugin::FactStore::Conflict
#existing_target_for Rigor::SigGen::PathMapper
expand_rule_tokens Rigor::Analysis::CheckRules
expand_token Rigor::Analysis::CheckRules
expected_block_param_types Rigor::Inference::MethodDispatcher
#external_files Rigor::Plugin::Manifest
#extra_keys Rigor::Type::HashShape
#fact_store Rigor::Scope
#fact_store Rigor::Plugin::Services
#facts Rigor::Analysis::FactStore
#facts_for Rigor::Scope
#facts_for Rigor::Analysis::FactStore
#falsey_facts Rigor::FlowContribution::MergeResult
#falsey_only? Rigor::RbsExtended::PredicateEffect
#families Rigor::Inference::FallbackTracer
fetch Rigor::Cache::RbsEnvironment
fetch Rigor::Cache::RbsConstantTable
fetch Rigor::Cache::RbsKnownClassNames
fetch Rigor::Cache::RbsClassAncestorTable
fetch Rigor::Cache::RbsInstanceDefinitions
fetch Rigor::Cache::RbsSingletonDefinitions
fetch Rigor::Cache::RbsClassTypeParamNames
#fetch_or_compute Rigor::Cache::Store
#file Rigor::CLI::TypeOfCommand::Result
#file Rigor::CLI::TypeScanCommand::LocatedEvent
#file_for Rigor::SigGen::LayoutIndex
#files Rigor::Cache::Descriptor
filter_keeps_all? Rigor::Inference::MethodDispatcher::BlockFolding
filter_method? Rigor::Inference::MethodDispatcher::BlockFolding
filter_receiver_known? Rigor::Inference::MethodDispatcher::BlockFolding
filter_suppressed Rigor::Analysis::CheckRules
#find Rigor::Plugin::Registry
#finite? Rigor::Type::IntegerRange
finite_size Rigor::Inference::MethodDispatcher::BlockFolding
#flow_contribution_for Rigor::Plugin::Base
fold_class_method Rigor::Inference::MethodDispatcher::FileFolding
fold_count Rigor::Inference::MethodDispatcher::BlockFolding
fold_count_truthy Rigor::Inference::MethodDispatcher::BlockFolding
fold_falsey_nil_short_circuit Rigor::Inference::MethodDispatcher::BlockFolding
fold_filter Rigor::Inference::MethodDispatcher::BlockFolding
#fold_platform_specific_paths Rigor::Configuration
fold_platform_specific_paths Rigor::Inference::MethodDispatcher::FileFolding
fold_predicate Rigor::Inference::MethodDispatcher::BlockFolding
foldable_constant_value? Rigor::Inference::MethodDispatcher::ConstantFolding
for_capture_body Rigor::Builtins::RegexRefinement
for_project Rigor::Environment
#format Rigor::Analysis::RunStats
format_argument_value Rigor::Inference::MethodDispatcher::ConstantFolding
from Rigor::SigGen::ObservedCall
from_h Rigor::Configuration::Dependencies
from_symbol Rigor::Trinary
#full? Rigor::Configuration::Dependencies::Entry
#full_mode? Rigor::Analysis::DependencySourceInference::Index
gather_cvar_writes Rigor::Inference::ScopeIndexer
gather_global_writes Rigor::Inference::ScopeIndexer
gather_ivar_writes Rigor::Inference::ScopeIndexer
#gem_for Rigor::Analysis::DependencySourceInference::Index
#gem_modes Rigor::Analysis::DependencySourceInference::Index
#gem_name Rigor::Cache::Descriptor::DependencyEntry
#gem_name Rigor::Environment::RbsCoverageReport::Coverage
#gem_name Rigor::Analysis::DependencySourceInference::GemResolver::Unresolvable
#gem_name Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter::Entry
gem_name_from_sig_path Rigor::Environment::BundleSigDiscovery
#gem_trusted? Rigor::Plugin::TrustPolicy
#gem_version Rigor::Cache::Descriptor::DependencyEntry
#gem_walk_classes Rigor::Analysis::RunStats
#gem_walk_gems Rigor::Analysis::RunStats
#gems Rigor::Cache::Descriptor
generic_arity_for Rigor::SigGen::TypeElaborator
#generic_description Rigor::Type::IntegerRange
#get Rigor::Plugin::DefaultHttpClient
#glob Rigor::Plugin::Macro::ExternalFile
#global Rigor::Scope
#globals Rigor::Scope
harvest_file Rigor::Analysis::DependencySourceInference::Walker
#hash Rigor::Scope
#hash Rigor::Trinary
#hash Rigor::Type::Bot
#hash Rigor::Type::Top
#hash Rigor::Type::Tuple
#hash Rigor::Type::Union
#hash Rigor::Type::Dynamic
#hash Rigor::Type::Nominal
#hash Rigor::Type::Refined
#hash Rigor::AST::TypeNode
#hash Rigor::Type::Constant
#hash Rigor::Type::Singleton
#hash Rigor::Plugin::Manifest
#hash Rigor::Type::Difference
#hash Rigor::Type::HashShape
#hash Rigor::Cache::Descriptor::FileEntry
#hash Rigor::Cache::Descriptor::GemEntry
#hash Rigor::Cache::Descriptor::PluginEntry
#hash Rigor::Cache::Descriptor::ConfigEntry
#hash Rigor::Cache::Descriptor::DependencyEntry
#hash Rigor::Cache::Descriptor
#hash Rigor::FlowContribution
#hash Rigor::Type::BoundMethod
#hash Rigor::Type::Intersection
#hash Rigor::Type::IntegerRange
#hash Rigor::Analysis::FactStore
#hash Rigor::Type::AcceptsResult
#hash Rigor::SigGen::ObservedCall
#hash Rigor::Inference::SyntheticMethod
#hash Rigor::Plugin::Macro::ExternalFile
#hash Rigor::Plugin::Macro::TraitRegistry
#hash Rigor::Plugin::Macro::BlockAsMethod
#hash Rigor::Plugin::Macro::HeredocTemplate
#hash Rigor::Plugin::Macro::HeredocTemplate::Emit
hash_shape_format_value Rigor::Inference::MethodDispatcher::ConstantFolding
hash_shape_of Rigor::Type::Combinator
hash_shape_pair_element Rigor::Inference::MethodDispatcher::IteratorDispatch
#head Rigor::RbsExtended::Reporter::LossyProjectionEntry
#heredoc_templates Rigor::Plugin::Manifest
hex_int_string Rigor::Type::Combinator
#id Rigor::Plugin::Manifest
#id Rigor::Cache::Descriptor::PluginEntry
#ids Rigor::Plugin::Registry
#if_falsey_return? Rigor::RbsExtended::AssertEffect
#if_truthy_return? Rigor::RbsExtended::AssertEffect
#in_source_constants Rigor::Scope
#incoming Rigor::Plugin::FactStore::Conflict
index Rigor::Inference::ScopeIndexer
indexed_access Rigor::Type::Combinator
#inferred_return Rigor::SigGen::MethodCandidate
#init Rigor::Plugin::Base
#initialize Rigor::CLI
#initialize Rigor::Scope
#initialize Rigor::Trinary
#initialize Rigor::Type::Tuple
#initialize Rigor::Type::Union
#initialize Rigor::Cache::Store
#initialize Rigor::Environment
#initialize Rigor::Plugin::Base
#initialize Rigor::Type::Dynamic
#initialize Rigor::Type::Nominal
#initialize Rigor::Type::Refined
#initialize Rigor::AST::TypeNode
#initialize Rigor::Configuration
#initialize Rigor::Plugin::Loader
#initialize Rigor::Type::Constant
#initialize Rigor::SigGen::Writer
#initialize Rigor::Type::Singleton
#initialize Rigor::Analysis::Result
#initialize Rigor::Analysis::Runner
#initialize Rigor::Plugin::Manifest::Consumption
#initialize Rigor::Plugin::Manifest
#initialize Rigor::Plugin::Registry
#initialize Rigor::Plugin::Services
#initialize Rigor::Type::Difference
#initialize Rigor::Type::HashShape
#initialize Rigor::TypeNode::Union
#initialize Rigor::Cache::Descriptor::FileEntry
#initialize Rigor::Cache::Descriptor::GemEntry
#initialize Rigor::Cache::Descriptor::PluginEntry
#initialize Rigor::Cache::Descriptor::ConfigEntry
#initialize Rigor::Cache::Descriptor::DependencyEntry
#initialize Rigor::Cache::Descriptor
#initialize Rigor::CLI::DiffCommand
#initialize Rigor::Plugin::Blueprint
#initialize Rigor::SigGen::Renderer
#initialize Rigor::FlowContribution
#initialize Rigor::Plugin::FactStore::Conflict
#initialize Rigor::Plugin::FactStore
#initialize Rigor::Plugin::LoadError
#initialize Rigor::SigGen::Generator
#initialize Rigor::Type::BoundMethod
#initialize Rigor::Type::Intersection
#initialize Rigor::TypeNode::Generic
#initialize Rigor::Analysis::RunStats
#initialize Rigor::Inference::Fallback
#initialize Rigor::Plugin::IoBoundary
#initialize Rigor::Type::IntegerRange
#initialize Rigor::Analysis::Diagnostic
#initialize Rigor::Analysis::FactStore::Target
#initialize Rigor::Analysis::FactStore::Fact
#initialize Rigor::Analysis::FactStore
#initialize Rigor::CLI::ExplainCommand
#initialize Rigor::CLI::SigGenCommand
#initialize Rigor::CLI::TypeOfCommand
#initialize Rigor::Plugin::TrustPolicy
#initialize Rigor::SigGen::PathMapper
#initialize Rigor::Source::NodeLocator
#initialize Rigor::Type::AcceptsResult
#initialize Rigor::CLI::TypeOfRenderer
#initialize Rigor::SigGen::LayoutIndex
#initialize Rigor::SigGen::WriteResult
#initialize Rigor::TypeNode::Identifier
#initialize Rigor::TypeNode::NameScope
#initialize Rigor::CLI::TypeScanCommand
#initialize Rigor::CLI::TypeScanCommand::ScanAccumulator
#initialize Rigor::RbsExtended::Reporter
#initialize Rigor::SigGen::ObservedCall
#initialize Rigor::CLI::TypeScanRenderer
#initialize Rigor::Environment::RbsLoader
#initialize Rigor::Environment::Reflection
#initialize Rigor::FlowContribution::Fact
#initialize Rigor::Analysis::WorkerSession
#initialize Rigor::SigGen::MethodCandidate
#initialize Rigor::TypeNode::IndexedAccess
#initialize Rigor::TypeNode::ResolverChain
#initialize Rigor::TypeNode::StringLiteral
#initialize Rigor::TypeNode::SymbolLiteral
#initialize Rigor::Environment::RbsHierarchy
#initialize Rigor::FlowContribution::Element
#initialize Rigor::Inference::FallbackTracer
#initialize Rigor::TypeNode::IntegerLiteral
#initialize Rigor::Configuration::Dependencies
#initialize Rigor::Environment::ClassRegistry
#initialize Rigor::FlowContribution::Conflict
#initialize Rigor::Inference::CoverageScanner
#initialize Rigor::Inference::ExpressionTyper
#initialize Rigor::Inference::SyntheticMethod
#initialize Rigor::Plugin::AccessDeniedError
#initialize Rigor::Plugin::Macro::ExternalFile
#initialize Rigor::Plugin::Macro::TraitRegistry
#initialize Rigor::Plugin::Macro::BlockAsMethod
#initialize Rigor::Environment::LockfileResolver::LockedGem
#initialize Rigor::Inference::StatementEvaluator
#initialize Rigor::Plugin::Macro::HeredocTemplate
#initialize Rigor::Plugin::Macro::HeredocTemplate::Emit
#initialize Rigor::SigGen::ObservationCollector
#initialize Rigor::FlowContribution::MergeResult
#initialize Rigor::Environment::RbsCoverageReport::Coverage
#initialize Rigor::Inference::BlockParameterBinder
#initialize Rigor::Inference::SyntheticMethodIndex
#initialize Rigor::Inference::Builtins::MethodCatalog
#initialize Rigor::Inference::MethodParameterBinder
#initialize Rigor::Analysis::CheckRules::IvarWriteCollector
#initialize Rigor::Analysis::DependencySourceInference::Index
#initialize Rigor::Analysis::DependencySourceInference::Builder::BuildState
#initialize Rigor::Analysis::CheckRules::DeadAssignmentCollector
#initialize Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector
#initialize Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter
inject_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
#inspect Rigor::Trinary
#inspect Rigor::Type::Bot
#inspect Rigor::Type::Top
#inspect Rigor::Type::Tuple
#inspect Rigor::Type::Union
#inspect Rigor::Type::Dynamic
#inspect Rigor::Type::Nominal
#inspect Rigor::Type::Refined
#inspect Rigor::AST::TypeNode
#inspect Rigor::Type::Constant
#inspect Rigor::Type::Singleton
#inspect Rigor::Type::Difference
#inspect Rigor::Type::HashShape
#inspect Rigor::Type::BoundMethod
#inspect Rigor::Type::Intersection
#inspect Rigor::Type::IntegerRange
#inspect Rigor::Type::AcceptsResult
instance Rigor::Type::Bot
instance Rigor::Type::Top
#instance? Rigor::Inference::SyntheticMethod
instance_definition Rigor::Reflection
#instance_definition Rigor::Environment::RbsLoader
#instance_definition Rigor::Environment::Reflection
#instance_definitions Rigor::Environment::Reflection
#instance_method Rigor::Environment::RbsLoader
instance_method_definition Rigor::Reflection
instance_type_for Rigor::Inference::MacroBlockSelfType
int_mask Rigor::Type::Combinator
int_mask_of Rigor::Type::Combinator
integer_division_by_zero? Rigor::Inference::MethodDispatcher::ConstantFolding
integer_range Rigor::Type::Combinator
integer_rooted? Rigor::Inference::MethodDispatcher::IteratorDispatch
interpolate Rigor::Inference::SyntheticMethodScanner
intersection Rigor::Type::Combinator
#invalidate_target Rigor::Analysis::FactStore
#invalidations Rigor::FlowContribution::MergeResult
invoke_binary Rigor::Inference::MethodDispatcher::ConstantFolding
invoke_divmod Rigor::Inference::MethodDispatcher::ConstantFolding
invoke_ternary Rigor::Inference::MethodDispatcher::ConstantFolding
invoke_unary Rigor::Inference::MethodDispatcher::ConstantFolding
#io_boundary Rigor::Plugin::Base
#io_boundary_for Rigor::Plugin::Services
#ivar Rigor::Scope
ivar_mismatch_diagnostics_for Rigor::Analysis::CheckRules
ivar_write_mismatch_diagnostics Rigor::Analysis::CheckRules
#ivars Rigor::Scope
#join Rigor::Scope
#join Rigor::Analysis::FactStore
#key Rigor::Cache::Descriptor::ConfigEntry
key_of Rigor::Type::Combinator
#keyword Rigor::SigGen::ObservedCall
#kind Rigor::SigGen::MethodCandidate
#kind Rigor::Inference::SyntheticMethod
#kinds Rigor::Inference::FallbackTracer
#klass_name Rigor::Plugin::Blueprint
known? Rigor::Builtins::ImportedRefinements
#known_class_names Rigor::Environment::Reflection
known_names Rigor::Builtins::ImportedRefinements
known_negative_integer? Rigor::Inference::MethodDispatcher::LiteralStringFolding
#libraries Rigor::Configuration
#libraries Rigor::Environment::RbsLoader
lift_array_result Rigor::Inference::MethodDispatcher::ConstantFolding
#line Rigor::Analysis::Diagnostic
#line Rigor::CLI::TypeOfCommand::Result
literal_method_name Rigor::Inference::ScopeIndexer
literal_string Rigor::Type::Combinator
literal_string_carrier? Rigor::Type::Combinator
literal_string_compatible? Rigor::Type::Combinator
literal_symbol_arg Rigor::Inference::SyntheticMethodScanner
literal_symbol_value Rigor::Inference::SyntheticMethodScanner
load Rigor::Configuration
load Rigor::Plugin::Loader
#load Rigor::Plugin::Loader
#load_errors Rigor::Plugin::Registry
#local Rigor::Scope
local Rigor::Analysis::FactStore::Target
#local_facts Rigor::Scope
#locals Rigor::Scope
locate_gem_spec Rigor::Analysis::DependencySourceInference::GemResolver
#locked Rigor::Cache::Descriptor::GemEntry
locked_gems Rigor::Environment::LockfileResolver
lookup Rigor::Builtins::ImportedRefinements
#lookup_instance Rigor::Inference::SyntheticMethodIndex
#lookup_singleton Rigor::Inference::SyntheticMethodIndex
#lossy_projections Rigor::RbsExtended::Reporter
#lower Rigor::Type::IntegerRange
lower_bound_of Rigor::Inference::MethodDispatcher::IteratorDispatch
lowercase_string Rigor::Type::Combinator
manifest Rigor::Plugin::Base
#manifest Rigor::Plugin::Base
#matches? Rigor::Type::Refined
matches? Rigor::Inference::MacroBlockSelfType
materialize Rigor::Plugin::Registry
#materialize Rigor::Plugin::Blueprint
#max Rigor::Type::IntegerRange
maybe Rigor::Trinary
maybe Rigor::Type::AcceptsResult
#maybe? Rigor::Trinary
#maybe? Rigor::Type::AcceptsResult
#members Rigor::Type::Union
#members Rigor::Type::Intersection
merge Rigor::FlowContribution::Merger
merge_entry_pair Rigor::Configuration::Dependencies
#merge_key Rigor::FlowContribution::Element
#message Rigor::Analysis::Diagnostic
meta_call_with_name? Rigor::Inference::ScopeIndexer
meta_class Rigor::Inference::MethodDispatcher
meta_constant_receiver? Rigor::Inference::ScopeIndexer
meta_new Rigor::Inference::MethodDispatcher
meta_new_block_body Rigor::Inference::ScopeIndexer
#method_catalog Rigor::Analysis::DependencySourceInference::Index
#method_entry Rigor::Inference::Builtins::MethodCatalog
method_entry Rigor::Inference::Builtins::NumericCatalog
#method_name Rigor::Type::BoundMethod
#method_name Rigor::SigGen::MethodCandidate
#method_name Rigor::Inference::SyntheticMethod
#method_name Rigor::Plugin::Macro::TraitRegistry
#method_name Rigor::Plugin::Macro::HeredocTemplate
#method_name Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter::Entry
#min Rigor::Type::IntegerRange
missing Rigor::Environment::RbsCoverageReport
#mode Rigor::Cache::Descriptor::DependencyEntry
#mode Rigor::Type::AcceptsResult
#mode_for Rigor::Analysis::DependencySourceInference::Index
module_catalogs_for Rigor::Inference::MethodDispatcher::ConstantFolding
#module_for Rigor::Plugin::Macro::TraitRegistry
module_instance_method_names Rigor::Inference::SyntheticMethodScanner
#modules_by_symbol Rigor::Plugin::Macro::TraitRegistry
#mutations Rigor::FlowContribution::MergeResult
#name Rigor::Cache::Descriptor::GemEntry
#name Rigor::Plugin::FactStore::Fact
#name Rigor::Plugin::FactStore::Conflict
#name Rigor::Environment::LockfileResolver::LockedGem
#name Rigor::Inference::StatementEvaluator::ClassFrame
#name Rigor::Plugin::Macro::HeredocTemplate::Emit
#name_scope Rigor::Environment
#namespace_kinds Rigor::SigGen::MethodCandidate
narrow_class Rigor::Inference::Narrowing
narrow_equal Rigor::Inference::Narrowing
narrow_falsey Rigor::Inference::Narrowing
narrow_for_fact Rigor::Inference::Narrowing
narrow_integer_comparison Rigor::Inference::Narrowing
narrow_integer_equal Rigor::Inference::Narrowing
narrow_integer_not_equal Rigor::Inference::Narrowing
narrow_nil Rigor::Inference::Narrowing
narrow_non_nil Rigor::Inference::Narrowing
narrow_not_class Rigor::Inference::Narrowing
narrow_not_equal Rigor::Inference::Narrowing
narrow_not_refinement Rigor::Inference::Narrowing
narrow_self_type_for Rigor::Inference::MacroBlockSelfType
narrow_truthy Rigor::Inference::Narrowing
#negate Rigor::Trinary
#negative? Rigor::RbsExtended::PredicateEffect
#negative? Rigor::RbsExtended::AssertEffect
#negative? Rigor::FlowContribution::Fact
negative_int Rigor::Type::Combinator
#network_allowed? Rigor::Plugin::TrustPolicy
#network_policy Rigor::Plugin::TrustPolicy
nilable_slot Rigor::RbsExtended
no Rigor::Trinary
no Rigor::Type::AcceptsResult
#no? Rigor::Trinary
#no? Rigor::Type::AcceptsResult
#node Rigor::CLI::TypeOfCommand::Result
#node Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector::Result
nominal_element Rigor::Inference::MethodDispatcher::IteratorDispatch
#nominal_for Rigor::Environment::ClassRegistry
nominal_for_name Rigor::Reflection
#nominal_for_name Rigor::Environment
#nominal_for_name Rigor::Environment::ClassRegistry
nominal_hash_pair_element Rigor::Inference::MethodDispatcher::IteratorDispatch
nominal_of Rigor::Type::Combinator
nominal_unary_element Rigor::Inference::MethodDispatcher::IteratorDispatch
non_empty_array Rigor::Type::Combinator
non_empty_hash Rigor::Type::Combinator
non_empty_literal_string Rigor::Type::Combinator
non_empty_lowercase_string Rigor::Type::Combinator
non_empty_string Rigor::Type::Combinator
non_empty_uppercase_string Rigor::Type::Combinator
non_lowercase_string Rigor::Type::Combinator
non_negative_int Rigor::Type::Combinator
non_numeric_string Rigor::Type::Combinator
non_positive_int Rigor::Type::Combinator
non_uppercase_string Rigor::Type::Combinator
non_zero_int Rigor::Type::Combinator
#normalize_observations Rigor::SigGen::Generator
numeric_constant? Rigor::Inference::MethodDispatcher::KernelDispatch
numeric_set_of Rigor::Inference::MethodDispatcher::ConstantFolding
numeric_string Rigor::Type::Combinator
octal_int_string Rigor::Type::Combinator
omit_of Rigor::Type::Combinator
#open? Rigor::Type::HashShape
#open_url Rigor::Plugin::IoBoundary
ops_for Rigor::Inference::MethodDispatcher::ConstantFolding
#optional_key? Rigor::Type::HashShape
#optional_keys Rigor::Type::HashShape
#or Rigor::Trinary
overload_has_block? Rigor::Inference::MethodDispatcher::OverloadSelector
#owns_receivers Rigor::Plugin::Manifest
#pairs Rigor::Type::HashShape
#parallel_workers Rigor::Configuration
#param_name Rigor::RbsExtended::ParamOverride
param_type_override_map Rigor::RbsExtended
parametric_int_builder Rigor::Builtins::ImportedRefinements
parametric_type_builder Rigor::Builtins::ImportedRefinements
parent_name_from Rigor::Inference::SyntheticMethodScanner
parse Rigor::Builtins::ImportedRefinements
parse_assert_annotation Rigor::RbsExtended
parse_param_annotation Rigor::RbsExtended
parse_paths Rigor::Inference::SyntheticMethodScanner
parse_predicate_annotation Rigor::RbsExtended
parse_return_type_override Rigor::RbsExtended
parse_suppression_comments Rigor::Analysis::CheckRules
partial_of Rigor::Type::Combinator
partition_classes Rigor::Analysis::RunStats
#path Rigor::Cache::Descriptor::FileEntry
#path Rigor::Analysis::Diagnostic
#path Rigor::SigGen::MethodCandidate
#paths Rigor::Configuration
#payload Rigor::RbsExtended::Reporter::UnresolvedEntry
#peak_rss_bytes Rigor::Analysis::RunStats
peak_rss_bytes Rigor::Analysis::RunStats
pick_of Rigor::Type::Combinator
#platform Rigor::Environment::LockfileResolver::LockedGem
platform_specific_skip? Rigor::Inference::MethodDispatcher::FileFolding
#plugin_id Rigor::Plugin::FactStore::Fact
#plugin_id Rigor::Plugin::FactStore::Conflict
#plugin_id Rigor::Plugin::IoBoundary
plugin_owns_receiver? Rigor::Inference::MethodDispatcher
#plugin_ref Rigor::Plugin::LoadError
#plugin_registry Rigor::Environment
#plugin_registry Rigor::Analysis::Runner
#plugin_registry Rigor::Analysis::WorkerSession
#plugins Rigor::Configuration
#plugins Rigor::Plugin::Registry
#plugins Rigor::Cache::Descriptor
#plugins_io_allowed_paths Rigor::Configuration
#plugins_io_allowed_url_hosts Rigor::Configuration
#plugins_io_network Rigor::Configuration
#polarity Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector::Result
#policy Rigor::Plugin::IoBoundary
#position_to_offset Rigor::Source::NodeLocator
#positional Rigor::SigGen::ObservedCall
positional_symbols Rigor::Inference::SyntheticMethodScanner
positive_int Rigor::Type::Combinator
#post_return_facts Rigor::FlowContribution::MergeResult
#pre_file_diagnostics Rigor::Analysis::Runner
predicate_decision Rigor::Inference::MethodDispatcher::BlockFolding
#predicate_id Rigor::Type::Refined
predicate_scopes Rigor::Inference::Narrowing
#prepare Rigor::Plugin::Base
#prepare_diagnostics Rigor::Analysis::WorkerSession
#prewarm Rigor::Environment::RbsLoader
producer Rigor::Plugin::Base
producers Rigor::Plugin::Base
#produces Rigor::Plugin::Manifest
#program_globals Rigor::Scope
promote_synthetic_match Rigor::Inference::MethodDispatcher
promote_via_origin_module Rigor::Inference::MethodDispatcher
promote_via_return_type Rigor::Inference::MethodDispatcher
propagate Rigor::Inference::ScopeIndexer
propagate_if_branches Rigor::Inference::ScopeIndexer
propagate_unless_branches Rigor::Inference::ScopeIndexer
#protocols Rigor::Plugin::Manifest
#provenance Rigor::Inference::SyntheticMethod
#provenances Rigor::FlowContribution::MergeResult
#publish Rigor::Plugin::FactStore
#published? Rigor::Plugin::FactStore
qualified_name_for Rigor::Inference::ScopeIndexer
qualified_name_for Rigor::Analysis::DependencySourceInference::Walker
#qualified_rule Rigor::Analysis::Diagnostic
raise_if_strict Rigor::Inference::MethodDispatcher::ConstantFolding
range_additive Rigor::Inference::MethodDispatcher::ConstantFolding
range_between Rigor::Inference::MethodDispatcher::ConstantFolding
range_clamp Rigor::Inference::MethodDispatcher::ConstantFolding
range_comparison Rigor::Inference::MethodDispatcher::ConstantFolding
range_comparison_result Rigor::Inference::MethodDispatcher::ConstantFolding
range_constant_element Rigor::Inference::MethodDispatcher::IteratorDispatch
range_constant_unary Rigor::Inference::MethodDispatcher::ConstantFolding
range_divide Rigor::Inference::MethodDispatcher::ConstantFolding
range_emptiness Rigor::Inference::MethodDispatcher::BlockFolding
range_endpoint_constant Rigor::Inference::MethodDispatcher::ConstantFolding
range_modulo Rigor::Inference::MethodDispatcher::ConstantFolding
range_multiply Rigor::Inference::MethodDispatcher::ConstantFolding
range_size Rigor::Inference::MethodDispatcher::BlockFolding
range_to_a_tuple Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_abs Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_bit_length Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_identity Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_negate Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_parity Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_predicate Rigor::Inference::MethodDispatcher::ConstantFolding
range_unary_shift Rigor::Inference::MethodDispatcher::ConstantFolding
#rbs Rigor::SigGen::MethodCandidate
#rbs_attribution_available Rigor::Analysis::RunStats
rbs_class_known? Rigor::Reflection
#rbs_classes_bundled Rigor::Analysis::RunStats
#rbs_classes_project_sig Rigor::Analysis::RunStats
#rbs_classes_total Rigor::Analysis::RunStats
#rbs_collection_auto_detect Rigor::Configuration
#rbs_collection_lockfile Rigor::Configuration
#rbs_display Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter::Entry
rbs_display_for Rigor::Inference::MethodDispatcher
#rbs_extended_reporter Rigor::Environment
#rbs_extended_reporter Rigor::Analysis::Runner
#rbs_extended_reporter Rigor::Analysis::WorkerSession
#rbs_loader Rigor::Environment
rbs_result_untyped? Rigor::Inference::MethodDispatcher
rbs_subtype? Rigor::Inference::SyntheticMethodScanner
#read Rigor::Plugin::FactStore
read_assert_effects Rigor::RbsExtended
#read_file Rigor::Plugin::IoBoundary
read_flow_contribution Rigor::RbsExtended
#read_only_key? Rigor::Type::HashShape
#read_only_keys Rigor::Type::HashShape
read_param_type_overrides Rigor::RbsExtended
read_predicate_effects Rigor::RbsExtended
read_return_type_override Rigor::RbsExtended
read_rss_via_ps Rigor::Analysis::RunStats
read_vmhwm_from_proc Rigor::Analysis::RunStats
readonly_of Rigor::Type::Combinator
#reason Rigor::Plugin::LoadError
#reason Rigor::Plugin::AccessDeniedError
#reason Rigor::Analysis::DependencySourceInference::GemResolver::Unresolvable
#reasons Rigor::Type::AcceptsResult
receiver_as_kept_array Rigor::Inference::MethodDispatcher::BlockFolding
receiver_class_inherits_from? Rigor::Inference::MacroBlockSelfType
#receiver_constraint Rigor::Plugin::Macro::TraitRegistry
#receiver_constraint Rigor::Plugin::Macro::BlockAsMethod
#receiver_constraint Rigor::Plugin::Macro::HeredocTemplate
receiver_emptiness Rigor::Inference::MethodDispatcher::BlockFolding
receiver_matches_owner? Rigor::Inference::MethodDispatcher
#receiver_type Rigor::Type::BoundMethod
#receiver_type Rigor::Plugin::Macro::ExternalFile
#record Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter
record_alias_map_entry Rigor::Inference::ScopeIndexer
record_alias_method Rigor::Inference::ScopeIndexer
record_boundary_cross_if_applicable Rigor::Inference::MethodDispatcher
record_class_or_module? Rigor::Inference::ScopeIndexer
record_class_to_gem Rigor::Analysis::DependencySourceInference::Builder
record_constant_write Rigor::Inference::ScopeIndexer
record_cvar_write Rigor::Inference::ScopeIndexer
record_declarations Rigor::Inference::ScopeIndexer
record_def_method Rigor::Inference::ScopeIndexer
record_def_node Rigor::Inference::ScopeIndexer
record_def_node Rigor::Analysis::DependencySourceInference::Walker
record_def_visibility Rigor::Inference::ScopeIndexer
record_define_method Rigor::Inference::ScopeIndexer
#record_fallback Rigor::Inference::FallbackTracer
record_global_write Rigor::Inference::ScopeIndexer
record_ivar_write Rigor::Inference::ScopeIndexer
#record_lossy_projection Rigor::RbsExtended::Reporter
record_meta_new_constant? Rigor::Inference::ScopeIndexer
#record_parse_error Rigor::CLI::TypeScanCommand::ScanAccumulator
record_unresolved Rigor::RbsExtended
#record_unresolved Rigor::RbsExtended::Reporter
refined Rigor::Type::Combinator
#refinement? Rigor::RbsExtended::PredicateEffect
#refinement? Rigor::RbsExtended::AssertEffect
#reflection Rigor::Environment
#reflection Rigor::Plugin::Services
#reflection Rigor::Environment::RbsLoader
register Rigor::Plugin
#register Rigor::Environment::ClassRegistry
registered Rigor::Plugin
#registered? Rigor::Environment::ClassRegistry
registered_for Rigor::Plugin
#removed Rigor::Type::Difference
#render Rigor::SigGen::Renderer
#render Rigor::CLI::TypeOfRenderer
#render Rigor::CLI::TypeScanRenderer
render_constant_path Rigor::Inference::ScopeIndexer
#render_write Rigor::SigGen::Renderer
#required_key? Rigor::Type::HashShape
#required_keys Rigor::Type::HashShape
required_of Rigor::Type::Combinator
#requirement Rigor::Cache::Descriptor::GemEntry
#requirer Rigor::Plugin::Loader
#reset! Rigor::Inference::Builtins::MethodCatalog
reset! Rigor::Inference::Builtins::NumericCatalog
reset_default! Rigor::Environment::RbsLoader
resolve Rigor::Analysis::RuleCatalog
#resolve Rigor::TypeNode::ResolverChain
#resolve Rigor::Plugin::TypeNodeResolver
resolve Rigor::Configuration::SeverityProfile
resolve Rigor::Analysis::DependencySourceInference::GemResolver
resolve_bundle_path Rigor::Environment::BundleSigDiscovery
resolve_directive_rhs Rigor::RbsExtended
resolve_lockfile_path Rigor::Environment::LockfileResolver
resolve_lockfile_path Rigor::Environment::RbsCollectionDiscovery
resolve_path_key! Rigor::Configuration
resolve_plugins_io_paths! Rigor::Configuration
resolve_rule_token Rigor::Analysis::CheckRules
resolve_trait_modules Rigor::Inference::SyntheticMethodScanner
#resolved_gems Rigor::Analysis::DependencySourceInference::Index
#resolvers Rigor::TypeNode::ResolverChain
#resource Rigor::Plugin::AccessDeniedError
#return_type Rigor::Inference::SyntheticMethod
#return_type Rigor::FlowContribution::MergeResult
#returns Rigor::Plugin::Macro::HeredocTemplate::Emit
#role_conformance Rigor::FlowContribution::MergeResult
#root Rigor::Cache::Store
#rule Rigor::Analysis::Diagnostic
#run Rigor::CLI
#run Rigor::Analysis::Runner
#run Rigor::CLI::DiffCommand
#run Rigor::SigGen::Generator
#run Rigor::CLI::ExplainCommand
#run Rigor::CLI::SigGenCommand
#run Rigor::CLI::TypeOfCommand
#run Rigor::CLI::TypeScanCommand
safe? Rigor::Inference::MethodDispatcher::ConstantFolding
safe_div Rigor::Inference::MethodDispatcher::ConstantFolding
#safe_for_folding? Rigor::Inference::Builtins::MethodCatalog
safe_for_folding? Rigor::Inference::Builtins::NumericCatalog
safe_mul Rigor::Inference::MethodDispatcher::ConstantFolding
#scan Rigor::Inference::CoverageScanner
scan Rigor::Inference::SyntheticMethodScanner
select Rigor::Inference::MethodDispatcher::OverloadSelector
#self_type Rigor::Scope
#self_type Rigor::Plugin::Macro::BlockAsMethod
#services Rigor::Plugin::Base
#services Rigor::Plugin::Loader
#services Rigor::Analysis::WorkerSession
#severity Rigor::Analysis::Diagnostic
#severity_overrides Rigor::Configuration
#severity_profile Rigor::Configuration
shape_projection_lossy? Rigor::Type::Combinator
#sig_root_dir Rigor::SigGen::PathMapper
#signature_paths Rigor::Configuration
#signature_paths Rigor::Environment::RbsLoader
single_element_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
single_integer_arg Rigor::Inference::MethodDispatcher::ConstantFolding
#singleton Rigor::Inference::StatementEvaluator::ClassFrame
#singleton? Rigor::Inference::SyntheticMethod
singleton_definition Rigor::Reflection
#singleton_definition Rigor::Environment::RbsLoader
#singleton_definition Rigor::Environment::Reflection
#singleton_definitions Rigor::Environment::Reflection
singleton_for_name Rigor::Reflection
#singleton_for_name Rigor::Environment
#singleton_method Rigor::Environment::RbsLoader
singleton_method_definition Rigor::Reflection
singleton_of Rigor::Type::Combinator
singleton_receiver_class_name Rigor::Inference::MacroBlockSelfType
#size Rigor::Inference::FallbackTracer
#skip_reason Rigor::SigGen::MethodCandidate
#skipped Rigor::SigGen::WriteResult
slice_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
#source Rigor::Environment::RbsCoverageReport::Coverage
#source_family Rigor::Analysis::Diagnostic
#source_inference Rigor::Configuration::Dependencies
#source_location Rigor::RbsExtended::Reporter::UnresolvedEntry
#source_location Rigor::RbsExtended::Reporter::LossyProjectionEntry
#source_path Rigor::Scope
#source_path Rigor::SigGen::WriteResult
start Rigor::CLI
#static_facet Rigor::Type::Dynamic
#stats Rigor::Cache::Store
#stats Rigor::Analysis::Result
string_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_concat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_repeat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_unary_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
struct_new_call? Rigor::Inference::ScopeIndexer
struct_new_positionals Rigor::Inference::ScopeIndexer
#success? Rigor::Analysis::Result
#symbol_arg_position Rigor::Plugin::Macro::TraitRegistry
#symbol_arg_position Rigor::Plugin::Macro::HeredocTemplate
symbol_constant? Rigor::Inference::MethodDispatcher::IteratorDispatch
symbol_name_of Rigor::Inference::MethodDispatcher::MethodFolding
synthetic_method_class_name Rigor::Inference::MethodDispatcher
#synthetic_method_index Rigor::Environment
#target Rigor::FlowContribution::Fact
target_fields Rigor::RbsExtended
#target_files Rigor::Analysis::RunStats
#target_for Rigor::SigGen::PathMapper
#target_path Rigor::SigGen::WriteResult
#target_ruby Rigor::Configuration
ternary_cartesian Rigor::Inference::MethodDispatcher::ConstantFolding
ternary_method_allowed? Rigor::Inference::MethodDispatcher::ConstantFolding
tier_for Rigor::FlowContribution::Merger
times_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
#to_canonical_bytes Rigor::Cache::Descriptor
#to_canonical_hash Rigor::Cache::Descriptor
#to_diagnostic Rigor::FlowContribution::Conflict
#to_element_list Rigor::FlowContribution
#to_fact Rigor::RbsExtended::PredicateEffect
#to_fact Rigor::RbsExtended::AssertEffect
#to_h Rigor::Configuration
#to_h Rigor::Analysis::Result
#to_h Rigor::Plugin::Manifest
#to_h Rigor::Cache::Descriptor::FileEntry
#to_h Rigor::Cache::Descriptor::GemEntry
#to_h Rigor::Cache::Descriptor::PluginEntry
#to_h Rigor::Cache::Descriptor::ConfigEntry
#to_h Rigor::Cache::Descriptor::DependencyEntry
#to_h Rigor::FlowContribution
#to_h Rigor::Analysis::RunStats
#to_h Rigor::Analysis::Diagnostic
#to_h Rigor::Plugin::TrustPolicy
#to_h Rigor::SigGen::WriteResult
#to_h Rigor::Analysis::RuleCatalog::Entry
#to_h Rigor::SigGen::MethodCandidate
#to_h Rigor::Configuration::Dependencies
#to_h Rigor::FlowContribution::Conflict
#to_h Rigor::Inference::SyntheticMethod
#to_h Rigor::Plugin::Macro::ExternalFile
#to_h Rigor::Plugin::Macro::TraitRegistry
#to_h Rigor::Plugin::Macro::BlockAsMethod
#to_h Rigor::Plugin::Macro::HeredocTemplate
#to_h Rigor::Plugin::Macro::HeredocTemplate::Emit
#to_h Rigor::FlowContribution::MergeResult
#to_h Rigor::Inference::SyntheticMethodIndex
#to_index Rigor::Analysis::DependencySourceInference::Builder::BuildState
#to_report Rigor::CLI::TypeScanCommand::ScanAccumulator
#to_s Rigor::Trinary
#to_s Rigor::Analysis::Diagnostic
#top Rigor::Type::Bot
#top Rigor::Type::Top
#top Rigor::Type::Tuple
#top Rigor::Type::Union
#top Rigor::Type::Dynamic
#top Rigor::Type::Nominal
#top Rigor::Type::Refined
#top Rigor::Type::Constant
#top Rigor::Type::Singleton
top Rigor::Type::Combinator
#top Rigor::Type::Difference
#top Rigor::Type::HashShape
#top Rigor::Type::BoundMethod
#top Rigor::Type::Intersection
#top Rigor::Type::IntegerRange
#top_level_def_for Rigor::Scope
#tracer Rigor::CLI::TypeOfCommand::Result
#trait_registries Rigor::Plugin::Manifest
translate Rigor::Inference::RbsTypeTranslator
#trinary Rigor::Type::AcceptsResult
#truncated? Rigor::Analysis::DependencySourceInference::Walker::Outcome
#trust_policy Rigor::Plugin::Services
#trusted_gems Rigor::Plugin::TrustPolicy
#truthy_facts Rigor::FlowContribution::MergeResult
#truthy_only? Rigor::RbsExtended::PredicateEffect
try_array Rigor::Inference::MethodDispatcher::KernelDispatch
try_backward Rigor::Inference::MethodDispatcher::MethodFolding
try_dependency_source Rigor::Inference::MethodDispatcher
try_discovered_method Rigor::Inference::MethodDispatcher
try_dispatch Rigor::Inference::MethodDispatcher::FileFolding
try_dispatch Rigor::Inference::MethodDispatcher::RbsDispatch
try_dispatch Rigor::Inference::MethodDispatcher::ShapeDispatch
try_dispatch Rigor::Inference::MethodDispatcher::KernelDispatch
try_dispatch Rigor::Inference::MethodDispatcher::LiteralStringFolding
try_fold Rigor::Inference::MethodDispatcher::BlockFolding
try_fold Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary_range Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_binary_set Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_divmod Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_pathname_binary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_pathname_unary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_range_constant_unary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_string_array_binary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_string_array_unary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_string_format Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_ternary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_ternary_range Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_ternary_set Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary_range Rigor::Inference::MethodDispatcher::ConstantFolding
try_fold_unary_set Rigor::Inference::MethodDispatcher::ConstantFolding
try_forward Rigor::Inference::MethodDispatcher::MethodFolding
try_integer_from_refinement Rigor::Inference::MethodDispatcher::KernelDispatch
try_meta_introspection Rigor::Inference::MethodDispatcher
try_numeric_constructor Rigor::Inference::MethodDispatcher::KernelDispatch
try_plugin_contribution Rigor::Inference::MethodDispatcher
try_synthetic_method Rigor::Inference::MethodDispatcher
try_user_class_fallback Rigor::Inference::MethodDispatcher
tuple_element Rigor::Inference::MethodDispatcher::IteratorDispatch
tuple_element_union Rigor::Inference::MethodDispatcher::KernelDispatch
tuple_of Rigor::Type::Combinator
tuple_to_array Rigor::Inference::MethodDispatcher::BlockFolding
#type Rigor::RbsExtended::ParamOverride
#type Rigor::AST::TypeNode
#type Rigor::Plugin::Services
#type Rigor::CLI::TypeOfCommand::Result
#type_args Rigor::Type::Nominal
#type_node_resolvers Rigor::Plugin::Manifest
#type_node_resolvers Rigor::Plugin::Registry
#type_of Rigor::Scope
#type_of Rigor::Inference::ExpressionTyper
#type_param_names Rigor::Environment::Reflection
unary_method_allowed? Rigor::Inference::MethodDispatcher::ConstantFolding
unary_ops_for Rigor::Inference::MethodDispatcher::ConstantFolding
unary_safe? Rigor::Inference::MethodDispatcher::ConstantFolding
#uncached_instance_definition Rigor::Environment::RbsLoader
#uncached_singleton_definition Rigor::Environment::RbsLoader
union Rigor::Type::Combinator
#universal? Rigor::Type::IntegerRange
universal_int Rigor::Type::Combinator
#unrecognized_count Rigor::CLI::Report
#unrecognized_count Rigor::Inference::CoverageScanner::Result
#unrecognized_ratio Rigor::CLI::Report
#unrecognized_ratio Rigor::Inference::CoverageScanner::Result
unregister! Rigor::Plugin
#unresolvable Rigor::Analysis::DependencySourceInference::Index
#unresolved_payloads Rigor::RbsExtended::Reporter
untyped Rigor::Type::Combinator
#upper Rigor::Type::IntegerRange
upper_bound_of Rigor::Inference::MethodDispatcher::IteratorDispatch
uppercase_string Rigor::Type::Combinator
upto_block_params Rigor::Inference::MethodDispatcher::IteratorDispatch
user_class_fallback_receiver Rigor::Inference::MethodDispatcher
#user_def_for Rigor::Scope
vacuous_range? Rigor::Inference::MethodDispatcher::IteratorDispatch
valid_bounds? Rigor::Builtins::RegexRefinement
#validate_config Rigor::Plugin::Manifest
#validate_target_ruby Rigor::Analysis::Runner
#value Rigor::Trinary
#value Rigor::Type::Constant
#value Rigor::Cache::Descriptor::FileEntry
#value Rigor::Plugin::FactStore::Fact
#value_hash Rigor::Cache::Descriptor::ConfigEntry
value_of Rigor::Type::Combinator
vendored_gem_sig_paths Rigor::Environment::RbsLoader
#verbs Rigor::Plugin::Macro::BlockAsMethod
#version Rigor::Plugin::Manifest
#version Rigor::Cache::Descriptor::PluginEntry
#version Rigor::Environment::LockfileResolver::LockedGem
#version Rigor::Environment::RbsCoverageReport::Coverage
visibility_target_name Rigor::Inference::ScopeIndexer
#visited_count Rigor::CLI::Report
#visited_count Rigor::Inference::CoverageScanner::Result
walk Rigor::Source::NodeWalker
walk Rigor::SigGen::TypeElaborator
walk Rigor::Analysis::DependencySourceInference::Walker
walk_children Rigor::Analysis::DependencySourceInference::Walker
walk_class_bodies Rigor::Inference::SyntheticMethodScanner
walk_class_cvars Rigor::Inference::ScopeIndexer
walk_class_decls Rigor::Inference::SyntheticMethodScanner
walk_class_ivars Rigor::Inference::ScopeIndexer
walk_constant_writes Rigor::Inference::ScopeIndexer
walk_def_nodes Rigor::Inference::ScopeIndexer
walk_method_visibilities Rigor::Inference::ScopeIndexer
walk_methods Rigor::Inference::ScopeIndexer
walk_module_decls Rigor::Inference::SyntheticMethodScanner
walk_node Rigor::Analysis::DependencySourceInference::Walker
walk_root Rigor::Analysis::DependencySourceInference::Walker
walker_outcome_for Rigor::Analysis::DependencySourceInference::Builder
#wall_seconds Rigor::Analysis::RunStats
#warnings Rigor::Configuration::Dependencies
#when_missing? Rigor::Configuration::Dependencies::Entry
widen_to_integer_range Rigor::Inference::MethodDispatcher::ConstantFolding
#with_class_cvars Rigor::Scope
#with_class_ivars Rigor::Scope
#with_cvar Rigor::Scope
#with_declared_types Rigor::Scope
#with_discovered_classes Rigor::Scope
#with_discovered_def_nodes Rigor::Scope
#with_discovered_method_visibilities Rigor::Scope
#with_discovered_methods Rigor::Scope
#with_fact Rigor::Scope
#with_fact Rigor::Analysis::FactStore
#with_global Rigor::Scope
#with_in_source_constants Rigor::Scope
#with_ivar Rigor::Scope
#with_local Rigor::Scope
#with_local_fact Rigor::Analysis::FactStore
#with_program_globals Rigor::Scope
#with_reason Rigor::Type::AcceptsResult
#with_self_type Rigor::Scope
#with_source_path Rigor::Scope
wrap_result Rigor::Inference::MethodDispatcher::FileFolding
#write Rigor::SigGen::Writer
#write_all Rigor::SigGen::Writer
yes Rigor::Trinary
yes Rigor::Type::AcceptsResult
#yes? Rigor::Trinary
#yes? Rigor::Type::AcceptsResult