/** Create a graph and record it with the given name in the local map. */
@Override
public Graph createGraph(ASubCallHandler handler, String name, boolean strict) {
GraphMemBase already = (GraphMemBase) graphs.get(name);
if (already == null) {
Graph result = Factory.createGraphMem();
graphs.put(name, result);
return result;
} else if (strict) throw new AlreadyExistsException(name);
else return already.openAgain();
}
@Override
protected Graph processMethod() throws AsyncException {
if (fdeductions != null) {
Graph dg = fdeductions.getGraph();
if (dg != null) {
// Reuse the old graph in order to preserve any listeners
safeDeductions.getBulkUpdateHandler().removeAll(getHandler(""));
return dg;
}
}
Graph dg = Factory.createGraphMem(style);
safeDeductions = new SafeGraph(dg);
return dg;
}
public Graph create() {
return Factory.createGraphMem();
}