/**
* Prints the state information if the TLC runs in print-diff-only mode and the last state is set,
* it will print the diff only
*/
public static void printState(TLCStateInfo currentStateInfo, TLCState lastState, int num) {
String stateString;
/* Added by rjoshi. */
if (lastState != null && TLCGlobals.printDiffsOnly) {
stateString = currentStateInfo.state.toString(lastState);
} else {
stateString = currentStateInfo.state.toString();
}
MP.printState(
EC.TLC_STATE_PRINT2,
new String[] {String.valueOf(num), currentStateInfo.info.toString(), stateString},
currentStateInfo,
num);
OutputCollector.addStateToTrace(currentStateInfo);
}
