public class GraphManager extends DirectoryJsonManager<GraphDefinition>
| Modifier and Type | Field and Description |
|---|---|
File |
directory |
static String |
SERVICE_NAME_GRAPH |
| Modifier and Type | Method and Description |
|---|---|
void |
createUpdateGraph(String graphName,
GraphDefinition graphDef) |
GraphDefinition |
delete(String graphName) |
GraphDefinition |
get(String name) |
GraphInstance |
getGraphInstance(String graphName) |
static GraphManager |
getInstance() |
static void |
load(ServerBuilder serverBuilder) |
Set<String> |
nameSet() |
load, setpublic static final String SERVICE_NAME_GRAPH
public File directory
public static void load(ServerBuilder serverBuilder) throws IOException
IOExceptionpublic static GraphManager getInstance()
public GraphInstance getGraphInstance(String graphName) throws ServerException
ServerExceptionpublic Set<String> nameSet()
nameSet in class DirectoryJsonManager<GraphDefinition>public GraphDefinition get(String name) throws IOException
get in class DirectoryJsonManager<GraphDefinition>IOExceptionpublic void createUpdateGraph(String graphName, GraphDefinition graphDef) throws IOException, ServerException
IOExceptionServerExceptionpublic GraphDefinition delete(String graphName) throws ServerException, IOException
delete in class DirectoryJsonManager<GraphDefinition>ServerExceptionIOExceptionCopyright © 2016 QWAZR / Emmanuel Keller. All rights reserved.