public class OutputFile
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
boolean |
needToWrite |
Constructor | 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 | 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()