private static List<PExp> getConditions(AlternativeExp alternativeExp) {
List<PExp> result = new LinkedList<PExp>();
for (AltItemExp aie : alternativeExp.getAlternatives()) {
if (aie.getTest() != null) {
result.add(PExp.buildPExp(aie.getTest()));
}
}
return result;
}
private static PExp getOtherwiseClauseResult(AlternativeExp alternativeExp) {
PExp workingOtherwiseClauseResult = null;
for (AltItemExp aie : alternativeExp.getAlternatives()) {
if (workingOtherwiseClauseResult != null) {
throw new IllegalArgumentException(
"AlternativeExps with "
+ "additional alternatives after the 'otherwise' "
+ "clause are not accepted by the prover. \n\t"
+ aie.getAssignment()
+ " appears in such a position.");
}
if (aie.getTest() == null) {
workingOtherwiseClauseResult = PExp.buildPExp(aie.getAssignment());
}
}
return workingOtherwiseClauseResult;
}