Documentation by YARD 0.9.38

Alphabetic Index

File Listing

README

Namespace Listing A-Z

AST (Rigor)
Acceptance (Rigor::Inference)
AcceptanceRouter (Rigor::Type)
AcceptsResult (Rigor::Type)
AccessDeniedError (Rigor::Plugin)
Accumulator (Rigor::Analysis::DependencyRecorder)
Accumulator (Rigor::Analysis::SelfCallResolutionRecorder)
AdditionalInitializer (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)
Box (Rigor::Plugin)
Bucket (Rigor::Analysis::Baseline)
BudgetTrace (Rigor::Inference)
BufferBinding (Rigor::Analysis)
BufferResolution (Rigor::LanguageServer)
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)
CallContext (Rigor::Inference::MethodDispatcher)
CatalogEntry (Rigor::Analysis::DependencySourceInference::Walker)
Catalogue (Rigor::Triage)
ChainKey (Rigor::Scope)
CheckCommand (Rigor::CLI)
CheckRules (Rigor::Analysis)
Checkstyle (Rigor::CLI::DiagnosticFormats)
CiDetector (Rigor::CLI)
ClassFrame (Rigor::Inference::StatementEvaluator)
ClassMethods (Rigor::ValueSemantics)
ClassRegistry (Rigor::Environment)
Classification (Rigor::SigGen)
ClosureEscapeAnalyzer (Rigor::Inference)
Combinator (Rigor::Type)
Command (Rigor::CLI)
CompletionProvider (Rigor::LanguageServer)
Conditional (Rigor::Inference::HktBody)
ConfigEntry (Rigor::Cache::Descriptor)
Configuration (Rigor)
Conflict (Rigor::Cache::Descriptor)
Conflict (Rigor::Plugin::FactStore)
Conflict (Rigor::FlowContribution)
ConformanceChecker (Rigor::RbsExtended)
Constant (Rigor::Type)
ConstantFolding (Rigor::Inference::MethodDispatcher)
Consumption (Rigor::Plugin::Manifest)
ContributionIndex (Rigor::Plugin)
Coverage (Rigor::Environment::RbsCoverageReport)
CoverageAccumulator (Rigor::CLI)
CoverageCommand (Rigor::CLI)
CoverageRenderer (Rigor::CLI)
CoverageReport (Rigor::CLI)
CoverageScanner (Rigor::Inference)

DataClass (Rigor::Type)
DataFolding (Rigor::Inference::MethodDispatcher)
DataInstance (Rigor::Type)
DeadAssignmentCollector (Rigor::Analysis::CheckRules)
Debouncer (Rigor::LanguageServer)
DefReturnTyper (Rigor::Inference)
DefaultHttpClient (Rigor::Plugin)
Definition (Rigor::Inference::HktRegistry)
Dependencies (Rigor::Configuration)
DependencyEntry (Rigor::Cache::Descriptor)
DependencyRecorder (Rigor::Analysis)
DependencySourceInference (Rigor::Analysis)
Descriptor (Rigor::Cache)
Diagnostic (Rigor::Analysis)
DiagnosticAggregator (Rigor::Analysis::Runner)
DiagnosticFormats (Rigor::CLI)
DiagnosticPublisher (Rigor::LanguageServer)
DiffCommand (Rigor::CLI)
Difference (Rigor::Type)
Direct (Rigor::Plugin::Isolation)
DiscoveryIndex (Rigor::Scope)
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)
Event (Rigor::Inference::FlowTracer)
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)
FlowTracer (Rigor::Inference)
FoldingRangeProvider (Rigor::LanguageServer)
FuelExhausted (Rigor::Inference::HktReducer)

GemEntry (Rigor::Cache::Descriptor)
GemResolver (Rigor::Analysis::DependencySourceInference)
Generator (Rigor::SigGen)
Generic (Rigor::TypeNode)
GithubActions (Rigor::CLI::DiagnosticFormats)
GitlabCodeQuality (Rigor::CLI::DiagnosticFormats)

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)
IncompatibleSignature (Rigor::RbsExtended::ConformanceChecker)
Incremental (Rigor::Analysis)
IncrementalSession (Rigor::Analysis)
IncrementalSnapshot (Rigor::Cache)
Index (Rigor::Analysis::DependencySourceInference)
IndexedAccess (Rigor::TypeNode)
IndexedKey (Rigor::Scope)
IndexedNarrowing (Rigor::Inference)
Inference (Rigor)
Inflector (Rigor::Plugin)
IntegerLiteral (Rigor::TypeNode)
IntegerRange (Rigor::Type)
Intersection (Rigor::Type)
IoBoundary (Rigor::Plugin)
Isolation (Rigor::Plugin)
IteratorDispatch (Rigor::Inference::MethodDispatcher)
IvarWriteCollector (Rigor::Analysis::CheckRules)

Junit (Rigor::CLI::DiagnosticFormats)

KernelDispatch (Rigor::Inference::MethodDispatcher)

LanguageServer (Rigor)
LayoutIndex (Rigor::SigGen)
LineTypeCollector (Rigor::CLI)
LiteralStringFolding (Rigor::Inference::MethodDispatcher)
Literals (Rigor::Source)
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)
NestedClassTemplate (Rigor::Plugin::Macro)
Node (Rigor::AST)
NodeContext (Rigor::Plugin)
NodeLocator (Rigor::Source)
NodeRuleWalk (Rigor::Plugin)
NodeWalker (Rigor::Source)
Nominal (Rigor::Type)
NominalApp (Rigor::Inference::HktBody)

ObservationCollector (Rigor::SigGen)
ObservedCall (Rigor::SigGen)
Options (Rigor::CLI)
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)
Payload (Rigor::Cache::IncrementalSnapshot)
Platform (Rigor::CLI::CiDetector)
Plugin (Rigor)
PluginCommand (Rigor::CLI)
PluginEntry (Rigor::Cache::Descriptor)
PluginsCommand (Rigor::CLI)
PluginsRenderer (Rigor::CLI)
PoolCoordinator (Rigor::Analysis::Runner)
PrecisionScanner (Rigor::Inference)
PredicateEffect (Rigor::RbsExtended)
PrismColorizer (Rigor::CLI)
Process (Rigor::Plugin::Isolation)
ProjectContext (Rigor::LanguageServer)
ProjectPatchedMethods (Rigor::Inference)
ProjectPatchedScanner (Rigor::Inference)
ProjectPrePasses (Rigor::Analysis::Runner)
ProjectScan (Rigor::Analysis)
ProtocolContract (Rigor::Plugin)
Provenance (Rigor::FlowContribution)

RBS
RbsCacheProducer (Rigor::Cache)
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)
RbsKnownClassNames (Rigor::Cache)
RbsLoader (Rigor::Environment)
RbsTypeTranslator (Rigor::Inference)
ReceiverAffinity (Rigor::Inference::MethodDispatcher)
Recheck (Rigor::Analysis::IncrementalSession)
Record (Rigor::Analysis::DependencyRecorder)
Record (Rigor::Analysis::SelfCallResolutionRecorder)
Recorder (Rigor::Inference::FlowTracer)
Refined (Rigor::Type)
Reflection (Rigor::Environment)
Reflection (Rigor)
RegexRefinement (Rigor::Builtins)
RegexpFolding (Rigor::Inference::MethodDispatcher)
Registration (Rigor::Inference::HktRegistry)
Registry (Rigor::Plugin)
Renderable (Rigor::CLI)
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::Plugin::NodeRuleWalk)
Result (Rigor::Inference::CoverageScanner)
Result (Rigor::Inference::ProjectPatchedScanner)
Result (Rigor::Analysis::Runner::ProjectPrePasses)
Result (Rigor::Analysis::CheckRules::UnreachableClauseCollector)
Result (Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector)
ReturnTypeHeuristic (Rigor::Analysis::DependencySourceInference)
ReturnsFromArg (Rigor::Plugin::Macro::HeredocTemplate)
Rigor
RubyBox (Rigor::Plugin::Isolation)
RuleCatalog (Rigor::Analysis)
RuleCount (Rigor::Triage)
RuleWalk (Rigor::Analysis::CheckRules)
RunSnapshots (Rigor::Analysis::Runner)
RunStats (Rigor::Analysis)
Runner (Rigor::Analysis)

Sarif (Rigor::CLI::DiagnosticFormats)
ScanAccumulator (Rigor::CLI::TypeScanCommand)
Scope (Rigor)
ScopeIndexer (Rigor::Inference)
SelectionRangeProvider (Rigor::LanguageServer)
SelfCallResolutionRecorder (Rigor::Analysis)
SelfClosednessScanner (Rigor::Analysis::CheckRules)
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)
SingletonFolding (Rigor::Inference::MethodDispatcher)
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)
Teamcity (Rigor::CLI::DiagnosticFormats)
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)
TraceCommand (Rigor::CLI)
TraceRenderer (Rigor::CLI)
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)
Unavailable (Rigor::Plugin::Inflector)
Unavailable (Rigor::Plugin::Isolation)
Union (Rigor::Type)
Union (Rigor::TypeNode)
Union (Rigor::Inference::HktBody)
UnreachableClauseCollector (Rigor::Analysis::CheckRules)
Unresolvable (Rigor::Analysis::DependencySourceInference::GemResolver)
UnresolvedEntry (Rigor::RbsExtended::Reporter)
UnresolvedInterface (Rigor::RbsExtended::ConformanceChecker)
UnresolvedSelfCall (Rigor::Analysis::SelfCallResolutionRecorder)
Unsatisfied (Rigor::RbsExtended::ConformanceChecker)
Uri (Rigor::LanguageServer)

ValueSemantics (Rigor)

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

XmlEscaping (Rigor::CLI::DiagnosticFormats)