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.lang.String |
getPath() |
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.IOException
public OutputFile(java.io.File file) throws java.io.IOException
java.io.IOException
public java.io.PrintWriter getPrintWriter() throws java.io.IOException
java.io.IOException
public void close() throws java.io.IOException
java.io.IOException
public java.lang.String getToolName()
public void setToolName(java.lang.String toolName)
toolName
- the toolName to setpublic java.lang.String getPath()