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::AST::TypeNode
#== Rigor::Type::Constant
#== Rigor::Type::Singleton
#== Rigor::Type::HashShape
#== Rigor::Analysis::FactStore
#== Rigor::Type::AcceptsResult
#absorb Rigor::CLI::TypeScanCommand::ScanAccumulator
#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::Constant
#accepts Rigor::Type::Singleton
#accepts Rigor::Type::HashShape
accepts Rigor::Inference::Acceptance
analyse Rigor::Inference::Narrowing
#and Rigor::Trinary
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
bind Rigor::Inference::MultiTargetBinder
#bind Rigor::Inference::BlockParameterBinder
#bind Rigor::Inference::MethodParameterBinder
block_param_types Rigor::Inference::MethodDispatcher::RbsDispatch
#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::Constant
#bot Rigor::Type::Singleton
bot Rigor::Type::Combinator
#bot Rigor::Type::HashShape
#bucket Rigor::Analysis::FactStore::Fact
build_class_cvar_index Rigor::Inference::ScopeIndexer
build_class_ivar_index Rigor::Inference::ScopeIndexer
build_declaration_artifacts Rigor::Inference::ScopeIndexer
build_discovered_methods Rigor::Inference::ScopeIndexer
build_in_source_constants Rigor::Inference::ScopeIndexer
build_program_global_index Rigor::Inference::ScopeIndexer
#cache_path Rigor::Configuration
case_when_scopes Rigor::Inference::Narrowing
#class_cvars Rigor::Scope
#class_cvars_for Rigor::Scope
#class_ivars Rigor::Scope
#class_ivars_for Rigor::Scope
#class_known? Rigor::Environment
#class_known? Rigor::Environment::RbsLoader
#class_name Rigor::RbsExtended::PredicateEffect
#class_name Rigor::Type::Nominal
#class_name Rigor::Type::Singleton
#class_ordering Rigor::Environment
#class_ordering Rigor::Environment::RbsLoader
#class_ordering Rigor::Environment::RbsHierarchy
#class_ordering Rigor::Environment::ClassRegistry
#class_registry Rigor::Environment
#class_type_param_names Rigor::Environment::RbsLoader
classify Rigor::Inference::ClosureEscapeAnalyzer
#clear Rigor::Inference::FallbackTracer
#closed? Rigor::Type::HashShape
collect_def_cvar_writes Rigor::Inference::ScopeIndexer
collect_def_ivar_writes Rigor::Inference::ScopeIndexer
#column Rigor::Analysis::Diagnostic
#column Rigor::CLI::TypeOfCommand::Result
#constant_for_name Rigor::Environment
constant_metaclass Rigor::Inference::MethodDispatcher
constant_of Rigor::Type::Combinator
#constant_type Rigor::Environment::RbsLoader
#cvar Rigor::Scope
#cvars Rigor::Scope
#declared_types Rigor::Scope
default Rigor::Environment
default Rigor::Environment::RbsLoader
default Rigor::Environment::ClassRegistry
#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::Constant
#describe Rigor::Type::Singleton
#describe Rigor::Type::HashShape
diagnose Rigor::Analysis::CheckRules
#diagnostics Rigor::Analysis::Result
#discovered_classes Rigor::Scope
#discovered_method? Rigor::Scope
#discovered_methods Rigor::Scope
dispatch Rigor::Inference::MethodDispatcher
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::Constant
#dynamic Rigor::Type::Singleton
dynamic Rigor::Type::Combinator
#dynamic Rigor::Type::HashShape
each Rigor::Source::NodeWalker
#each Rigor::Inference::FallbackTracer
#edge Rigor::RbsExtended::PredicateEffect
#elements Rigor::Type::Tuple
empty Rigor::Scope
empty Rigor::Analysis::FactStore
#empty? Rigor::Analysis::FactStore
#empty? Rigor::Inference::FallbackTracer
#environment Rigor::Scope
#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::Constant
#erase_to_rbs Rigor::Type::Singleton
#erase_to_rbs Rigor::Type::HashShape
#error? Rigor::Analysis::Diagnostic
#error_count Rigor::Analysis::Result
#evaluate Rigor::Scope
#evaluate Rigor::Inference::StatementEvaluator
#event Rigor::CLI::TypeScanCommand::LocatedEvent
#events Rigor::CLI::Report
#events Rigor::Inference::FallbackTracer
#events Rigor::Inference::CoverageScanner::Result
expected_block_param_types Rigor::Inference::MethodDispatcher
#extra_keys Rigor::Type::HashShape
#fact_store Rigor::Scope
#facts Rigor::Analysis::FactStore
#facts_for Rigor::Scope
#facts_for Rigor::Analysis::FactStore
#falsey_only? Rigor::RbsExtended::PredicateEffect
#families Rigor::Inference::FallbackTracer
#family Rigor::Inference::Fallback
#file Rigor::CLI::TypeOfCommand::Result
#file Rigor::CLI::TypeScanCommand::LocatedEvent
#files Rigor::CLI::Report
for_project Rigor::Environment
from_symbol Rigor::Trinary
gather_cvar_writes Rigor::Inference::ScopeIndexer
gather_global_writes Rigor::Inference::ScopeIndexer
gather_ivar_writes Rigor::Inference::ScopeIndexer
#global Rigor::Scope
#globals Rigor::Scope
#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::AST::TypeNode
#hash Rigor::Type::Constant
#hash Rigor::Type::Singleton
#hash Rigor::Type::HashShape
#hash Rigor::Analysis::FactStore
#hash Rigor::Type::AcceptsResult
hash_shape_of Rigor::Type::Combinator
#in_source_constants Rigor::Scope
index Rigor::Inference::ScopeIndexer
#initialize Rigor::CLI
#initialize Rigor::Scope
#initialize Rigor::Trinary
#initialize Rigor::Type::Tuple
#initialize Rigor::Type::Union
#initialize Rigor::Environment
#initialize Rigor::Type::Dynamic
#initialize Rigor::Type::Nominal
#initialize Rigor::AST::TypeNode
#initialize Rigor::Configuration
#initialize Rigor::Type::Constant
#initialize Rigor::Type::Singleton
#initialize Rigor::Analysis::Result
#initialize Rigor::Analysis::Runner
#initialize Rigor::Type::HashShape
#initialize Rigor::Inference::Fallback
#initialize Rigor::Analysis::Diagnostic
#initialize Rigor::Analysis::FactStore::Target
#initialize Rigor::Analysis::FactStore::Fact
#initialize Rigor::Analysis::FactStore
#initialize Rigor::CLI::TypeOfCommand
#initialize Rigor::Source::NodeLocator
#initialize Rigor::Type::AcceptsResult
#initialize Rigor::CLI::TypeOfRenderer
#initialize Rigor::CLI::TypeScanCommand
#initialize Rigor::CLI::TypeScanCommand::ScanAccumulator
#initialize Rigor::CLI::TypeScanRenderer
#initialize Rigor::Environment::RbsLoader
#initialize Rigor::Environment::RbsHierarchy
#initialize Rigor::Inference::FallbackTracer
#initialize Rigor::Environment::ClassRegistry
#initialize Rigor::Inference::CoverageScanner
#initialize Rigor::Inference::ExpressionTyper
#initialize Rigor::Inference::StatementEvaluator
#initialize Rigor::Inference::BlockParameterBinder
#initialize Rigor::Inference::MethodParameterBinder
#inner_type Rigor::Inference::Fallback
#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::AST::TypeNode
#inspect Rigor::Type::Constant
#inspect Rigor::Type::Singleton
#inspect Rigor::Type::HashShape
#inspect Rigor::Type::AcceptsResult
instance Rigor::Type::Bot
instance Rigor::Type::Top
#instance_definition Rigor::Environment::RbsLoader
#instance_method Rigor::Environment::RbsLoader
integer_division_by_zero? Rigor::Inference::MethodDispatcher::ConstantFolding
#invalidate_target Rigor::Analysis::FactStore
#ivar Rigor::Scope
#ivars Rigor::Scope
#join Rigor::Scope
#join Rigor::Analysis::FactStore
#kind Rigor::Analysis::FactStore::Target
#kinds Rigor::Inference::FallbackTracer
#libraries Rigor::Environment::RbsLoader
#line Rigor::Analysis::Diagnostic
#line Rigor::CLI::TypeOfCommand::Result
literal_method_name Rigor::Inference::ScopeIndexer
load Rigor::Configuration
#local Rigor::Scope
local Rigor::Analysis::FactStore::Target
#local_facts Rigor::Scope
#locals Rigor::Scope
#location Rigor::Inference::Fallback
maybe Rigor::Trinary
maybe Rigor::Type::AcceptsResult
#maybe? Rigor::Trinary
#maybe? Rigor::Type::AcceptsResult
#members Rigor::Type::Union
#message Rigor::Analysis::Diagnostic
meta_class Rigor::Inference::MethodDispatcher
meta_new Rigor::Inference::MethodDispatcher
#mode Rigor::Type::AcceptsResult
#name Rigor::Analysis::FactStore::Target
#name Rigor::Inference::StatementEvaluator::ClassFrame
narrow_class Rigor::Inference::Narrowing
narrow_equal Rigor::Inference::Narrowing
narrow_falsey 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_truthy Rigor::Inference::Narrowing
#negate Rigor::Trinary
no Rigor::Trinary
no Rigor::Type::AcceptsResult
#no? Rigor::Trinary
#no? Rigor::Type::AcceptsResult
#node Rigor::CLI::TypeOfCommand::Result
#node_class Rigor::Inference::Fallback
#nominal_for Rigor::Environment::ClassRegistry
#nominal_for_name Rigor::Environment
#nominal_for_name Rigor::Environment::ClassRegistry
nominal_of Rigor::Type::Combinator
#open? Rigor::Type::HashShape
ops_for Rigor::Inference::MethodDispatcher::ConstantFolding
#optional_key? Rigor::Type::HashShape
#optional_keys Rigor::Type::HashShape
#options Rigor::CLI::Report
#or Rigor::Trinary
overload_has_block? Rigor::Inference::MethodDispatcher::OverloadSelector
#pairs Rigor::Type::HashShape
#parse_errors Rigor::CLI::Report
parse_predicate_annotation Rigor::RbsExtended
#path Rigor::Analysis::Diagnostic
#paths Rigor::Configuration
#payload Rigor::Analysis::FactStore::Fact
#plugins Rigor::Configuration
#polarity Rigor::Analysis::FactStore::Fact
#position_to_offset Rigor::Source::NodeLocator
#predicate Rigor::Analysis::FactStore::Fact
predicate_scopes Rigor::Inference::Narrowing
#program_globals Rigor::Scope
propagate Rigor::Inference::ScopeIndexer
qualified_name_for Rigor::Inference::ScopeIndexer
#rbs_loader Rigor::Environment
#read_only_key? Rigor::Type::HashShape
#read_only_keys Rigor::Type::HashShape
read_predicate_effects Rigor::RbsExtended
#reasons Rigor::Type::AcceptsResult
record_constant_write Rigor::Inference::ScopeIndexer
record_cvar_write Rigor::Inference::ScopeIndexer
record_declarations Rigor::Inference::ScopeIndexer
record_def_method 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_parse_error Rigor::CLI::TypeScanCommand::ScanAccumulator
#register Rigor::Environment::ClassRegistry
#registered? Rigor::Environment::ClassRegistry
#render Rigor::CLI::TypeOfRenderer
#render Rigor::CLI::TypeScanRenderer
render_constant_path Rigor::Inference::ScopeIndexer
#required_key? Rigor::Type::HashShape
#required_keys Rigor::Type::HashShape
reset_default! Rigor::Environment::RbsLoader
#run Rigor::CLI
#run Rigor::Analysis::Runner
#run Rigor::CLI::TypeOfCommand
#run Rigor::CLI::TypeScanCommand
safe? Rigor::Inference::MethodDispatcher::ConstantFolding
#scan Rigor::Inference::CoverageScanner
select Rigor::Inference::MethodDispatcher::OverloadSelector
#self_type Rigor::Scope
#severity Rigor::Analysis::Diagnostic
#signature_paths Rigor::Environment::RbsLoader
#singleton Rigor::Inference::StatementEvaluator::ClassFrame
#singleton_definition Rigor::Environment::RbsLoader
#singleton_for_name Rigor::Environment
#singleton_method Rigor::Environment::RbsLoader
singleton_of Rigor::Type::Combinator
#size Rigor::Inference::FallbackTracer
#stability Rigor::Analysis::FactStore::Fact
start Rigor::CLI
#static_facet Rigor::Type::Dynamic
string_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_concat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
string_repeat_blow_up? Rigor::Inference::MethodDispatcher::ConstantFolding
#success? Rigor::Analysis::Result
#target Rigor::Analysis::FactStore::Fact
#target_kind Rigor::RbsExtended::PredicateEffect
#target_name Rigor::RbsExtended::PredicateEffect
#target_ruby Rigor::Configuration
#to_h Rigor::Configuration
#to_h Rigor::Analysis::Result
#to_h Rigor::Analysis::Diagnostic
#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::Constant
#top Rigor::Type::Singleton
top Rigor::Type::Combinator
#top Rigor::Type::HashShape
#tracer Rigor::CLI::TypeOfCommand::Result
translate Rigor::Inference::RbsTypeTranslator
#trinary Rigor::Type::AcceptsResult
#truthy_only? Rigor::RbsExtended::PredicateEffect
try_dispatch Rigor::Inference::MethodDispatcher::RbsDispatch
try_dispatch Rigor::Inference::MethodDispatcher::ShapeDispatch
try_fold Rigor::Inference::MethodDispatcher::ConstantFolding
try_meta_introspection Rigor::Inference::MethodDispatcher
try_user_class_fallback Rigor::Inference::MethodDispatcher
tuple_of Rigor::Type::Combinator
#type Rigor::AST::TypeNode
#type Rigor::CLI::TypeOfCommand::Result
#type_args Rigor::Type::Nominal
#type_of Rigor::Scope
#type_of Rigor::Inference::ExpressionTyper
union Rigor::Type::Combinator
#unrecognized Rigor::CLI::Report
#unrecognized Rigor::Inference::CoverageScanner::Result
#unrecognized_count Rigor::CLI::Report
#unrecognized_count Rigor::Inference::CoverageScanner::Result
#unrecognized_ratio Rigor::CLI::Report
#unrecognized_ratio Rigor::Inference::CoverageScanner::Result
untyped Rigor::Type::Combinator
user_class_fallback_receiver Rigor::Inference::MethodDispatcher
#value Rigor::Trinary
#value Rigor::Type::Constant
#visited_count Rigor::CLI::Report
#visited_count Rigor::Inference::CoverageScanner::Result
#visits Rigor::CLI::Report
#visits Rigor::Inference::CoverageScanner::Result
walk Rigor::Source::NodeWalker
walk_class_cvars Rigor::Inference::ScopeIndexer
walk_class_ivars Rigor::Inference::ScopeIndexer
walk_constant_writes Rigor::Inference::ScopeIndexer
walk_methods Rigor::Inference::ScopeIndexer
#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_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
yes Rigor::Trinary
yes Rigor::Type::AcceptsResult
#yes? Rigor::Trinary
#yes? Rigor::Type::AcceptsResult