public class Wadj extends GraphFile
Constructor and Description |
---|
Wadj()
Constructs an empty Wadj.
|
Wadj(java.io.File inputFile)
Constructs a Wadj with the information in the specified File.
|
Wadj(Graph graph)
Constructs a Wadj with the the specified Graph.
|
Wadj(GraphFile gf)
Constructs a Wadj with the same information as the specified
GraphFile.
|
Modifier and Type | Method and Description |
---|---|
void |
readFromFile(java.io.File inputFile)
Reads graph data from the specified input file.
|
void |
writeToFile(java.io.File outputFile)
Writes underlying graph data to the specified File in the .wadj
file format.
|
public Wadj()
public Wadj(Graph graph)
graph
- The graph to represent by this Wadjpublic Wadj(GraphFile gf)
gf
- A GraphFile to be represented in the .wadj format.public Wadj(java.io.File inputFile) throws java.io.IOException, java.util.zip.DataFormatException
inputFile
- The .wadj file from which graph information is readjava.io.IOException
java.util.zip.DataFormatException
public void readFromFile(java.io.File inputFile) throws java.io.IOException, java.util.zip.DataFormatException
readFromFile
in class GraphFile
inputFile
- The .wadj file from which graph information is readjava.io.IOException
java.util.zip.DataFormatException
public void writeToFile(java.io.File outputFile) throws java.io.IOException
writeToFile
in class GraphFile
outputFile
- The file to write the graph information in the .wadj formatjava.io.IOException