Example #1
0
 /** 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;
 }
Example #3
0
 public Graph create() {
   return Factory.createGraphMem();
 }