Module: Rigor

Defined in:: lib/rigor/source.rb,
lib/rigor/ast.rb,
lib/rigor/cli.rb,
lib/rigor/type.rb,
lib/rigor/scope.rb,
lib/rigor/plugin.rb,
lib/rigor/testing.rb,
lib/rigor/trinary.rb,
lib/rigor/version.rb,
lib/rigor/type/bot.rb,
lib/rigor/type/top.rb,
lib/rigor/reflection.rb,
lib/rigor/type/tuple.rb,
lib/rigor/type/union.rb,
lib/rigor/cache/store.rb,
lib/rigor/environment.rb,
lib/rigor/plugin/base.rb,
lib/rigor/rbs_extended.rb,
lib/rigor/type/dynamic.rb,
lib/rigor/type/nominal.rb,
lib/rigor/type/refined.rb,
lib/rigor/ast/type_node.rb,
lib/rigor/configuration.rb,
lib/rigor/plugin/loader.rb,
lib/rigor/type/constant.rb,
lib/rigor/type/singleton.rb,
lib/rigor/analysis/result.rb,
lib/rigor/analysis/runner.rb,
lib/rigor/plugin/manifest.rb,
lib/rigor/plugin/registry.rb,
lib/rigor/plugin/services.rb,
lib/rigor/type/combinator.rb,
lib/rigor/type/difference.rb,
lib/rigor/type/hash_shape.rb,
lib/rigor/cache/descriptor.rb,
lib/rigor/cli/diff_command.rb,
lib/rigor/flow_contribution.rb,
lib/rigor/plugin/fact_store.rb,
lib/rigor/plugin/load_error.rb,
lib/rigor/type/intersection.rb,
lib/rigor/inference/fallback.rb,
lib/rigor/plugin/io_boundary.rb,
lib/rigor/source/node_walker.rb,
lib/rigor/type/integer_range.rb,
lib/rigor/analysis/diagnostic.rb,
lib/rigor/analysis/fact_store.rb,
lib/rigor/cli/explain_command.rb,
lib/rigor/cli/type_of_command.rb,
lib/rigor/inference/narrowing.rb,
lib/rigor/plugin/trust_policy.rb,
lib/rigor/source/node_locator.rb,
lib/rigor/type/accepts_result.rb,
lib/rigor/analysis/check_rules.rb,
lib/rigor/cache/rbs_descriptor.rb,
lib/rigor/cli/type_of_renderer.rb,
lib/rigor/cli/type_scan_report.rb,
lib/rigor/inference/acceptance.rb,
lib/rigor/analysis/rule_catalog.rb,
lib/rigor/cache/rbs_environment.rb,
lib/rigor/cli/type_scan_command.rb,
lib/rigor/cli/type_scan_renderer.rb,
lib/rigor/environment/rbs_loader.rb,
lib/rigor/flow_contribution/fact.rb,
lib/rigor/inference/scope_indexer.rb,
lib/rigor/cache/rbs_constant_table.rb,
lib/rigor/flow_contribution/merger.rb,
lib/rigor/builtins/regex_refinement.rb,
lib/rigor/environment/rbs_hierarchy.rb,
lib/rigor/flow_contribution/element.rb,
lib/rigor/inference/fallback_tracer.rb,
lib/rigor/environment/class_registry.rb,
lib/rigor/flow_contribution/conflict.rb,
lib/rigor/inference/coverage_scanner.rb,
lib/rigor/inference/expression_typer.rb,
lib/rigor/plugin/access_denied_error.rb,
lib/rigor/cache/rbs_known_class_names.rb,
lib/rigor/inference/method_dispatcher.rb,
lib/rigor/builtins/imported_refinements.rb,
lib/rigor/inference/builtins/re_catalog.rb,
lib/rigor/inference/multi_target_binder.rb,
lib/rigor/inference/rbs_type_translator.rb,
lib/rigor/inference/statement_evaluator.rb,
lib/rigor/cache/rbs_class_ancestor_table.rb,
lib/rigor/cache/rbs_instance_definitions.rb,
lib/rigor/configuration/severity_profile.rb,
lib/rigor/flow_contribution/merge_result.rb,
lib/rigor/inference/builtins/set_catalog.rb,
lib/rigor/inference/builtins/date_catalog.rb,
lib/rigor/inference/builtins/hash_catalog.rb,
lib/rigor/inference/builtins/proc_catalog.rb,
lib/rigor/inference/builtins/time_catalog.rb,
lib/rigor/cache/rbs_class_type_param_names.rb,
lib/rigor/inference/block_parameter_binder.rb,
lib/rigor/inference/builtins/array_catalog.rb,
lib/rigor/inference/builtins/range_catalog.rb,
lib/rigor/inference/builtins/method_catalog.rb,
lib/rigor/inference/builtins/random_catalog.rb,
lib/rigor/inference/builtins/string_catalog.rb,
lib/rigor/inference/builtins/struct_catalog.rb,
lib/rigor/inference/closure_escape_analyzer.rb,
lib/rigor/inference/method_parameter_binder.rb,
lib/rigor/inference/builtins/complex_catalog.rb,
lib/rigor/inference/builtins/numeric_catalog.rb,
lib/rigor/inference/builtins/encoding_catalog.rb,
lib/rigor/inference/builtins/pathname_catalog.rb,
lib/rigor/inference/builtins/rational_catalog.rb,
lib/rigor/inference/builtins/exception_catalog.rb,
lib/rigor/inference/builtins/comparable_catalog.rb,
lib/rigor/inference/builtins/enumerable_catalog.rb,
lib/rigor/inference/method_dispatcher/file_folding.rb,
lib/rigor/inference/method_dispatcher/rbs_dispatch.rb,
lib/rigor/analysis/check_rules/ivar_write_collector.rb,
lib/rigor/inference/method_dispatcher/block_folding.rb,
lib/rigor/inference/method_dispatcher/shape_dispatch.rb,
lib/rigor/inference/method_dispatcher/kernel_dispatch.rb,
lib/rigor/inference/method_dispatcher/constant_folding.rb,
lib/rigor/inference/method_dispatcher/iterator_dispatch.rb,
lib/rigor/inference/method_dispatcher/overload_selector.rb,
lib/rigor/analysis/check_rules/dead_assignment_collector.rb,
lib/rigor/inference/method_dispatcher/literal_string_folding.rb,
lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb

Overview

Source-text and AST positioning utilities.

Anything that maps between a Ruby source buffer and Prism AST nodes belongs here. The contents of this namespace deliberately stay independent of the inference engine so that future tooling (LSP, refactoring helpers, doc extractors) can reuse the same primitives without dragging in ‘Rigor::Type`.

Defined Under Namespace

Modules: AST, Analysis, Builtins, Cache, Inference, Plugin, RbsExtended, Reflection, Source, Testing, Type Classes: CLI, Configuration, Environment, FlowContribution, Scope, Trinary

Constant Summary collapse

VERSION =

"0.1.2"

Class Method Summary collapse

.assert_type(expected, value) ⇒ Object
.dump_type(value) ⇒ Object

Convenience aliases on ‘Rigor` itself, so fixtures can write `Rigor.dump_type(x)` without an `include` line.

Class Method Details

.assert_type(expected, value) ⇒ `Object`



61
62
63

# File 'lib/rigor/testing.rb', line 61

def assert_type(expected, value)
  Testing.assert_type(expected, value)
end

.dump_type(value) ⇒ `Object`

Convenience aliases on ‘Rigor` itself, so fixtures can write `Rigor.dump_type(x)` without an `include` line.



57
58
59

# File 'lib/rigor/testing.rb', line 57

def dump_type(value)
  Testing.dump_type(value)
end