|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--quoggles.auxiliary.FileUtil
Auxiliary class holding public ststic methods concerning the use of files.
| Constructor Summary | |
FileUtil()
|
|
| Method Summary | |
private static boolean |
convertAttribute(org.graffiti.attributes.Attribute attr,
org.graffiti.graph.Node node,
javax.xml.parsers.DocumentBuilder docBuilder,
boolean useGraphic)
Interpret XML attribute values and create BoxAttributes. |
static org.graffiti.graph.Graph |
getQueryFromFile(java.io.File loadFile)
Calls getQueryFromFile(true). |
static org.graffiti.graph.Graph |
getQueryFromFile(java.io.File loadFile,
boolean useGraphic)
The given file should contain a graph in GML format with the nodes having attributes that specify boxes (in XML). |
static org.graffiti.util.Pair |
getQueryFromSomeFile()
Calls getQueryFromSomeFile(true). |
static org.graffiti.util.Pair |
getQueryFromSomeFile(boolean useGraphic)
Displays a file chooser dialog. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public FileUtil()
| Method Detail |
public static final org.graffiti.util.Pair getQueryFromSomeFile()
throws java.io.FileNotFoundException,
LoadFailedException
getQueryFromSomeFile(true).
java.io.FileNotFoundException
LoadFailedExceptiongetQueryFromSomeFile(boolean)
public static final org.graffiti.util.Pair getQueryFromSomeFile(boolean useGraphic)
throws java.io.FileNotFoundException,
LoadFailedException
If no exception is thrown, a Pair is returned consisting
of the loaded graph and the file from which the graph was loaded.
useGraphic - decides whether any manipulations / loadings of
graphical representations should be done
Pair (Graph / File)
java.io.FileNotFoundException - thrown if the file chosen could not be
found
LoadFailedException - thrown if anything went wrong during the
loading process
public static final org.graffiti.graph.Graph getQueryFromFile(java.io.File loadFile)
throws java.io.FileNotFoundException,
LoadFailedException
getQueryFromFile(true).
java.io.FileNotFoundException
LoadFailedExceptiongetQueryFromFile(boolean)
public static final org.graffiti.graph.Graph getQueryFromFile(java.io.File loadFile,
boolean useGraphic)
throws java.io.FileNotFoundException,
LoadFailedException
If no exception is thrown, the loaded graph is returned.
useGraphic - decides whether any manipulations / loadings of
graphical representations should be done
Pair (Graph / File)
java.io.FileNotFoundException - thrown if the file chosen could not be
found
LoadFailedException - thrown if anything went wrong during the
loading process
private static boolean convertAttribute(org.graffiti.attributes.Attribute attr,
org.graffiti.graph.Node node,
javax.xml.parsers.DocumentBuilder docBuilder,
boolean useGraphic)
throws BoxCreationFailedException,
org.graffiti.util.InstanceCreationException
attr - node - docBuilder - useGraphic - decides whether any manipulations / loadings of
graphical representations should be done
BoxCreationFailedException
org.graffiti.util.InstanceCreationException
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||