Class: Verdict

Verdict(v, c)

new Verdict(v, c)

Creates a new verdict.
Parameters:
Name Type Description
v Value The return value of the test condition
c TestCondition The test condition that was evaluated
Source:

Methods

(static) pick(n, list)

Non-deterministically picks a set of objects that explain the verdict. The method is recursive and works as follows:
  • If the current node is an And node, call pick on all its children
  • If the current node is an Or node, call pick on one of its children
  • If the current node is a leaf ObjectNode, add it to the list
  • Otherwise, call pick on all children of the node
Non-determinism occurs because of the handling of the Or node. By construction, any set of elements produced by the method is one of the clauses of the tree when put in disjunctive normal form.
Parameters:
Name Type Description
n The current node
list A list to which nodes are added
Source: