public class OutputFile
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
boolean |
needToWrite |
| Constructor and Description |
|---|
OutputFile(java.io.File file) |
OutputFile(java.io.File file,
java.lang.String compatibleVersion,
java.lang.String[] options)
Create a new OutputFile.
|
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the OutputFile, writing any necessary trailer information
(such as a checksum).
|
java.io.PrintWriter |
getPrintWriter()
Return a PrintWriter object that may be used to write to this file.
|
java.lang.String |
getToolName() |
void |
setToolName(java.lang.String toolName) |
public OutputFile(java.io.File file,
java.lang.String compatibleVersion,
java.lang.String[] options)
throws java.io.IOException
file - the file to write to.compatibleVersion - the minimum compatible JavaCC version.options - if the file already exists, and cannot be overwritten, this is
a list of options (such s STATIC=false) to check for changes.java.io.IOExceptionpublic OutputFile(java.io.File file)
throws java.io.IOException
java.io.IOExceptionpublic java.io.PrintWriter getPrintWriter()
throws java.io.IOException
java.io.IOExceptionpublic void close()
throws java.io.IOException
java.io.IOExceptionpublic java.lang.String getToolName()
public void setToolName(java.lang.String toolName)
toolName - the toolName to set