// Checks that the set allSequencesAsCode contains a set of strings
// equivalent to the sequences in allSequences.
protected void randoopConsistencyTests(Sequence newSequence) {
Tracer.trace("randoopConsistencyTests");
// Testing code.
if (GenInputsAbstract.debug_checks) {
Tracer.trace("debug_checks@randoopConsistencyTests");
String code = newSequence.toCodeString();
if (this.allSequences.contains(newSequence)) {
if (!this.allsequencesAsCode.contains(code)) {
throw new IllegalStateException(code);
}
} else {
Tracer.trace("NO debug_checks@randoopConsistencyTests");
if (this.allsequencesAsCode.contains(code)) {
int index = this.allsequencesAsCode.indexOf(code);
StringBuilder b = new StringBuilder();
Sequence co = this.allsequencesAsList.get(index);
co.equals(newSequence);
b.append(
"new component:"
+ Globals.lineSep
+ ""
+ newSequence.toString()
+ ""
+ Globals.lineSep
+ "as code:"
+ Globals.lineSep
+ ""
+ code
+ Globals.lineSep);
b.append(
"existing component:"
+ Globals.lineSep
+ ""
+ this.allsequencesAsList.get(index).toString()
+ ""
+ Globals.lineSep
+ "as code:"
+ Globals.lineSep
+ ""
+ this.allsequencesAsList.get(index).toCodeString());
throw new IllegalStateException(b.toString());
}
}
}
}
