final ExecutionTrace t = e.getKey(); ps.println("Class " + numClasses++ + " ; cardinality: " + e.getValue() + "; # executions: " + t.getLength() + "; representative: " + t.getTraceId() + "; max. stack depth: " + t.getMaxEss());
/** * Tests whether the "well-known" Bookstore trace gets correctly * represented as an Execution Trace. * * @throws InvalidTraceException * If the internally assembled execution trace is somehow invalid. */ @Test public void testValidExecutionTrace() throws InvalidTraceException { final ExecutionTrace executionTrace = this.genValidBookstoreTrace(); // Perform some validity checks on the execution trace object Assert.assertEquals("Invalid length of Execution Trace", executionTrace.getLength(), this.numExecutions); Assert.assertEquals("Invalid maximum stack depth", executionTrace.getMaxEss(), 2); Assert.assertEquals("Invalid minimum tin timestamp", executionTrace.getMinTin(), this.minTin); Assert.assertEquals("Invalid maximum tout timestamp", executionTrace.getMaxTout(), this.maxTout); }