branchproof 0.7.0 → 0.9.0

data/sig/branchproof.rbs

@@ -68,6 +68,23 @@ module Branchproof
     def self.flow_path: (String decision_id, Integer index) -> nil
     def self.flow_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
     def self.flow_receiver: (String decision_id, untyped receiver) -> untyped
+    def self.flow_assignment_receiver: (String decision_id, untyped receiver) -> untyped
+    def self.flow_assignment_path: (String decision_id, Integer index) -> nil
+    def self.flow_assignment_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
+    def self.exception_enter: (String decision_id, Integer unhandled_index) -> nil
+    def self.exception_path: (String decision_id, Integer index) -> nil
+    def self.exception_value: (String decision_id, untyped value, Integer index) -> untyped
+    def self.exception_finish: (String decision_id, untyped value) -> untyped
+    def self.exception_unhandled: (String decision_id) -> nil
+    def self.exception_leave: (String decision_id) -> nil
+    def self.default_binding: (String decision_id, Integer index) -> nil
+    def self.set_alternative_count: (String decision_id, Integer count) -> nil
+    def self.value_path: (String decision_id, untyped value, Symbol domain) -> untyped
+    def self.dispatch_path: (String decision_id, untyped value, bool raised) -> untyped
+    def self.flow_iteration_begin: (String decision_id, untyped receiver, ?Integer alternative_count) -> untyped
+    def self.flow_iteration_callback: (String decision_id, ?Integer alternative_count) -> nil
+    def self.flow_iteration_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
+    def self.flow_iteration_leave: (String decision_id) -> nil
     def self.context: (?test_id: String?, ?phase: String?) -> nil
     def self.snapshot: () -> record
     def self.diagnostics: () -> Array[record]
@@ -89,12 +106,53 @@ module Branchproof
 
   class Analyzer
     CRITERION: String
-    def initialize: (inventory: record, evidence: record, limits: limits) -> void
+    def initialize: (inventory: record, evidence: record, limits: limits, ?reachability: bool) -> void
     def call: () -> record
     def pair?: (decision_id: String, condition_index: Integer, left: record, right: record) -> bool
     def missing: (decision_id: String, condition_index: Integer) -> record?
   end
 
+  module Constraints
+    VERSION: Integer
+    NUMERIC_OPERATORS: Array[String]
+    COMPARISON_OPERATORS: Array[String]
+    OPERATORS: Array[String]
+    LITERAL_TYPES: Array[String]
+    SUBJECT_KINDS: Array[String]
+    REASONS: Array[String]
+
+    class Solver
+      def initialize: () -> void
+      def add: (record? constraint, bool truth) -> String?
+      def add_prepared: (record constraint, bool truth) -> String?
+    end
+
+    def self.for_node: (untyped node) -> record?
+    def self.usable?: (untyped constraint) -> bool
+    def self.message: (untyped reason) -> String
+  end
+
+  module DecisionTable
+    SCHEMA_VERSION: Integer
+    CONSTRAINT_ANALYSIS_VERSION: Integer
+    TRUE_VALUE: String
+    FALSE_VALUE: String
+    DONT_CARE: String
+    CONDITION_VALUES: Array[String]
+    VALUE_LABELS: Hash[String, String]
+    REACHABILITY_STATUSES: Array[String]
+    COVERAGE_STATUSES: Array[String]
+    TABLE_STATUSES: Array[String]
+    NOT_CALCULATED_REASONS: Array[String]
+    DEFAULT_MAX_CONDITIONS: Integer
+    DEFAULT_MAX_RULES: Integer
+
+    def self.build: (decision: record, ?vectors: Array[record], ?limits: limits, ?reachability: bool) -> record
+    def self.rule_id: (String decision_id, Array[String] values, bool outcome) -> String
+    def self.coverage_entry: (record table) -> record
+    def self.unsupported_coverage_entry: () -> record
+  end
+
   class Minimizer
     def initialize: (analysis: record, evidence: record, limits: limits) -> void
     def call: (objective: Symbol, decision_ids: Array[String]) -> record
@@ -109,10 +167,14 @@ module Branchproof
   class Report
     SCHEMA_VERSION: String
     CRITERION_VERSION: String
+    VIEWS: Array[Symbol]
     def initialize: (inventory: document, evidence: document, analysis: document?, minima: Array[document], baseline: document, diagnostics: Array[document], ?level: Integer, ?missing_only: bool, ?view: Symbol, ?run_metadata: document, ?saved_document: document?) -> void
     def self.from_document: (document: document, ?level: Integer?, ?view: Symbol, ?missing_only: bool) -> Report
     def diagnostic_message: (Hash[Symbol | String, untyped] diagnostic) -> String
     def condition_explanation: (decision_id: String, condition_id: String) -> String
+    def decision_table_requirement: (untyped value) -> String?
+    def decision_table_reachability: (document rule) -> String
+    def decision_table_expected_heading: (document decision) -> String
     def write: (io: _WriteIO, format: Symbol | String) -> nil
     def exit_code: () -> Integer
   end
@@ -122,6 +184,7 @@ module Branchproof
     attr_reader conditions: Array[record]
     attr_reader alternatives: Array[record]
     attr_reader tests: Array[record]
+    attr_reader decision_tables: Array[record]
   end
 
   class FocusedReport

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.7.0
+  version: 0.9.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -70,13 +70,26 @@ files:
 - doc/Branchproof/CLI.md
 - doc/Branchproof/Comparison.md
 - doc/Branchproof/ComparisonReport.md
+- doc/Branchproof/Constraints.md
+- doc/Branchproof/Constraints/Solver.md
 - doc/Branchproof/CoverageIndex.md
 - doc/Branchproof/DecisionSyntax.md
+- doc/Branchproof/DecisionTable.md
+- doc/Branchproof/DefaultInstrumentation.md
+- doc/Branchproof/DefaultRuntime.md
+- doc/Branchproof/DefaultSyntax.md
 - doc/Branchproof/Error.md
 - doc/Branchproof/Evidence.md
+- doc/Branchproof/ExceptionInstrumentation.md
+- doc/Branchproof/ExceptionRuntime.md
+- doc/Branchproof/ExceptionSyntax.md
+- doc/Branchproof/ExtendedAlternativeRuntime.md
 - doc/Branchproof/FlowInstrumentation.md
 - doc/Branchproof/FocusedReport.md
 - doc/Branchproof/Instrumenter.md
+- doc/Branchproof/IterationInstrumentation.md
+- doc/Branchproof/IterationRuntime.md
+- doc/Branchproof/IterationSyntax.md
 - doc/Branchproof/Limits.md
 - doc/Branchproof/Loader.md
 - doc/Branchproof/Minimizer.md
@@ -90,6 +103,9 @@ files:
 - doc/Branchproof/RuntimeFlow.md
 - doc/Branchproof/SavedReport.md
 - doc/Branchproof/Source.md
+- doc/Branchproof/ValueInstrumentation.md
+- doc/Branchproof/ValueRuntime.md
+- doc/Branchproof/ValueSyntax.md
 - doc/Branchproof/Worker.md
 - doc/CHANGELOG.md
 - doc/README.md
@@ -100,12 +116,24 @@ files:
 - lib/branchproof/cli.rb
 - lib/branchproof/comparison.rb
 - lib/branchproof/comparison_report.rb
+- lib/branchproof/constraints.rb
 - lib/branchproof/coverage_index.rb
 - lib/branchproof/decision_syntax.rb
+- lib/branchproof/decision_table.rb
+- lib/branchproof/default_instrumentation.rb
+- lib/branchproof/default_runtime.rb
+- lib/branchproof/default_syntax.rb
 - lib/branchproof/evidence.rb
+- lib/branchproof/exception_instrumentation.rb
+- lib/branchproof/exception_runtime.rb
+- lib/branchproof/exception_syntax.rb
+- lib/branchproof/extended_alternative_runtime.rb
 - lib/branchproof/flow_instrumentation.rb
 - lib/branchproof/focused_report.rb
 - lib/branchproof/instrumenter.rb
+- lib/branchproof/iteration_instrumentation.rb
+- lib/branchproof/iteration_runtime.rb
+- lib/branchproof/iteration_syntax.rb
 - lib/branchproof/limits.rb
 - lib/branchproof/loader.rb
 - lib/branchproof/minimizer.rb
@@ -118,6 +146,9 @@ files:
 - lib/branchproof/runtime_flow.rb
 - lib/branchproof/saved_report.rb
 - lib/branchproof/source.rb
+- lib/branchproof/value_instrumentation.rb
+- lib/branchproof/value_runtime.rb
+- lib/branchproof/value_syntax.rb
 - lib/branchproof/version.rb
 - lib/branchproof/worker.rb
 - lib/mcdc.rb