OutputEntry createOutputEntry(TraceEntry te) {
BdynCallback cb = bdyn_factory.getCallback(te.getEntryLocation());
OutputEntry oe = new OutputEntry(te.getTime(), 0, this, current_transaction, cb);
if (te.getUseCount() > 1) oe.setUse(te.getUseCount(), te.getFractionUsed());
output_set.add(oe);
if (trace_writer != null)
trace_writer.println(
"START " + cb.getId() + " " + nest_level + " " + te.getTime() + " " + oe.hashCode());
return oe;
}
