Class List

Classes Methods Files

Search:

Top Level Namespace
RBSTop Level Namespace
- Location < ObjectRBS
RigorTop Level Namespace
- ASTRigor
  - NodeRigor::AST
  - TypeNode < ObjectRigor::AST
- AnalysisRigor
  - CheckRulesRigor::Analysis
    AlwaysTruthyConditionCollector < ObjectRigor::Analysis::CheckRules
    Result < DataRigor::Analysis::CheckRules::AlwaysTruthyConditionCollector
    DeadAssignmentCollector < ObjectRigor::Analysis::CheckRules
    IvarWriteCollector < ObjectRigor::Analysis::CheckRules
  - DependencySourceInferenceRigor::Analysis
    BoundaryCrossReporter < ObjectRigor::Analysis::DependencySourceInference
    Entry < DataRigor::Analysis::DependencySourceInference::BoundaryCrossReporter
    BuilderRigor::Analysis::DependencySourceInference
    BuildState < ObjectRigor::Analysis::DependencySourceInference::Builder
    GemResolverRigor::Analysis::DependencySourceInference
    Resolved < ObjectRigor::Analysis::DependencySourceInference::GemResolver
    Unresolvable < DataRigor::Analysis::DependencySourceInference::GemResolver
    Index < ObjectRigor::Analysis::DependencySourceInference
    WalkerRigor::Analysis::DependencySourceInference
    Outcome < ObjectRigor::Analysis::DependencySourceInference::Walker
  - Diagnostic < ObjectRigor::Analysis
  - FactStore < ObjectRigor::Analysis
    Fact < ObjectRigor::Analysis::FactStore
    Target < ObjectRigor::Analysis::FactStore
  - Result < ObjectRigor::Analysis
  - RuleCatalogRigor::Analysis
    Entry < ObjectRigor::Analysis::RuleCatalog
  - RunStats < ObjectRigor::Analysis
  - Runner < ObjectRigor::Analysis
  - WorkerSession < ObjectRigor::Analysis
- BuiltinsRigor
  - ImportedRefinementsRigor::Builtins
  - RegexRefinementRigor::Builtins
- CLI < ObjectRigor
  - DiffCommand < ObjectRigor::CLI
  - ExplainCommand < ObjectRigor::CLI
  - Report < ObjectRigor::CLI
  - SigGenCommand < ObjectRigor::CLI
  - TypeOfCommand < ObjectRigor::CLI
    Result < DataRigor::CLI::TypeOfCommand
  - TypeOfRenderer < ObjectRigor::CLI
  - TypeScanCommand < ObjectRigor::CLI
    LocatedEvent < DataRigor::CLI::TypeScanCommand
    ScanAccumulator < ObjectRigor::CLI::TypeScanCommand
  - TypeScanRenderer < ObjectRigor::CLI
- CacheRigor
  - Descriptor < ObjectRigor::Cache
    ConfigEntry < ObjectRigor::Cache::Descriptor
    Conflict < StandardErrorRigor::Cache::Descriptor
    DependencyEntry < ObjectRigor::Cache::Descriptor
    FileEntry < ObjectRigor::Cache::Descriptor
    GemEntry < ObjectRigor::Cache::Descriptor
    PluginEntry < ObjectRigor::Cache::Descriptor
  - RbsClassAncestorTable < ObjectRigor::Cache
  - RbsClassTypeParamNames < ObjectRigor::Cache
  - RbsConstantTable < ObjectRigor::Cache
  - RbsDescriptorRigor::Cache
  - RbsEnvironment < ObjectRigor::Cache
  - RbsInstanceDefinitions < ObjectRigor::Cache
  - RbsKnownClassNames < ObjectRigor::Cache
  - RbsSingletonDefinitions < ObjectRigor::Cache
  - Store < ObjectRigor::Cache
- Configuration < ObjectRigor
  - Dependencies < ObjectRigor::Configuration
    Entry < ObjectRigor::Configuration::Dependencies
  - SeverityProfileRigor::Configuration
- Environment < ObjectRigor
  - BundleSigDiscoveryRigor::Environment
  - ClassRegistry < ObjectRigor::Environment
  - LockfileResolverRigor::Environment
    LockedGem < DataRigor::Environment::LockfileResolver
  - RbsCollectionDiscoveryRigor::Environment
  - RbsCoverageReportRigor::Environment
    Coverage < DataRigor::Environment::RbsCoverageReport
  - RbsHierarchy < ObjectRigor::Environment
  - RbsLoader < ObjectRigor::Environment
  - Reflection < ObjectRigor::Environment
- FlowContribution < ObjectRigor
  - Conflict < ObjectRigor::FlowContribution
  - Element < ObjectRigor::FlowContribution
  - Fact < ObjectRigor::FlowContribution
  - MergeResult < ObjectRigor::FlowContribution
  - MergerRigor::FlowContribution
  - Provenance < ObjectRigor::FlowContribution
- InferenceRigor
  - AcceptanceRigor::Inference
  - BlockParameterBinder < ObjectRigor::Inference
  - BuiltinsRigor::Inference
    MethodCatalog < ObjectRigor::Inference::Builtins
    NumericCatalogRigor::Inference::Builtins
  - ClosureEscapeAnalyzerRigor::Inference
  - CoverageScanner < ObjectRigor::Inference
    Result < ObjectRigor::Inference::CoverageScanner
  - ExpressionTyper < ObjectRigor::Inference
  - Fallback < ObjectRigor::Inference
  - FallbackTracer < ObjectRigor::Inference
  - MacroBlockSelfTypeRigor::Inference
  - MethodDispatcherRigor::Inference
    BlockFoldingRigor::Inference::MethodDispatcher
    ConstantFoldingRigor::Inference::MethodDispatcher
    FileFoldingRigor::Inference::MethodDispatcher
    IteratorDispatchRigor::Inference::MethodDispatcher
    KernelDispatchRigor::Inference::MethodDispatcher
    LiteralStringFoldingRigor::Inference::MethodDispatcher
    MethodFoldingRigor::Inference::MethodDispatcher
    OverloadSelectorRigor::Inference::MethodDispatcher
    RbsDispatchRigor::Inference::MethodDispatcher
    ShapeDispatchRigor::Inference::MethodDispatcher
  - MethodParameterBinder < ObjectRigor::Inference
  - MultiTargetBinderRigor::Inference
  - NarrowingRigor::Inference
  - RbsTypeTranslatorRigor::Inference
  - ScopeIndexerRigor::Inference
  - StatementEvaluator < ObjectRigor::Inference
    ClassFrame < DataRigor::Inference::StatementEvaluator
  - SyntheticMethod < ObjectRigor::Inference
  - SyntheticMethodIndex < ObjectRigor::Inference
  - SyntheticMethodScannerRigor::Inference
- PluginRigor
  - AccessDeniedError < StandardErrorRigor::Plugin
  - Base < ObjectRigor::Plugin
  - Blueprint < ObjectRigor::Plugin
  - DefaultHttpClient < ObjectRigor::Plugin
  - FactStore < ObjectRigor::Plugin
    Conflict < StandardErrorRigor::Plugin::FactStore
    Fact < DataRigor::Plugin::FactStore
  - IoBoundary < ObjectRigor::Plugin
  - LoadError < StandardErrorRigor::Plugin
  - Loader < ObjectRigor::Plugin
  - MacroRigor::Plugin
    BlockAsMethod < ObjectRigor::Plugin::Macro
    ExternalFile < ObjectRigor::Plugin::Macro
    HeredocTemplate < ObjectRigor::Plugin::Macro
    Emit < ObjectRigor::Plugin::Macro::HeredocTemplate
    TraitRegistry < ObjectRigor::Plugin::Macro
  - Manifest < ObjectRigor::Plugin
    Consumption < ObjectRigor::Plugin::Manifest
  - Registry < ObjectRigor::Plugin
  - Services < ObjectRigor::Plugin
  - TrustPolicy < ObjectRigor::Plugin
  - TypeNodeResolver < ObjectRigor::Plugin
- RbsExtendedRigor
  - AssertEffect < ObjectRigor::RbsExtended
  - ParamOverride < DataRigor::RbsExtended
  - PredicateEffect < ObjectRigor::RbsExtended
  - Reporter < ObjectRigor::RbsExtended
    LossyProjectionEntry < DataRigor::RbsExtended::Reporter
    UnresolvedEntry < DataRigor::RbsExtended::Reporter
- ReflectionRigor
- Scope < ObjectRigor
- SigGenRigor
  - ClassificationRigor::SigGen
  - Generator < ObjectRigor::SigGen
  - LayoutIndex < ObjectRigor::SigGen
  - MethodCandidate < ObjectRigor::SigGen
  - ObservationCollector < ObjectRigor::SigGen
  - ObservedCall < ObjectRigor::SigGen
  - PathMapper < ObjectRigor::SigGen
  - Renderer < ObjectRigor::SigGen
  - TypeElaboratorRigor::SigGen
  - WriteResult < ObjectRigor::SigGen
  - Writer < ObjectRigor::SigGen
- SourceRigor
  - NodeLocator < ObjectRigor::Source
    OutOfRangeError < StandardErrorRigor::Source::NodeLocator
  - NodeWalkerRigor::Source
- TestingRigor
- Trinary < ObjectRigor
- TypeRigor
  - AcceptsResult < ObjectRigor::Type
  - Bot < ObjectRigor::Type
  - BoundMethod < ObjectRigor::Type
  - CombinatorRigor::Type
  - Constant < ObjectRigor::Type
  - Difference < ObjectRigor::Type
  - Dynamic < ObjectRigor::Type
  - HashShape < ObjectRigor::Type
  - IntegerRange < ObjectRigor::Type
  - Intersection < ObjectRigor::Type
  - Nominal < ObjectRigor::Type
  - Refined < ObjectRigor::Type
  - Singleton < ObjectRigor::Type
  - Top < ObjectRigor::Type
  - Tuple < ObjectRigor::Type
  - Union < ObjectRigor::Type
- TypeNodeRigor
  - Generic < ObjectRigor::TypeNode
  - Identifier < ObjectRigor::TypeNode
  - IndexedAccess < ObjectRigor::TypeNode
  - IntegerLiteral < ObjectRigor::TypeNode
  - NameScope < ObjectRigor::TypeNode
  - ResolverChain < ObjectRigor::TypeNode
  - StringLiteral < ObjectRigor::TypeNode
  - SymbolLiteral < ObjectRigor::TypeNode
  - Union < ObjectRigor::TypeNode