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