Documentation by YARD 0.9.38

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

AST (Rigor)
Acceptance (Rigor::Inference)
AcceptsResult (Rigor::Type)
AccessDeniedError (Rigor::Plugin)
AlwaysTruthyConditionCollector (Rigor::Analysis::CheckRules)
Analysis (Rigor)
AssertEffect (Rigor::RbsExtended)

B

Base (Rigor::Plugin)
BlockFolding (Rigor::Inference::MethodDispatcher)
BlockParameterBinder (Rigor::Inference)
Bot (Rigor::Type)
Builder (Rigor::Analysis::DependencySourceInference)
Builtins (Rigor)
Builtins (Rigor::Inference)

C

CLI (Rigor)
Cache (Rigor)
CheckRules (Rigor::Analysis)
ClassFrame (Rigor::Inference::StatementEvaluator)
ClassRegistry (Rigor::Environment)
ClosureEscapeAnalyzer (Rigor::Inference)
Combinator (Rigor::Type)
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)
CoverageScanner (Rigor::Inference)

D

DeadAssignmentCollector (Rigor::Analysis::CheckRules)
DefaultHttpClient (Rigor::Plugin)
Dependencies (Rigor::Configuration)
DependencyEntry (Rigor::Cache::Descriptor)
DependencySourceInference (Rigor::Analysis)
Descriptor (Rigor::Cache)
Diagnostic (Rigor::Analysis)
DiffCommand (Rigor::CLI)
Difference (Rigor::Type)
Dynamic (Rigor::Type)

E

Element (Rigor::FlowContribution)
Entry (Rigor::Analysis::RuleCatalog)
Entry (Rigor::Configuration::Dependencies)
Environment (Rigor)
ExplainCommand (Rigor::CLI)
ExpressionTyper (Rigor::Inference)

F

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)
FlowContribution (Rigor)

G

GemEntry (Rigor::Cache::Descriptor)
GemResolver (Rigor::Analysis::DependencySourceInference)

H

HashShape (Rigor::Type)

I

ImportedRefinements (Rigor::Builtins)
Index (Rigor::Analysis::DependencySourceInference)
Inference (Rigor)
IntegerRange (Rigor::Type)
Intersection (Rigor::Type)
IoBoundary (Rigor::Plugin)
IteratorDispatch (Rigor::Inference::MethodDispatcher)
IvarWriteCollector (Rigor::Analysis::CheckRules)

K

KernelDispatch (Rigor::Inference::MethodDispatcher)

L

LiteralStringFolding (Rigor::Inference::MethodDispatcher)
LoadError (Rigor::Plugin)
Loader (Rigor::Plugin)
LocatedEvent (Rigor::CLI::TypeScanCommand)
Location (RBS)

M

Manifest (Rigor::Plugin)
MergeResult (Rigor::FlowContribution)
Merger (Rigor::FlowContribution)
MethodCatalog (Rigor::Inference::Builtins)
MethodDispatcher (Rigor::Inference)
MethodParameterBinder (Rigor::Inference)
MultiTargetBinder (Rigor::Inference)

N

Narrowing (Rigor::Inference)
Node (Rigor::AST)
NodeLocator (Rigor::Source)
NodeWalker (Rigor::Source)
Nominal (Rigor::Type)
NumericCatalog (Rigor::Inference::Builtins)

O

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

P

ParamOverride (Rigor::RbsExtended)
Plugin (Rigor)
PluginEntry (Rigor::Cache::Descriptor)
PredicateEffect (Rigor::RbsExtended)
Provenance (Rigor::FlowContribution)

R

RBS
RbsClassAncestorTable (Rigor::Cache)
RbsClassTypeParamNames (Rigor::Cache)
RbsConstantTable (Rigor::Cache)
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)
Refined (Rigor::Type)
Reflection (Rigor)
RegexRefinement (Rigor::Builtins)
Registry (Rigor::Plugin)
Report (Rigor::CLI)
Resolved (Rigor::Analysis::DependencySourceInference::GemResolver)
Result (Rigor::Analysis)
Result (Rigor::CLI::TypeOfCommand)
Result (Rigor::Inference::CoverageScanner)
Result (Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector)
Rigor
RuleCatalog (Rigor::Analysis)
Runner (Rigor::Analysis)

S

ScanAccumulator (Rigor::CLI::TypeScanCommand)
Scope (Rigor)
ScopeIndexer (Rigor::Inference)
Services (Rigor::Plugin)
SeverityProfile (Rigor::Configuration)
ShapeDispatch (Rigor::Inference::MethodDispatcher)
Singleton (Rigor::Type)
Source (Rigor)
StatementEvaluator (Rigor::Inference)
Store (Rigor::Cache)

T

Target (Rigor::Analysis::FactStore)
Testing (Rigor)
Top (Rigor::Type)
Trinary (Rigor)
TrustPolicy (Rigor::Plugin)
Tuple (Rigor::Type)
Type (Rigor)
TypeNode (Rigor::AST)
TypeOfCommand (Rigor::CLI)
TypeOfRenderer (Rigor::CLI)
TypeScanCommand (Rigor::CLI)
TypeScanRenderer (Rigor::CLI)

U

Union (Rigor::Type)
Unresolvable (Rigor::Analysis::DependencySourceInference::GemResolver)

W

Walker (Rigor::Analysis::DependencySourceInference)