public interface GridDataFileHandler
GridDataFileHandler
interface specifies methods for
reading grid information from a file and writing it to a file.Modifier and Type | Method and Description |
---|---|
Grid |
readGrid(java.io.File file)
Reads information about a grid from an initial configuration
data file and creates the grid.
|
void |
writeGrid(Grid grid,
java.io.File file)
Writes information about a grid into a data file.
|
Grid readGrid(java.io.File file) throws java.io.FileNotFoundException
file
- java.io.File object from which to readjava.io.FileNotFoundException
- if file cannot be openedjava.lang.RuntimeException
- if invalid information is read from filevoid writeGrid(Grid grid, java.io.File file) throws java.io.IOException
grid
- grid to write to filefile
- java.io.File object to which to writejava.io.IOException
- if error writing to file