-/*******************************************************************************\r
- * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
- * in Industry THTH ry.\r
- * All rights reserved. This program and the accompanying materials\r
- * are made available under the terms of the Eclipse Public License v1.0\r
- * which accompanies this distribution, and is available at\r
- * http://www.eclipse.org/legal/epl-v10.html\r
- *\r
- * Contributors:\r
- * VTT Technical Research Centre of Finland - initial API and implementation\r
- *******************************************************************************/\r
-package org.simantics.db.impl.query;\r
-\r
-import java.util.Collection;\r
-import java.util.concurrent.Semaphore;\r
-\r
-import org.simantics.databoard.Bindings;\r
-import org.simantics.db.DevelopmentKeys;\r
-import org.simantics.db.RelationInfo;\r
-import org.simantics.db.Resource;\r
-import org.simantics.db.common.exception.DebugException;\r
-import org.simantics.db.exception.DatabaseException;\r
-import org.simantics.db.exception.ManyObjectsForFunctionalRelationException;\r
-import org.simantics.db.impl.graph.ReadGraphImpl;\r
-import org.simantics.db.impl.procedure.IntProcedureAdapter;\r
-import org.simantics.db.impl.procedure.InternalProcedure;\r
-import org.simantics.db.procedure.AsyncMultiProcedure;\r
-import org.simantics.db.procedure.ListenerBase;\r
-import org.simantics.db.request.RequestFlags;\r
-import org.simantics.utils.Development;\r
-\r
-/*\r
- * Size analysis:\r
- * java 8 byte\r
- * id 8 byte\r
- * statusOrException 4 byte\r
- * p1 = 4 byte\r
- * p2OrParents = 4 byte\r
- * result = 4 byte \r
- * \r
- * total 32byte\r
- * \r
- */\r
-\r
-final public class Objects extends CollectionBinaryQuery<IntProcedure> {\r
-\r
- public Objects(final int r1, final int r2) {\r
- super(r1, r2);\r
- }\r
-\r
- final static Objects entry(final QueryProcessor provider, final int r1, final int r2) {\r
- return (Objects)provider.objectsMap.get(r1,r2);\r
- }\r
-\r
- final static Collection<Objects> entries(final QueryProcessor processor, final int r1) {\r
- return processor.objectsMap.values(r1);\r
- }\r
-\r
- public final static void runner(ReadGraphImpl graph, final int r1, final int r2, CacheEntry parent, ListenerBase listener, final IntProcedure procedure) {\r
-\r
- if(parent == null && listener == null) {\r
- Objects.computeForEach(graph, r1, r2, null, procedure);\r
- return;\r
- }\r
-\r
- QueryProcessor processor = graph.processor;\r
-\r
- Objects entry = (Objects)processor.objectsMap.get(r1,r2);\r
- if(entry == null) {\r
-\r
- entry = new Objects(r1, r2);\r
- entry.setPending();\r
- entry.clearResult(processor.querySupport);\r
- entry.putEntry(processor);\r
-\r
- processor.performForEach(graph, entry, parent, listener, procedure);\r
-\r
- } else {\r
-\r
- if(entry.isPending()) {\r
- synchronized(entry) {\r
- if(entry.isPending()) {\r
- processor.registerDependencies(graph, entry, parent, listener, procedure, false);\r
- computeForEach(graph, r1, r2, null, procedure);\r
- return;\r
- }\r
- }\r
- }\r
-\r
- processor.performForEach(graph, entry, parent, listener, procedure);\r
-\r
- }\r
-\r
- }\r
-\r
- static class Runner2Procedure implements IntProcedure {\r
- \r
- public int single = 0;\r
- public Throwable t = null;\r
-\r
- public void clear() {\r
- single = 0;\r
- t = null;\r
- }\r
- \r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
- if(single == 0) single = i;\r
- else single = -1;\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- if(single == -1) single = 0;\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable throwable) {\r
- single = 0;\r
- this.t = throwable;\r
- }\r
- \r
- public int get() throws DatabaseException {\r
- if(t != null) {\r
- if(t instanceof DatabaseException) throw (DatabaseException)t;\r
- else throw new DatabaseException(t);\r
- }\r
- return single;\r
- }\r
- \r
- }\r
- \r
- static final Runner2Procedure runner2Procedure = new Runner2Procedure();\r
- \r
- public final static int runner2(ReadGraphImpl graph, final int r1, final int r2, CacheEntry parent) throws DatabaseException {\r
-\r
- runner2Procedure.clear();\r
-\r
- if(parent == null) {\r
- Objects.computeForEach(graph, r1, r2, null, runner2Procedure);\r
- return runner2Procedure.get();\r
- }\r
-\r
- QueryProcessor processor = graph.processor;\r
-\r
- Objects entry = (Objects)processor.objectsMap.get(r1,r2);\r
- if(entry == null) {\r
-\r
- entry = new Objects(r1, r2);\r
- entry.setPending();\r
- entry.clearResult(processor.querySupport);\r
- entry.putEntry(processor);\r
-\r
- processor.performForEach(graph, entry, parent, null, runner2Procedure);\r
- return runner2Procedure.get();\r
-\r
- } else {\r
-\r
- if(entry.isPending()) throw new IllegalStateException();\r
-\r
- processor.performForEach(graph, entry, parent, null, runner2Procedure);\r
- return runner2Procedure.get();\r
-\r
- }\r
-\r
- }\r
- \r
- @Override\r
- public BinaryQuery<IntProcedure> getEntry(QueryProcessor provider) {\r
- return provider.objectsMap.get(id);\r
- }\r
-\r
- @Override\r
- public void putEntry(QueryProcessor provider) {\r
- if(Development.DEVELOPMENT) {\r
- if(Development.<Boolean>getProperty(DevelopmentKeys.QUERYPROCESSOR_PUT, Bindings.BOOLEAN)) {\r
- System.err.println("put " + this);\r
- }\r
- }\r
- provider.objectsMap.put(id, this);\r
- }\r
-\r
- @Override\r
- final public void removeEntry(QueryProcessor provider) {\r
- provider.objectsMap.remove(id);\r
- }\r
-\r
- final static private IntArray getAssertionMap(ReadGraphImpl graph, final int r1, final int r2, final Objects entry) {\r
-\r
- class AssertionMapProc implements IntProcedure {\r
-\r
- boolean first = true;\r
-\r
- private IntArray result;\r
-\r
- public void addStatement(int s, int p, int o) {\r
-\r
- if(result.size() == 0) {\r
- result.add(s);\r
- result.add(p);\r
- result.add(o);\r
- } else {\r
- for(int i = 0;i < result.sizeOrData ; i+=3) {\r
- int existingP = result.data[i+1];\r
- if(p == existingP) {\r
- int existingO = result.data[i+2];\r
- if(existingO == o) return;\r
- }\r
- }\r
- result.add(s);\r
- result.add(p);\r
- result.add(o);\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int type) {\r
- AssertedStatements stms = AssertedStatements.queryEach(graph, type, r2, graph.processor, entry, null, NOPT);\r
- if(result == null) {\r
- result = stms.getResult();\r
- } else {\r
- if (first) {\r
- IntArray ia = result;\r
- result = new IntArray();\r
- if(ia.data != null) {\r
- for(int i = 0;i < ia.sizeOrData ; i+=3) addStatement(ia.data[i],ia.data[i+1],ia.data[i+2]);\r
- }\r
- first = false;\r
- }\r
- IntArray ia = stms.getResult();\r
- if(ia.data != null) {\r
- for(int i = 0;i < ia.sizeOrData ; i+=3) addStatement(ia.data[i],ia.data[i+1],ia.data[i+2]);\r
- }\r
- }\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable throwable) {\r
- }\r
-\r
- }\r
-\r
- AssertionMapProc amp = new AssertionMapProc();\r
-\r
- // This dependency could be cut\r
- PrincipalTypes.queryEach(graph, r1, graph.processor, entry, null, amp);\r
-\r
- return amp.result;\r
-\r
- }\r
-\r
- final static private void forSingleAssertion(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, final IntProcedure procedure) {\r
-\r
- IntArray map = getAssertionMap(graph, r1, r2, entry);\r
- if(map == null) {\r
- if(entry != null) entry.finish(graph, procedure);\r
- else procedure.finished(graph);\r
- return;\r
- }\r
-\r
- int size = map.size();\r
- if(size == 3) {\r
-\r
- int value = map.data[2];\r
-\r
- if(entry != null) {\r
- entry.addOrSetFunctional(value);\r
- entry.finish(graph, procedure);\r
- } else {\r
- procedure.execute(graph, value);\r
- procedure.finished(graph);\r
- }\r
-\r
- } else if(size == 0) {\r
-\r
- if(entry != null) entry.finish(graph, procedure);\r
- else procedure.finished(graph);\r
-\r
- } else {\r
-\r
- int candidateS = map.data[0];\r
- int candidateO = map.data[2];\r
-\r
- SuperTypes candidate = SuperTypes.queryEach(graph, candidateS, graph.processor, entry, null, NOP);\r
- if(candidate.isExcepted()) {\r
- if(entry != null) entry.except((Throwable)candidate.getResult());\r
- procedure.exception(graph, (Throwable)candidate.getResult());\r
- return;\r
- }\r
- IntSet candidateIs = candidate.getResult();\r
-\r
- for(int i=3;i<map.size();i+=3) {\r
-\r
- int nextS = map.data[i];\r
- int nextO = map.data[i+2];\r
-\r
- if(nextS != candidateS) {\r
-\r
- if(candidateIs.contains(nextS)) {\r
-\r
- // Next is a super type of candidate => ignore next\r
-\r
- } else {\r
-\r
- SuperTypes next = SuperTypes.queryEach(graph, nextS, graph.processor, entry, null, NOP);\r
- if(next.isExcepted()) {\r
- if(entry != null) entry.except((Throwable)next.getResult());\r
- procedure.exception(graph, (Throwable)next.getResult());\r
- return;\r
- }\r
- IntSet nextIs = next.getResult();\r
-\r
- if(nextIs.contains(candidateS)) {\r
-\r
- // Candidate is a super type of next => next is the new candidate\r
-\r
- candidateS = nextS;\r
- candidateO = nextO;\r
- candidateIs = nextIs;\r
-\r
- } else {\r
-\r
- // candidate and next are unrelated => error\r
- ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has conflicting assertions " + r1 + ", " + r2 + " " + map , r1);\r
-\r
- if(entry != null) entry.except(exception);\r
- procedure.exception(graph, exception);\r
- return; \r
-\r
- }\r
-\r
- }\r
-\r
- }\r
-\r
- }\r
-\r
- if(entry != null) {\r
- entry.addOrSetFunctional(candidateO);\r
- entry.finish(graph, procedure);\r
- } else {\r
- procedure.execute(graph, candidateO);\r
- procedure.finished(graph);\r
- }\r
-\r
- }\r
-\r
- }\r
-\r
- final static InternalProcedure<IntSet> NOP = new InternalProcedure<IntSet>() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, IntSet result) {\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable throwable) {\r
- }\r
-\r
- };\r
-\r
- final static TripleIntProcedure NOPT = new TripleIntProcedure() {\r
-\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable throwable) {\r
- }\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int s, int p, int o) {\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- };\r
-\r
- // Search for one statement\r
- final public void computeFunctionalIndex(ReadGraphImpl graph, final QueryProcessor provider, final RelationInfo ri, final IntProcedure procedure) {\r
- computeFunctionalIndex(graph, r1(), r2(), this, ri, procedure);\r
- }\r
-\r
- // Search for one statement\r
- final static public void computeFunctionalIndex(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, final RelationInfo ri, final IntProcedure procedure) {\r
-\r
- if(ri.isFinal) {\r
-\r
- int result = graph.processor.querySupport.getFunctionalObject(r1, r2);\r
-\r
- if(result == 0) {\r
-\r
- // Check for assertions\r
- forSingleAssertion(graph, r1, r2, entry, procedure);\r
-\r
- } else if (result == -1) {\r
-\r
- graph.processor.querySupport.getObjects(graph, r1, r2, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
- if(entry != null) entry.addOrSetFunctional(i);\r
- else procedure.execute(graph, i);\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- if(DebugException.DEBUG) new DebugException(t).printStackTrace();\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- });\r
-\r
- // Check for assertions\r
- forSingleAssertion(graph, r1, r2, entry, procedure);\r
-\r
- } else {\r
-\r
- // If functional relation was found there is no need to check assertions\r
- if(entry != null) {\r
- entry.addOrSetFunctional(result);\r
- entry.finish(graph, procedure);\r
- } else {\r
- procedure.execute(graph, result);\r
- procedure.finished(graph);\r
- }\r
-\r
- \r
- }\r
-\r
- } else {\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectPredicates.queryEach(graph, r1, graph.processor, null, null, new SyncIntProcedure() {\r
-\r
- boolean found = false;\r
-\r
- @Override\r
- public void run(ReadGraphImpl graph) {\r
-\r
- if(found) {\r
- if(entry != null) entry.finish(graph, procedure);\r
- else procedure.finished(graph);\r
- } else {\r
-\r
- // Check for assertions\r
- forSingleAssertion(graph, r1, r2, entry, procedure);\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, final int pred) {\r
-\r
- if(found) return;\r
-\r
- if(pred == r2) {\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectObjects.queryEach(graph, r1, pred, graph.processor, null, null, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
-\r
- if(!found) {\r
-\r
- if(entry != null) entry.addOrSetFunctional(i);\r
- else procedure.execute(graph, i);\r
-\r
- found = true;\r
-\r
- } else {\r
-\r
- ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has more than one statement (r1=" + r1 + ", r2=" + r2 + ").", r1);\r
- if(entry != null) entry.except(exception);\r
- procedure.exception(graph, exception);\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- procedure.exception(graph, t);\r
- }\r
-\r
- });\r
-\r
- } else {\r
-\r
- SuperRelations.queryEach(graph, pred, graph.processor, entry, null, new InternalProcedure<IntSet>() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, IntSet result) {\r
-\r
- if(found) return;\r
-\r
- if(result.contains(r2)) {\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectObjects.queryEach(graph, r1, pred, graph.processor, null, null, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
-\r
- if(!found) {\r
-\r
- if(entry != null) entry.addOrSetFunctional(i);\r
- else procedure.execute(graph, i);\r
-\r
- found = true;\r
-\r
- } else {\r
-\r
- ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has more than one statement (r1=" + r1 + ", r2=" + r2 + ").", r1);\r
- if(entry != null) entry.except(exception);\r
- procedure.exception(graph, exception);\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- procedure.exception(graph, t);\r
- }\r
-\r
- });\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- procedure.exception(graph, t);\r
- }\r
-\r
- });\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
-\r
- dec(graph);\r
-\r
- }\r
-\r
- });\r
-\r
-\r
- }\r
-\r
- }\r
-\r
- final static private void forAssertions(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, final IntProcedure procedure) {\r
-\r
- // Note! The dependency is intentionally cut!\r
- PrincipalTypes.queryEach(graph, r1, graph.processor, null, null, new SyncIntProcedure() {\r
-\r
- @Override\r
- public void run(ReadGraphImpl graph) {\r
-\r
- if(entry != null) entry.finish(graph, procedure);\r
- else procedure.finished(graph);\r
-\r
- }\r
-\r
- TripleIntProcedure proc = new TripleIntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int s, int p, int o) {\r
- if(entry != null) entry.addOrSet(o);\r
- else procedure.execute(graph, o);\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- dec(graph);\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- if(DebugException.DEBUG) new DebugException(t).printStackTrace();\r
- procedure.exception(graph, t);\r
- dec(graph);\r
- }\r
-\r
- };\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int type) {\r
-\r
- inc();\r
-\r
- AssertedStatements.queryEach(graph, type, r2, graph.processor, entry, null, proc);\r
-\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- dec(graph);\r
- }\r
-\r
- });\r
-\r
-\r
- }\r
-\r
- final public static void computeNotFunctionalFinalIndex(ReadGraphImpl graph, final int r1, final int r2, final QueryProcessor provider, RelationInfo ri, AsyncMultiProcedure<Resource> procedure) {\r
-\r
- throw new Error();\r
-\r
- }\r
-\r
- final public void computeNotFunctionalIndex(ReadGraphImpl graph, RelationInfo ri, final IntProcedure procedure) {\r
- computeNotFunctionalIndex(graph, r1(), r2(), this, ri, procedure);\r
- }\r
-\r
- final static public void computeNotFunctionalIndex(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, RelationInfo ri, final IntProcedure procedure) {\r
-\r
- if(ri.isFinal) {\r
-\r
- graph.processor.querySupport.getObjects(graph, r1, r2, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
- if(entry != null) entry.addOrSet(i);\r
- else procedure.execute(graph, i);\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- if(DebugException.DEBUG) new DebugException(t).printStackTrace();\r
- procedure.exception(graph, t);\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- }\r
-\r
- });\r
-\r
- if(ri.isAsserted) {\r
- forAssertions(graph, r1, r2, entry, procedure);\r
- } else {\r
- if(entry != null) entry.finish(graph, procedure);\r
- else procedure.finished(graph);\r
- }\r
-\r
- } else {\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectPredicates.queryEach(graph, r1, graph.processor, null, null, new SyncIntProcedure() {\r
-\r
- @Override\r
- public void run(ReadGraphImpl graph) {\r
-\r
- forAssertions(graph, r1, r2, entry, procedure);\r
-\r
- }\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, final int pred) {\r
-\r
- if(pred == r2) {\r
-\r
- inc();\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectObjects.queryEach(graph, r1, pred, graph.processor, null, null, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
- if(entry != null) entry.addOrSet(i);\r
- else procedure.execute(graph, i);\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- dec(graph);\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- procedure.exception(graph, t);\r
- dec(graph);\r
- }\r
-\r
- });\r
-\r
- } else {\r
-\r
- inc();\r
-\r
- SuperRelations.queryEach(graph, pred, graph.processor, entry, null, new InternalProcedure<IntSet>() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, IntSet result) {\r
-\r
- if(result.contains(r2)) {\r
-\r
- inc();\r
-\r
- // Note! The dependency is intentionally cut!\r
- DirectObjects.queryEach(graph, r1, pred, graph.processor, null, null, new IntProcedure() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, int i) {\r
- if(entry != null) entry.addOrSet(i);\r
- else procedure.execute(graph, i);\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- dec(graph);\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- if(DebugException.DEBUG) new DebugException(t).printStackTrace();\r
- procedure.exception(graph, t);\r
- dec(graph);\r
- }\r
-\r
- });\r
-\r
- }\r
-\r
- dec(graph);\r
-\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- procedure.exception(graph, t);\r
- dec(graph);\r
- }\r
-\r
- });\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- dec(graph);\r
- }\r
-\r
- });\r
-\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public void computeForEach(ReadGraphImpl graph, final QueryProcessor provider, final IntProcedure procedure, final boolean store) {\r
- computeForEach(graph, r1(), r2(), this, procedure);\r
- }\r
-\r
- public static void computeForEach(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, final IntProcedure procedure) {\r
-\r
- RelationInfo ri = RelationInfoQuery.queryEach(graph, r2, graph.processor, entry, null, ip);\r
- graph.ensureLoaded(r1, r2); \r
- if(ri.isFunctional) {\r
- computeFunctionalIndex(graph, r1, r2, entry, ri, procedure);\r
- } else {\r
- computeNotFunctionalIndex(graph, r1, r2, entry, ri, procedure);\r
- }\r
-\r
- }\r
-\r
- final static InternalProcedure<RelationInfo> ip = new InternalProcedure<RelationInfo>() {\r
-\r
- @Override\r
- public void execute(ReadGraphImpl graph, RelationInfo result) {\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable throwable) {\r
- }\r
-\r
- };\r
-\r
- @Override\r
- public String toString() {\r
- return "Objects[" + r1() + " - " + r2() + "]";\r
- }\r
-\r
- final private void finish(ReadGraphImpl graph, IntProcedure procedure) {\r
-\r
- assert(assertPending());\r
-\r
- synchronized(this) {\r
- setReady();\r
- }\r
-\r
- IntArray v = (IntArray)getResult();\r
-\r
- if(v.data == null) {\r
- if(v.sizeOrData != IntArray.NO_DATA) {\r
- procedure.execute(graph, v.sizeOrData);\r
- }\r
- } else {\r
- for(int i = 0;i < v.sizeOrData ; i++) {\r
- procedure.execute(graph, v.data[i]);\r
- }\r
- }\r
-\r
- procedure.finished(graph);\r
-\r
- }\r
-\r
- final public void addOrSet(int add) {\r
-\r
- assert(assertPending());\r
-\r
- IntArray value = (IntArray)getResult();\r
- synchronized(value) {\r
- value.add(add);\r
- }\r
-\r
- }\r
-\r
- final public void addOrSetFunctional(int add) {\r
-\r
- assert(isPending());\r
-\r
- IntArray value = (IntArray)getResult();\r
- value.add(add);\r
-\r
- }\r
-\r
- @Override\r
- public void performFromCache(ReadGraphImpl graph, QueryProcessor provider, final IntProcedure procedure) {\r
-\r
- assert(isReady());\r
-\r
- if(handleException(graph, procedure)) return;\r
-\r
- final IntArray value = (IntArray)getResult();\r
- if(value.data == null) {\r
- if(value.sizeOrData != IntArray.NO_DATA) procedure.execute(graph, value.sizeOrData);\r
- } else {\r
- for(int i = 0;i < value.sizeOrData ; i++) procedure.execute(graph, value.data[i]);\r
- }\r
-\r
- procedure.finished(graph);\r
-\r
- }\r
-\r
- @Override\r
- public void recompute(ReadGraphImpl graph, QueryProcessor provider) {\r
-\r
- final Semaphore s = new Semaphore(0);\r
-\r
- computeForEach(graph, provider, new IntProcedureAdapter() {\r
-\r
- @Override\r
- public void finished(ReadGraphImpl graph) {\r
- s.release();\r
- }\r
-\r
- @Override\r
- public void exception(ReadGraphImpl graph, Throwable t) {\r
- s.release();\r
- new Error("Error in recompute.", t).printStackTrace();\r
- }\r
-\r
- }, true);\r
-\r
- while(!s.tryAcquire()) {\r
- provider.resume(graph);\r
- }\r
-\r
- }\r
-\r
- @Override\r
- public int type() {\r
- return RequestFlags.IMMEDIATE_UPDATE;\r
- }\r
-\r
- @Override\r
- boolean isImmutable(ReadGraphImpl graph) {\r
- return graph.processor.isImmutable(r1());\r
- }\r
-\r
-}\r
+/*******************************************************************************
+ * Copyright (c) 2007, 2018 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * VTT Technical Research Centre of Finland - initial API and implementation
+ *******************************************************************************/
+package org.simantics.db.impl.query;
+
+import org.simantics.db.RelationInfo;
+import org.simantics.db.Resource;
+import org.simantics.db.common.exception.DebugException;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.db.exception.ManyObjectsForFunctionalRelationException;
+import org.simantics.db.impl.graph.ReadGraphImpl;
+import org.simantics.db.impl.procedure.IntProcedureAdapter;
+import org.simantics.db.impl.procedure.InternalProcedure;
+import org.simantics.db.procedure.AsyncMultiProcedure;
+import org.simantics.db.request.RequestFlags;
+
+/*
+ * Size analysis:
+ * java 8 byte
+ * id 8 byte
+ * statusOrException 4 byte
+ * p1 = 4 byte
+ * p2OrParents = 4 byte
+ * result = 4 byte
+ *
+ * total 32byte
+ *
+ */
+
+public final class Objects extends CollectionBinaryQuery<IntProcedure> implements IntProcedure {
+
+ public Objects(final int r1, final int r2) {
+ super(r1, r2);
+ }
+
+ @Override
+ final public void removeEntry(QueryProcessor provider) {
+ provider.cache.remove(this);
+ }
+
+ final static private IntArray getAssertionMap(ReadGraphImpl graph, final int r1, final int r2, final Objects entry) throws DatabaseException {
+
+ class AssertionMapProc implements IntProcedure {
+
+ boolean first = true;
+
+ private IntArray result;
+
+ public void addStatement(int s, int p, int o) {
+
+ if(result.size() == 0) {
+ result.add(s);
+ result.add(p);
+ result.add(o);
+ } else {
+ for(int i = 0;i < result.sizeOrData ; i+=3) {
+ int existingP = result.data[i+1];
+ if(p == existingP) {
+ int existingO = result.data[i+2];
+ if(existingO == o) return;
+ }
+ }
+ result.add(s);
+ result.add(p);
+ result.add(o);
+ }
+
+ }
+
+ @Override
+ public void execute(ReadGraphImpl graph, int type) throws DatabaseException {
+ if(result == null) {
+ result = QueryCacheBase.resultAssertedStatements(graph, type, r2, entry, null);
+ } else {
+ if (first) {
+ IntArray ia = result;
+ result = new IntArray();
+ if(ia.data != null) {
+ for(int i = 0;i < ia.sizeOrData ; i+=3) addStatement(ia.data[i],ia.data[i+1],ia.data[i+2]);
+ }
+ first = false;
+ }
+ IntArray ia = QueryCacheBase.resultAssertedStatements(graph, type, r2, entry, null);
+ if(ia.data != null) {
+ for(int i = 0;i < ia.sizeOrData ; i+=3) addStatement(ia.data[i],ia.data[i+1],ia.data[i+2]);
+ }
+ }
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable throwable) {
+ }
+
+ }
+
+ AssertionMapProc amp = new AssertionMapProc();
+
+ // This dependency could be cut
+ QueryCache.runnerPrincipalTypes(graph, r1, entry, null, amp);
+
+ return amp.result;
+
+ }
+
+ final static private void forSingleAssertion(ReadGraphImpl graph, final int r1, final int r2, final Objects parent, final IntProcedure procedure) throws DatabaseException {
+
+ IntArray map = getAssertionMap(graph, r1, r2, parent);
+ if(map == null) {
+ procedure.finished(graph);
+ return;
+ }
+
+ int size = map.size();
+ if(size == 3) {
+ int value = map.data[2];
+ procedure.execute(graph, value);
+ procedure.finished(graph);
+ } else if(size == 0) {
+ procedure.finished(graph);
+ } else {
+
+ int candidateS = map.data[0];
+ int candidateO = map.data[2];
+
+ IntSet candidateIs = null;
+ try {
+ candidateIs = QueryCache.resultSuperTypes(graph, candidateS, parent, null);
+ } catch (DatabaseException e) {
+ procedure.exception(graph, e);
+ return;
+ }
+
+ for(int i=3;i<map.size();i+=3) {
+
+ int nextS = map.data[i];
+ int nextO = map.data[i+2];
+
+ if(nextS != candidateS) {
+
+ if(candidateIs.contains(nextS)) {
+
+ // Next is a super type of candidate => ignore next
+
+ } else {
+
+ IntSet nextIs = null;
+ try {
+ nextIs = QueryCache.resultSuperTypes(graph, nextS, parent, null);
+ } catch (DatabaseException e) {
+ procedure.exception(graph, e);
+ return;
+ }
+
+ if(nextIs.contains(candidateS)) {
+
+ // Candidate is a super type of next => next is the new candidate
+
+ candidateS = nextS;
+ candidateO = nextO;
+ candidateIs = nextIs;
+
+ } else {
+
+ // candidate and next are unrelated => error
+ ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has conflicting assertions " + r1 + ", " + r2 + " " + map , r1);
+ procedure.exception(graph, exception);
+ return;
+
+ }
+
+ }
+
+ }
+
+ }
+
+ procedure.execute(graph, candidateO);
+ procedure.finished(graph);
+
+ }
+
+ }
+
+ final static InternalProcedure<IntSet> NOP = new InternalProcedure<IntSet>() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, IntSet result) {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable throwable) {
+ }
+
+ };
+
+ final static TripleIntProcedure NOPT = new TripleIntProcedure() {
+
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable throwable) {
+ }
+
+ @Override
+ public void execute(ReadGraphImpl graph, int s, int p, int o) {
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ };
+
+ // Search for one statement
+ final public void computeFunctionalIndex(ReadGraphImpl graph, final QueryProcessor provider, final RelationInfo ri, final IntProcedure procedure) throws DatabaseException {
+ computeFunctionalIndex(graph, r1(), r2(), this, ri, procedure);
+ }
+
+ // Search for one statement
+ final static public void computeFunctionalIndex(ReadGraphImpl graph, final int r1, final int r2, final Objects parent, final RelationInfo ri, final IntProcedure procedure) throws DatabaseException {
+
+ if(ri.isFinal) {
+
+ int result = graph.processor.querySupport.getFunctionalObject(r1, r2);
+
+ if(result == 0) {
+
+ // Check for assertions
+ forSingleAssertion(graph, r1, r2, parent, procedure);
+
+ } else if (result == -1) {
+
+ graph.processor.querySupport.getObjects(graph, r1, r2, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+ procedure.execute(graph, i);
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) {
+ if(DebugException.DEBUG) new DebugException(t).printStackTrace();
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ });
+
+ // Check for assertions
+ forSingleAssertion(graph, r1, r2, parent, procedure);
+
+ } else {
+
+ // If functional relation was found there is no need to check assertions
+ procedure.execute(graph, result);
+ procedure.finished(graph);
+
+ }
+
+ } else {
+
+ // Note! The dependency is intentionally cut!
+ IntSet direct = QueryCache.resultDirectPredicates(graph, r1, null, null);
+ direct.forEach(graph, new SyncIntProcedure() {
+
+ /*
+ * 0 = not found
+ * 1 = found
+ * 2 = exception
+ */
+ int found = 0;
+
+ @Override
+ public void run(ReadGraphImpl graph) throws DatabaseException {
+
+ if(found == 1) {
+
+ procedure.finished(graph);
+
+ } else if(found == 0) {
+
+ // Check for assertions
+ forSingleAssertion(graph, r1, r2, parent, procedure);
+
+ }
+
+ }
+
+ @Override
+ public void execute(ReadGraphImpl graph, final int pred) throws DatabaseException {
+
+ if(found > 0)
+ return;
+
+ if(pred == r2) {
+
+ // Note! The dependency is intentionally cut!
+ QueryCache.runnerDirectObjects(graph, r1, pred, null, null, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+
+ if(found == 0) {
+
+ procedure.execute(graph, i);
+ found = 1;
+
+ } else {
+
+ ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has more than one statement (r1=" + r1 + ", r2=" + r2 + ").", r1);
+ procedure.exception(graph, exception);
+ found = 2;
+
+ }
+
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+
+ procedure.exception(graph, t);
+ found = 2;
+
+ }
+
+ });
+
+ } else {
+
+ QueryCache.runnerSuperRelations(graph, pred, parent, null, new InternalProcedure<IntSet>() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, IntSet result) throws DatabaseException {
+
+ if(found > 0)
+ return;
+
+ if(result.contains(r2)) {
+
+ // Note! The dependency is intentionally cut!
+ QueryCache.runnerDirectObjects(graph, r1, pred, null, null, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+
+ if(found == 0) {
+
+ procedure.execute(graph, i);
+ found = 1;
+
+ } else {
+
+ ManyObjectsForFunctionalRelationException exception = new ManyObjectsForFunctionalRelationException("Functional relation has more than one statement (r1=" + r1 + ", r2=" + r2 + ").", r1);
+ procedure.exception(graph, exception);
+ found = 2;
+
+ }
+
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ procedure.exception(graph, t);
+ found = 2;
+ }
+
+ });
+
+ }
+
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ procedure.exception(graph, t);
+ found = 2;
+ }
+
+ });
+
+ }
+
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
+ }
+
+ });
+
+
+ }
+
+ }
+
+ final static private void forAssertions(ReadGraphImpl graph, final int r1, final int r2, final Objects parent, final IntProcedure procedure) throws DatabaseException {
+
+ // Note! The dependency is intentionally cut!
+ QueryCache.runnerPrincipalTypes(graph, r1, null, null, new SyncIntProcedure() {
+
+ @Override
+ public void run(ReadGraphImpl graph) throws DatabaseException {
+ procedure.finished(graph);
+ }
+
+ TripleIntProcedure proc = new TripleIntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int s, int p, int o) throws DatabaseException {
+ procedure.execute(graph, o);
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ if(DebugException.DEBUG) new DebugException(t).printStackTrace();
+ procedure.exception(graph, t);
+ dec(graph);
+ }
+
+ };
+
+ @Override
+ public void execute(ReadGraphImpl graph, int type) throws DatabaseException {
+
+ inc();
+ QueryCache.runnerAssertedStatements(graph, type, r2, parent, null, proc);
+
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
+ }
+
+ });
+
+
+ }
+
+ final public static void computeNotFunctionalFinalIndex(ReadGraphImpl graph, final int r1, final int r2, final QueryProcessor provider, RelationInfo ri, AsyncMultiProcedure<Resource> procedure) {
+ throw new Error();
+ }
+
+ final public void computeNotFunctionalIndex(ReadGraphImpl graph, RelationInfo ri, final IntProcedure procedure) throws DatabaseException {
+ computeNotFunctionalIndex(graph, r1(), r2(), this, ri, procedure);
+ }
+
+ final static public void computeNotFunctionalIndex(ReadGraphImpl graph, final int r1, final int r2, final Objects parent, RelationInfo ri, final IntProcedure procedure) throws DatabaseException {
+
+ if(ri.isFinal) {
+
+ graph.processor.querySupport.getObjects(graph, r1, r2, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+ procedure.execute(graph, i);
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ if(DebugException.DEBUG) new DebugException(t).printStackTrace();
+ procedure.exception(graph, t);
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ });
+
+ if(ri.isAsserted) {
+ forAssertions(graph, r1, r2, parent, procedure);
+ } else {
+ procedure.finished(graph);
+ }
+
+ } else {
+
+ // Note! The dependency is intentionally cut!
+ IntSet direct = QueryCache.resultDirectPredicates(graph, r1, null, null);
+ direct.forEach(graph, new SyncIntProcedure() {
+
+ @Override
+ public void run(ReadGraphImpl graph) throws DatabaseException {
+ forAssertions(graph, r1, r2, parent, procedure);
+ }
+
+ @Override
+ public void execute(ReadGraphImpl graph, final int pred) throws DatabaseException {
+
+ if(pred == r2) {
+
+ // Note! The dependency is intentionally cut!
+ QueryCache.runnerDirectObjects(graph, r1, pred, null, null, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+ procedure.execute(graph, i);
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ procedure.exception(graph, t);
+ }
+
+ });
+
+ } else {
+
+ try {
+
+ IntSet result = QueryCache.resultSuperRelations(graph, pred, parent, null);
+ if(result.contains(r2)) {
+
+ inc();
+
+ // Note! The dependency is intentionally cut!
+ QueryCache.runnerDirectObjects(graph, r1, pred, null, null, new IntProcedure() {
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+ procedure.execute(graph, i);
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) throws DatabaseException {
+ if(DebugException.DEBUG) new DebugException(t).printStackTrace();
+ procedure.exception(graph, t);
+ dec(graph);
+ }
+
+ });
+
+ }
+
+ } catch (Throwable e) {
+ procedure.exception(graph, e);
+ }
+
+ }
+
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ dec(graph);
+ }
+
+ });
+
+ }
+
+ }
+
+ public Object compute(ReadGraphImpl graph, final IntProcedure procedure) throws DatabaseException {
+ computeForEach(graph, r1(), r2(), this, procedure);
+ return getResult();
+ }
+
+ public static void computeForEach(ReadGraphImpl graph, final int r1, final int r2, final Objects entry, final IntProcedure procedure_) throws DatabaseException {
+
+ IntProcedure procedure = entry != null ? entry : procedure_;
+
+ RelationInfo ri = QueryCache.resultRelationInfoQuery(graph, r2, entry, null);
+ graph.ensureLoaded(r1, r2);
+ if(ri.isFunctional) {
+ computeFunctionalIndex(graph, r1, r2, entry, ri, procedure);
+ } else {
+ computeNotFunctionalIndex(graph, r1, r2, entry, ri, procedure);
+ }
+
+ if(entry != null) entry.performFromCache(graph, procedure_);
+
+ }
+
+ @Override
+ public String toString() {
+ return "Objects[" + r1() + " - " + r2() + "]";
+ }
+
+ @Override
+ public Object performFromCache(ReadGraphImpl graph, final IntProcedure procedure) throws DatabaseException {
+
+ assert(isReady());
+
+ if(handleException(graph, procedure)) return getResult();
+
+ final IntArray value = (IntArray)getResult();
+ if(value.data == null) {
+ if(value.sizeOrData != IntArray.NO_DATA) procedure.execute(graph, value.sizeOrData);
+ } else {
+ for(int i = 0;i < value.sizeOrData ; i++) procedure.execute(graph, value.data[i]);
+ }
+
+ procedure.finished(graph);
+
+ return value;
+
+ }
+
+ @Override
+ public void recompute(ReadGraphImpl graph) throws DatabaseException {
+
+ compute(graph, new IntProcedureAdapter() {
+
+ @Override
+ public void finished(ReadGraphImpl graph) {
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable t) {
+ new Error("Error in recompute.", t).printStackTrace();
+ }
+
+ });
+
+ }
+
+ @Override
+ public int type() {
+ return RequestFlags.IMMEDIATE_UPDATE;
+ }
+
+ @Override
+ boolean isImmutable(ReadGraphImpl graph) {
+ return graph.processor.isImmutable(r1());
+ }
+
+ @Override
+ public void execute(ReadGraphImpl graph, int i) throws DatabaseException {
+ IntArray value = (IntArray)getResult();
+ synchronized(value) {
+ value.add(i);
+ }
+ }
+
+ @Override
+ public void finished(ReadGraphImpl graph) throws DatabaseException {
+ setReady();
+ }
+
+ @Override
+ public void exception(ReadGraphImpl graph, Throwable throwable) throws DatabaseException {
+ except(throwable);
+ }
+
+}