|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface GraphLoader
This interface defines the contract for classes that provide the service of loading graphs built from Java classes.
Classes implementing this interface should provide some means of storing what class is being operated on, so that object instantiations can be kept to a minimum.
Method Summary | |
---|---|
Graph |
getGraph(java.lang.String method)
Gets the graph for a given method. |
java.lang.String[] |
getMethodList()
Gets the list of methods available in the current class. |
void |
setClass(java.lang.String className,
java.lang.String tag)
Sets the class for which graphs are to be retrieved. |
Method Detail |
---|
java.lang.String[] getMethodList()
Graph getGraph(java.lang.String method) throws MethodNotFoundException
method
- Name of the method for which to retrieve a graph.
MethodNotFoundException
- If no method by the given
name exists in the loaded class.void setClass(java.lang.String className, java.lang.String tag) throws java.io.FileNotFoundException, EmptyFileException, BadFileFormatException, java.io.IOException
className
- The class from which graphs will be loaded.tag
- Database tag associated with the class's graph data.
java.io.FileNotFoundException
- If the graph data file for the specified
class cannot be found.
EmptyFileException
- If the graph data file for the class
is empty.
BadFileFormatException
- If the graph data file for the class
is corrupted.
java.io.IOException
- For any other IO error that prevents the graph
data file from being read successfully.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |