gitlab #599
Change-Id: I199dbad157fc25302e56cc49a55900632b6752b0
return (T) processor.getL0();
}
+ /*
+ * This method can be called to obtain a stable resource identifier for debugging
+ */
+ public String clusterAndIndex(int r) {
+ if(r < 0) return "";
+ return "" + processor.querySupport.getClusterId(r) + ":" + (r & 0xfff);
+ }
+
}
@Override
public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
}
@Override