|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.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 Viewer
stream
- 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 |