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 toDataWriteException
DataIOException
void writeTable(Table table, java.io.File f) throws DataIOException
table
- the Table to writef
- the file to write the table toDataWriteException
DataIOException
void writeTable(Table table, java.io.OutputStream os) throws DataIOException
table
- the Table to writeos
- the OutputStream to write the table toDataWriteException
DataIOException
Copyright ? 2013 Regents of the University of California