10141015101610171018101910201021102210231024
// operation at this instant t.logAndUndo( compensation, new LogCounter(scanLog.getInstant()), rawInput); compensation.releaseResource(t); compensation = null; } // if compensation is null, log operation is redo only }
10501051105210531054105510561057105810591060
finally { if (compensation != null) { // errored out compensation.releaseResource(t); } if (rawInput != null) { try