|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectsofya.viewers.Viewer
sofya.viewers.TraceViewer
public class TraceViewer
The TraceViewer is used to display the contents of a trace (.tr) file in human-readable form.
Usage:java sofya.viewers.TraceViewer <SourceFile.java>
[OutputFile]
[OutputFile] : Redirect output of viewer to
OutputFile
(SourceFile must include .tr
extension and any necessary path information, relative or absolute.)
| Field Summary |
|---|
| Fields inherited from class sofya.viewers.Viewer |
|---|
destStream, inputFile, LINE_SEP, outputFile, stdin |
| Constructor Summary | |
|---|---|
TraceViewer(java.lang.String inputFile)
Standard constructor, creates a TraceViewer to display the formatted contents of the specified trace file to the system console ( System.out). |
|
TraceViewer(java.lang.String inputFile,
java.io.OutputStream stream)
Standard constructor, creates a TraceViewer to display the formatted contents of the specified trace file to the specified output stream. |
|
TraceViewer(java.lang.String inputFile,
java.lang.String outputFile)
Standard constructor, creates a TraceViewer to display the formatted contents of the specified trace file to the specified output file. |
|
| Method Summary | |
|---|---|
static void |
main(java.lang.String[] argv)
Entry point for TraceViewer. |
void |
print(java.io.PrintWriter stream)
Prints the trace information to the specified stream. |
| Methods inherited from class sofya.viewers.Viewer |
|---|
print, printMethodName, rightJust, setInputFile, setOutputFile, setOutputStream, sizeString |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public TraceViewer(java.lang.String inputFile)
System.out).
inputFile - Name of the trace file to be displayed,
with .tr extension.
public TraceViewer(java.lang.String inputFile,
java.lang.String outputFile)
throws SameFileNameException,
java.io.IOException
inputFile - Name of the trace file to be displayed,
with .tr extension.outputFile - Name of the file to which the viewer output should
be written.
SameFileNameException - If the specified output file and input
file are the same file.
java.io.IOException - If there is an error creating the output file.
public TraceViewer(java.lang.String inputFile,
java.io.OutputStream stream)
Note: When using Viewer.print(), an output file
specified using Viewer.setOutputFile(java.lang.String) takes precedence over
the specified stream.
inputFile - Name of the trace file to be displayed,
with .tr extension.stream - Stream to which the viewer output should be written.| Method Detail |
|---|
public void print(java.io.PrintWriter stream)
throws java.io.IOException
print in class Viewerstream - Stream to which the trace information should be written.
java.io.IOException - If there is an error writing to the stream, or
creating the output file, if applicable.public static void main(java.lang.String[] argv)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||