Next / Previous / Contents / Shipman's homepage

22.6. Truths._inputCheck()

Section 14, “Truths._inputCheck(): Check one input set”.

tt/Truths-inputCheck
TFF  C1: Exactly one case matches.
xTF  C2: No cases match.

C1:

Prime12
matchList list containing the index of the one matching case
special return None

!C1 ∧ C2:

Prime12
matchList []
special  return uncovered message displaying inputList

!C1 ∧ !C2:

Prime12
matchList list of two or more matching case indices
special  return covered message displaying inputList and cases for matching cases indices