public final class TraceHelper
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.io.PrintWriter |
openFile(java.io.File fileName)
opens a trace file for writing and returns a print writer attached to that
file.
|
public static java.io.PrintWriter openFile(java.io.File fileName)
StopSimulationCallbackI
. If fileName is null, no file is opened
but null is returned. If fileName ends with ".gz", the file is zipped
automatically.
The size of the buffer is increased to 1MB to avoid many random disc accesses.
fileName
- name of the file to open