branchproof 0.7.0 → 0.8.0

data/sig/branchproof.rbs

@@ -89,12 +89,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 +150,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 +167,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.8.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -70,8 +70,11 @@ 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/Error.md
 - doc/Branchproof/Evidence.md
 - doc/Branchproof/FlowInstrumentation.md
@@ -100,8 +103,10 @@ 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/evidence.rb
 - lib/branchproof/flow_instrumentation.rb
 - lib/branchproof/focused_report.rb