Documentation by YARD 0.9.38

Alphabetic Index

File Listing

README

Namespace Listing A-Z

AST (Rigor)
Acceptance (Rigor::Inference)
AcceptsResult (Rigor::Type)
AccessDeniedError (Rigor::Plugin)
AlwaysTruthyConditionCollector (Rigor::Analysis::CheckRules)
Analysis (Rigor)
AnnotateCommand (Rigor::CLI)
App (Rigor::Type)
AppRef (Rigor::Inference::HktBody)
AssertEffect (Rigor::RbsExtended)

Base (Rigor::Plugin)
Baseline (Rigor::Analysis)
BaselineCommand (Rigor::CLI)
BlockAsMethod (Rigor::Plugin::Macro)
BlockFolding (Rigor::Inference::MethodDispatcher)
BlockParameterBinder (Rigor::Inference)
Blueprint (Rigor::Plugin)
Bot (Rigor::Type)
BoundMethod (Rigor::Type)
BoundaryCrossReporter (Rigor::Analysis::DependencySourceInference)
Bucket (Rigor::Analysis::Baseline)
BufferBinding (Rigor::Analysis)
BufferTable (Rigor::LanguageServer)
BuildState (Rigor::Analysis::DependencySourceInference::Builder)
Builder (Rigor::Analysis::DependencySourceInference)
Builtins (Rigor)
Builtins (Rigor::Inference)
BundleSigDiscovery (Rigor::Environment)

CGIFolding (Rigor::Inference::MethodDispatcher)
CLI (Rigor)
Cache (Rigor)
CatalogEntry (Rigor::Analysis::DependencySourceInference::Walker)
Catalogue (Rigor::Triage)
ChainKey (Rigor::Scope)
CheckRules (Rigor::Analysis)
ClassFrame (Rigor::Inference::StatementEvaluator)
ClassRegistry (Rigor::Environment)
Classification (Rigor::SigGen)
ClosureEscapeAnalyzer (Rigor::Inference)
Combinator (Rigor::Type)
CompletionProvider (Rigor::LanguageServer)
Conditional (Rigor::Inference::HktBody)
ConfigEntry (Rigor::Cache::Descriptor)
Configuration (Rigor)
Conflict (Rigor::Cache::Descriptor)
Conflict (Rigor::Plugin::FactStore)
Conflict (Rigor::FlowContribution)
Constant (Rigor::Type)
ConstantFolding (Rigor::Inference::MethodDispatcher)
Consumption (Rigor::Plugin::Manifest)
Coverage (Rigor::Environment::RbsCoverageReport)
CoverageAccumulator (Rigor::CLI)
CoverageCommand (Rigor::CLI)
CoverageRenderer (Rigor::CLI)
CoverageReport (Rigor::CLI)
CoverageScanner (Rigor::Inference)

DeadAssignmentCollector (Rigor::Analysis::CheckRules)
Debouncer (Rigor::LanguageServer)
DefReturnTyper (Rigor::Inference)
DefaultHttpClient (Rigor::Plugin)
Definition (Rigor::Inference::HktRegistry)
Dependencies (Rigor::Configuration)
DependencyEntry (Rigor::Cache::Descriptor)
DependencySourceInference (Rigor::Analysis)
Descriptor (Rigor::Cache)
Diagnostic (Rigor::Analysis)
DiagnosticPublisher (Rigor::LanguageServer)
DiffCommand (Rigor::CLI)
Difference (Rigor::Type)
DocumentSymbolProvider (Rigor::LanguageServer)
DriftRow (Rigor::Analysis::Baseline)
Dynamic (Rigor::Type)

Element (Rigor::FlowContribution)
Emit (Rigor::Plugin::Macro::HeredocTemplate)
Entry (Rigor::Analysis::RuleCatalog)
Entry (Rigor::Configuration::Dependencies)
Entry (Rigor::LanguageServer::BufferTable)
Entry (Rigor::Inference::ProjectPatchedMethods)
Entry (Rigor::Plugin::SourceRbsSynthesisReporter)
Entry (Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter)
Environment (Rigor)
ErbTemplateDetector (Rigor::Analysis)
ExplainCommand (Rigor::CLI)
ExpressionTyper (Rigor::Inference)
ExternalFile (Rigor::Plugin::Macro)

Fact (Rigor::Plugin::FactStore)
Fact (Rigor::Analysis::FactStore)
Fact (Rigor::FlowContribution)
FactStore (Rigor::Plugin)
FactStore (Rigor::Analysis)
Fallback (Rigor::Inference)
FallbackTracer (Rigor::Inference)
FileEntry (Rigor::Cache::Descriptor)
FileFolding (Rigor::Inference::MethodDispatcher)
FileResult (Rigor::Inference::PrecisionScanner)
FlowContribution (Rigor)
FoldingRangeProvider (Rigor::LanguageServer)
FuelExhausted (Rigor::Inference::HktReducer)

GemEntry (Rigor::Cache::Descriptor)
GemResolver (Rigor::Analysis::DependencySourceInference)
Generator (Rigor::SigGen)
Generic (Rigor::TypeNode)

HashShape (Rigor::Type)
HeredocTemplate (Rigor::Plugin::Macro)
Hint (Rigor::Triage)
HktBody (Rigor::Inference)
HktBodyParser (Rigor::Inference)
HktBuiltins (Rigor::Builtins)
HktDirectives (Rigor::RbsExtended)
HktReducer (Rigor::Inference)
HktRegistry (Rigor::Inference)
HktRegistryHolder (Rigor::Environment)
Hotspot (Rigor::Triage)
HoverProvider (Rigor::LanguageServer)
HoverRenderer (Rigor::LanguageServer)

Identifier (Rigor::TypeNode)
ImportedRefinements (Rigor::Builtins)
Index (Rigor::Analysis::DependencySourceInference)
IndexedAccess (Rigor::TypeNode)
IndexedKey (Rigor::Scope)
IndexedNarrowing (Rigor::Inference)
Inference (Rigor)
IntegerLiteral (Rigor::TypeNode)
IntegerRange (Rigor::Type)
Intersection (Rigor::Type)
IoBoundary (Rigor::Plugin)
IteratorDispatch (Rigor::Inference::MethodDispatcher)
IvarWriteCollector (Rigor::Analysis::CheckRules)

KernelDispatch (Rigor::Inference::MethodDispatcher)

LanguageServer (Rigor)
LayoutIndex (Rigor::SigGen)
LineTypeCollector (Rigor::CLI)
LiteralStringFolding (Rigor::Inference::MethodDispatcher)
LoadError (Rigor::Analysis::Baseline)
LoadError (Rigor::Plugin)
Loader (Rigor::Plugin)
LocatedEvent (Rigor::CLI::TypeScanCommand)
Location (RBS)
LockedGem (Rigor::Environment::LockfileResolver)
LockfileResolver (Rigor::Environment)
Loop (Rigor::MCP)
Loop (Rigor::LanguageServer)
LossyProjectionEntry (Rigor::RbsExtended::Reporter)
LspCommand (Rigor::CLI)

MCP (Rigor)
Macro (Rigor::Plugin)
MacroBlockSelfType (Rigor::Inference)
Manifest (Rigor::Plugin)
MathFolding (Rigor::Inference::MethodDispatcher)
McpCommand (Rigor::CLI)
MergeResult (Rigor::FlowContribution)
Merger (Rigor::FlowContribution)
MethodCandidate (Rigor::SigGen)
MethodCatalog (Rigor::Inference::Builtins)
MethodDispatcher (Rigor::Inference)
MethodFolding (Rigor::Inference::MethodDispatcher)
MethodParameterBinder (Rigor::Inference)
MultiTargetBinder (Rigor::Inference)
MutationWidening (Rigor::Inference)

NameScope (Rigor::TypeNode)
Narrowing (Rigor::Inference)
Node (Rigor::AST)
NodeLocator (Rigor::Source)
NodeWalker (Rigor::Source)
Nominal (Rigor::Type)
NominalApp (Rigor::Inference::HktBody)
NumericCatalog (Rigor::Inference::Builtins)

ObservationCollector (Rigor::SigGen)
ObservedCall (Rigor::SigGen)
OutOfRangeError (Rigor::Source::NodeLocator)
Outcome (Rigor::Analysis::DependencySourceInference::Walker)
OverloadSelector (Rigor::Inference::MethodDispatcher)

Param (Rigor::Inference::HktBody)
ParamOverride (Rigor::RbsExtended)
ParamType (Rigor::Plugin::ProtocolContract)
ParseError (Rigor::Inference::HktBodyParser)
Parser (Rigor::Inference::HktBodyParser)
PathMapper (Rigor::SigGen)
Plugin (Rigor)
PluginEntry (Rigor::Cache::Descriptor)
PluginsCommand (Rigor::CLI)
PluginsRenderer (Rigor::CLI)
PrecisionScanner (Rigor::Inference)
PredicateEffect (Rigor::RbsExtended)
PrismColorizer (Rigor::CLI)
ProjectContext (Rigor::LanguageServer)
ProjectPatchedMethods (Rigor::Inference)
ProjectPatchedScanner (Rigor::Inference)
ProjectScan (Rigor::Analysis)
ProtocolContract (Rigor::Plugin)
Provenance (Rigor::FlowContribution)

RBS
RbsClassAncestorTable (Rigor::Cache)
RbsClassTypeParamNames (Rigor::Cache)
RbsCollectionDiscovery (Rigor::Environment)
RbsConstantTable (Rigor::Cache)
RbsCoverageReport (Rigor::Environment)
RbsDescriptor (Rigor::Cache)
RbsDispatch (Rigor::Inference::MethodDispatcher)
RbsEnvironment (Rigor::Cache)
RbsExtended (Rigor)
RbsHierarchy (Rigor::Environment)
RbsInstanceDefinitions (Rigor::Cache)
RbsKnownClassNames (Rigor::Cache)
RbsLoader (Rigor::Environment)
RbsSingletonDefinitions (Rigor::Cache)
RbsTypeTranslator (Rigor::Inference)
ReceiverAffinity (Rigor::Inference::MethodDispatcher)
Refined (Rigor::Type)
Reflection (Rigor::Environment)
Reflection (Rigor)
RegexRefinement (Rigor::Builtins)
RegexpFolding (Rigor::Inference::MethodDispatcher)
Registration (Rigor::Inference::HktRegistry)
Registry (Rigor::Plugin)
Renderer (Rigor::SigGen)
Report (Rigor::Triage)
Report (Rigor::CLI)
Reporter (Rigor::RbsExtended)
Reporters (Rigor::Environment)
Resolved (Rigor::Analysis::DependencySourceInference::GemResolver)
ResolverChain (Rigor::TypeNode)
Result (Rigor::Analysis)
Result (Rigor::CLI::TypeOfCommand)
Result (Rigor::Inference::CoverageScanner)
Result (Rigor::Inference::ProjectPatchedScanner)
Result (Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector)
ReturnTypeHeuristic (Rigor::Analysis::DependencySourceInference)
ReturnsFromArg (Rigor::Plugin::Macro::HeredocTemplate)
Rigor
RuleCatalog (Rigor::Analysis)
RuleCount (Rigor::Triage)
RunStats (Rigor::Analysis)
Runner (Rigor::Analysis)

ScanAccumulator (Rigor::CLI::TypeScanCommand)
Scope (Rigor)
ScopeIndexer (Rigor::Inference)
SelectionRangeProvider (Rigor::LanguageServer)
Server (Rigor::MCP)
Server (Rigor::LanguageServer)
Services (Rigor::Plugin)
SetFolding (Rigor::Inference::MethodDispatcher)
SeverityProfile (Rigor::Configuration)
ShapeDispatch (Rigor::Inference::MethodDispatcher)
ShellwordsFolding (Rigor::Inference::MethodDispatcher)
SigGen (Rigor)
SigGenCommand (Rigor::CLI)
SignatureHelpProvider (Rigor::LanguageServer)
Singleton (Rigor::Type)
SkillCommand (Rigor::CLI)
Source (Rigor)
SourceRbsSynthesisReporter (Rigor::Plugin)
State (Rigor::Inference::HktReducer)
StatementEvaluator (Rigor::Inference)
StaticReturnRefinements (Rigor::Builtins)
Store (Rigor::Cache)
StringLiteral (Rigor::TypeNode)
Summary (Rigor::Triage)
SymbolLiteral (Rigor::TypeNode)
SynchronizedWriter (Rigor::LanguageServer)
SyntheticMethod (Rigor::Inference)
SyntheticMethodIndex (Rigor::Inference)
SyntheticMethodScanner (Rigor::Inference)

Target (Rigor::Analysis::FactStore)
Task (Rigor::LanguageServer::Debouncer)
TestEquality (Rigor::Inference::HktBody)
TestMembership (Rigor::Inference::HktBody)
TestSubtype (Rigor::Inference::HktBody)
Testing (Rigor)
TimeFolding (Rigor::Inference::MethodDispatcher)
Token (Rigor::Inference::HktBodyParser)
Tokenizer (Rigor::Inference::HktBodyParser)
Top (Rigor::Type)
TraitRegistry (Rigor::Plugin::Macro)
Triage (Rigor)
TriageCommand (Rigor::CLI)
TriageRenderer (Rigor::CLI)
Trinary (Rigor)
TrustPolicy (Rigor::Plugin)
Tuple (Rigor::Type)
Type (Rigor)
TypeElaborator (Rigor::SigGen)
TypeLeaf (Rigor::Inference::HktBody)
TypeNode (Rigor::AST)
TypeNode (Rigor)
TypeNodeResolver (Rigor::Plugin)
TypeOfCommand (Rigor::CLI)
TypeOfRenderer (Rigor::CLI)
TypeScanCommand (Rigor::CLI)
TypeScanRenderer (Rigor::CLI)

URIFolding (Rigor::Inference::MethodDispatcher)
Union (Rigor::Type)
Union (Rigor::TypeNode)
Union (Rigor::Inference::HktBody)
Unresolvable (Rigor::Analysis::DependencySourceInference::GemResolver)
UnresolvedEntry (Rigor::RbsExtended::Reporter)
Uri (Rigor::LanguageServer)

Walker (Rigor::Analysis::DependencySourceInference)
WorkerSession (Rigor::Analysis)
WriteResult (Rigor::SigGen)
Writer (Rigor::SigGen)