|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface GraphReaderInterface
| Method Summary | |
|---|---|
boolean |
accepts(java.io.File file)
Reads the file and enters the data in the graph. |
java.lang.String |
getExtension()
Retrieves the file extension for the file type. |
java.lang.String |
getName()
Retrieves the name of the file type. |
void |
read(java.io.File file,
Graph graph)
Reads the file and enters the data in the graph. |
| Method Detail |
|---|
boolean accepts(java.io.File file)
file - the file
java.lang.String getName()
java.lang.String getExtension()
void read(java.io.File file,
Graph graph)
throws GraphIOException
file - graph -
GraphIOException - In the case of the reader error.
java.io.IOException - - In the case of the IO error.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||