Next / Previous / Contents / Shipman's homepage

22.2. Truths.__init__

tt/Truths-init
TFFF C1: lineList is empty
XTTF C2: all elementns of lineList are valid
XTFX C3: lines of lineList not all the same code count

C1:

Prime1
specialraise ValueError

!C1 ∧ C2 ∧ C3:

Prime123
self._condListI list of code strings from lineList
special  raise ValueError

!C1 ^ C2 ^ !C3:

Prime123
self._condList  list of code strings from lineList

!C1 ^ !C2:

Prime12
special raise ValueError