|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.viewers.Viewer sofya.viewers.CFViewer
public class CFViewer
The CFViewer is used to display the contents of a control flow (.cf) file in human-readable form.
Usage:java sofya.viewers.CFViewer [-tag tag]
[-ext] <SourceFile.java> [OutputFile]
-tag tag : Specify tag associated
with the subject's database files
-ext : Specifies extended output necessary
for branch tracing interpretation
[OutputFile] : Redirect output of viewer
to OutputFile
(SourceFile must include
.java extension. Do not include any path.)
Field Summary |
---|
Fields inherited from class sofya.viewers.Viewer |
---|
inputFile, LINE_SEP, outputFile, stdin |
Constructor Summary | |
---|---|
CFViewer(java.lang.String inputFile)
Standard constructor, creates a CFViewer to display the formatted contents of the specified control flow file to the system console ( System.out ). |
|
CFViewer(java.lang.String inputFile,
java.io.OutputStream stream)
Standard constructor, creates a CFViewer to display the formatted contents of the specified control flow file to the specified output stream. |
|
CFViewer(java.lang.String inputFile,
java.lang.String outputFile)
Standard constructor, creates a CFViewer to display the formatted contents of the specified control flow file to the specified output file. |
Method Summary | |
---|---|
static void |
main(java.lang.String[] argv)
Entry point for CFViewer. |
void |
print(java.io.PrintWriter stream)
Prints the control flow information to the specified stream. |
void |
setTag(java.lang.String tag)
Specifies a tag to be associated with the file to be viewed. |
Methods inherited from class sofya.viewers.Viewer |
---|
getTargetStream, 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 CFViewer(java.lang.String inputFile)
System.out
).
inputFile
- Name of the control flow file to be displayed,
with .java
extension.public CFViewer(java.lang.String inputFile, java.lang.String outputFile) throws SameFileNameException, java.io.IOException
inputFile
- Name of the control flow file to be displayed,
with .java
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 CFViewer(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 control flow file to be displayed,
with .java
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 control flow information should be
written.
java.io.IOException
- If there is an error writing to the stream, or
creating the output file, if applicable.public void setTag(java.lang.String tag)
The given tag name actually gets mapped to a subdirectory in the database internally.
tag
- Tag which is associated with the file being viewed.public static void main(java.lang.String[] argv)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |