public interface TableWriter
| Modifier and Type | Method and Description |
|---|---|
void |
writeTable(Table table,
java.io.File f)
Write a table to the given File.
|
void |
writeTable(Table table,
java.io.OutputStream os)
Write a table from the given OutputStream.
|
void |
writeTable(Table table,
java.lang.String filename)
Write a table to the file with the given filename.
|
void writeTable(Table table, java.lang.String filename) throws DataIOException
table - the Table to writefilename - the file to write the table toDataIOExceptionvoid writeTable(Table table, java.io.File f) throws DataIOException
table - the Table to writef - the file to write the table toDataIOExceptionvoid writeTable(Table table, java.io.OutputStream os) throws DataIOException
table - the Table to writeos - the OutputStream to write the table toDataIOException