--- /dev/null
+/*******************************************************************************\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.mapping.constraint.instructions;\r
+\r
+import gnu.trove.map.hash.TIntIntHashMap;\r
+import gnu.trove.set.hash.TIntHashSet;\r
+\r
+import org.simantics.db.ReadGraph;\r
+import org.simantics.db.Resource;\r
+import org.simantics.db.WriteGraph;\r
+import org.simantics.db.common.utils.NameUtils;\r
+import org.simantics.db.exception.DatabaseException;\r
+import org.simantics.mapping.IContextualModification;\r
+\r
+public class TypedBracketInstruction implements IInstruction {\r
+\r
+ public static abstract class CreationInstruction {\r
+ protected int variableId;\r
+ \r
+ public CreationInstruction(int variableId) {\r
+ this.variableId = variableId;\r
+ }\r
+\r
+ public abstract Resource create(WriteGraph g, Object[] bindings) throws DatabaseException;\r
+\r
+ public void mapVariables(TIntIntHashMap map) {\r
+ variableId = map.get(variableId); \r
+ }\r
+ \r
+ public void collectVariables(TIntHashSet reads, TIntHashSet writes) { \r
+ }\r
+ }\r
+ \r
+ IInstruction instruction;\r
+ CreationInstruction[] variables; \r
+ \r
+ public TypedBracketInstruction(IInstruction instruction, CreationInstruction ... variables) {\r
+ this.instruction = instruction;\r
+ this.variables = variables;\r
+ } \r
+\r
+ @Override\r
+ public void collectVariables(TIntHashSet reads, TIntHashSet writes) {\r
+ instruction.collectVariables(reads, writes);\r
+ for(CreationInstruction var : variables)\r
+ var.collectVariables(reads, writes);\r
+ }\r
+ \r
+ class Claim implements IContextualModification {\r
+ \r
+ public Claim() {\r
+ }\r
+\r
+ @Override\r
+ public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {\r
+ for(CreationInstruction var : variables) {\r
+ bindings[var.variableId] = var.create(g, bindings);\r
+ if(DEBUG)\r
+ System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var.variableId]));\r
+ }\r
+ instruction.doClaim(g, bindings); \r
+ }\r
+ }\r
+ \r
+ @Override\r
+ public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException {\r
+ if(instruction.query(g, bindings)==IInstruction.FAILURE)\r
+ return new Claim();\r
+ return null;\r
+ }\r
+ \r
+ class Deny implements IContextualModification {\r
+ Object continuation;\r
+ \r
+ public Deny(Object continuation) {\r
+ this.continuation = continuation;\r
+ }\r
+\r
+ @Override\r
+ public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {\r
+ do {\r
+ for(CreationInstruction var : variables)\r
+ g.deny((Resource)bindings[var.variableId]);\r
+ continuation = instruction.next(g, bindings, continuation);\r
+ } while(continuation != null && continuation != IInstruction.FAILURE); \r
+ }\r
+ }\r
+ \r
+ @Override\r
+ public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException {\r
+ Object continuation = instruction.query(g, bindings);\r
+ if(continuation != IInstruction.FAILURE)\r
+ return new Deny(continuation);\r
+ return null;\r
+ }\r
+\r
+ @Override\r
+ public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException {\r
+ if(instruction.query(g, bindings)==IInstruction.FAILURE) {\r
+ for(CreationInstruction var : variables) {\r
+ bindings[var.variableId] = var.create(g, bindings);\r
+ if(DEBUG)\r
+ System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var.variableId]));\r
+ }\r
+ instruction.doClaim(g, bindings);\r
+ } \r
+ }\r
+\r
+ @Override\r
+ public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException {\r
+ Object continuation = instruction.query(g, bindings);\r
+ if(continuation != IInstruction.FAILURE)\r
+ do {\r
+ for(CreationInstruction var : variables)\r
+ g.deny((Resource)bindings[var.variableId]);\r
+ continuation = instruction.next(g, bindings, continuation);\r
+ } while(continuation != null && continuation != IInstruction.FAILURE); \r
+ }\r
+\r
+ @Override\r
+ public void mapVariables(TIntIntHashMap map) {\r
+ instruction.mapVariables(map);\r
+ for(int i=0;i<variables.length;++i)\r
+ variables[i].mapVariables(map);\r
+ }\r
+\r
+ @Override\r
+ public Object next(ReadGraph g, Object[] bindings, Object continuation) throws DatabaseException {\r
+ return instruction.next(g, bindings, continuation);\r
+ }\r
+\r
+ @Override\r
+ public Object query(ReadGraph g, Object[] bindings) throws DatabaseException {\r
+ return instruction.query(g, bindings);\r
+ }\r
+\r
+ @Override\r
+ public void toString(StringBuilder b, int indent) {\r
+ b.append('[');\r
+ b.append(']');\r
+ }\r
+\r
+}\r