public class FileTarget extends Object implements PrintTarget
| Constructor and Description |
|---|
FileTarget(String filename) |
FileTarget(String filename,
boolean append) |
| Modifier and Type | Method and Description |
|---|---|
void |
flush() |
void |
print(char c) |
void |
print(String str) |
void |
println() |
void |
println(String str) |
public FileTarget(String filename) throws IOException
IOExceptionpublic FileTarget(String filename, boolean append) throws IOException
IOExceptionpublic void println(String str)
println in interface PrintTargetpublic void println()
println in interface PrintTargetpublic void print(String str)
print in interface PrintTargetpublic void print(char c)
print in interface PrintTargetpublic void flush()
flush in interface PrintTargetThis file is a part of the JDD package, a native Java Binary Decision Diagram Library.