public void check_DialogueGame_invariant() {
Player playerProponent = DialogueGame.this.getProponent();
Set setTurn = playerProponent.getTurn();
// evaluate 'forAll(getNumber()/2=1)':
boolean bForAll = true;
final Iterator iter = setTurn.iterator();
while (bForAll && iter.hasNext()) {
final Turn iter1 = (Turn) iter.next();
int nGetNumber = iter1.getNumber();
float fDivide = nGetNumber / 2;
boolean bEquals = fDivide == 1;
bForAll = bEquals;
}
Player playerOpponent = DialogueGame.this.getOpponent();
Set setTurn0 = playerOpponent.getTurn();
// evaluate 'forAll(getNumber()/2=0)':
boolean bForAll0 = true;
final Iterator iter0 = setTurn0.iterator();
while (bForAll0 && iter0.hasNext()) {
final Turn iter1 = (Turn) iter0.next();
int nGetNumber0 = iter1.getNumber();
float fDivide0 = nGetNumber0 / 2;
boolean bEquals0 = fDivide0 == 0;
bForAll0 = bEquals0;
}
boolean bAnd = bForAll && bForAll0;
if (!bAnd) {
System.err.println("invariant 'invariant' failed for object " + DialogueGame.this);
}
}
