org.grinvin.list

Class GraphListElementManager


public class GraphListElementManager
extends java.lang.Object

Manages the mapping between Graph URI's and the GraphListElement objects representing them.

Method Summary

GraphListElement
createGraphListElement(GraphBundle bundle)
GraphListElement
getGraphListElement(URI uri)
Convenience method for retrieving a graph list element with given URI.
GraphListElement
getGraphListElement(URI uri, File directory)
Get the GraphListElement for the given URI.
static GraphListElementManager
getInstance()
Get the singleton instance of this class

Method Details

createGraphListElement

public GraphListElement createGraphListElement(GraphBundle bundle)

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)
Get the GraphListElement for the given URI.
Parameters:
directory - Base directory to be used for (relative) session URIs, or null if session URIs are not allowed
Returns:
the graph list element

getInstance

public static GraphListElementManager getInstance()
Get the singleton instance of this class
Returns:
the single shared instance of this class