org.grinvin.list
Class GraphListElementManager
java.lang.Object
org.grinvin.list.GraphListElementManager
public class GraphListElementManager
extends java.lang.Object
Manages the mapping between Graph URI's and the GraphListElement objects representing them.
getGraphListElement
public GraphListElement getGraphListElement(URI uri)
Convenience method for retrieving a graph list element with given
URI. Same as getGraphListElement(uri,null).
getGraphListElement
public GraphListElement getGraphListElement(URI uri,
File directory)
directory
- Base directory to be used for (relative) session URIs, or null
if session URIs are not allowed
getInstance
public static GraphListElementManager getInstance()
Get the singleton instance of this class
- the single shared instance of this class