Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.mapping / src / org / simantics / mapping / constraint / instructions / ExistsInstruction.java

diff --git a/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/ExistsInstruction.java b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/ExistsInstruction.java
new file mode 100644 (file)
index 0000000..7d5b0f9
--- /dev/null
+++ b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/ExistsInstruction.java
@@ -0,0 +1,164 @@
+/*******************************************************************************\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.db.layer0.util.RemoverUtil;\r
+import org.simantics.mapping.IContextualModification;\r
+\r
+public class ExistsInstruction implements IInstruction {\r
+\r
+       IInstruction instruction;\r
+       int[] variables;        \r
+       \r
+       public ExistsInstruction(IInstruction instruction, int ... 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
+       }\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
+//                     ITask task = ThreadLogger.getInstance().begin("g");\r
+                       for(int var : variables) {\r
+                               bindings[var] = DISABLE_MODI ? null : g.newResource();\r
+                               if(DEBUG)\r
+                                   System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                if(DEBUG_MODI)\r
+                    System.out.println("claim exists " + NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                       }\r
+//                     task.finish();\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
+//                     System.out.println("Creates Claim");\r
+                       return new Claim();\r
+               }\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
+                       Object continuation = this.continuation;\r
+                       do {\r
+                           for(int var : variables) {\r
+                               if(DEBUG_MODI)\r
+                                   System.out.println("deny exists " + \r
+                                           NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                               if(!DISABLE_MODI)\r
+                                       RemoverUtil.remove(g, (Resource)bindings[var]);\r
+                               }\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
+//                     ITask task = ThreadLogger.getInstance().begin("g");\r
+                       for(int var : variables) {\r
+                               bindings[var] = DISABLE_MODI ? null : g.newResource();\r
+                               if(DEBUG)\r
+                                       System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                               if(DEBUG_MODI)\r
+                                       System.out.println("claim exists " + NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                       }                       \r
+//                     task.finish();\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(int var : variables) {\r
+                           if(DEBUG_MODI)\r
+                               System.out.println("deny exists " + \r
+                                       NameUtils.getSafeName(g, (Resource)bindings[var]));\r
+                           if(!DISABLE_MODI)\r
+                               RemoverUtil.remove(g, (Resource)bindings[var]);\r
+                               }\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] = map.get(variables[i]);\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
+               boolean first = true;\r
+               for(int v : variables) {\r
+                       if(first)\r
+                               first = false;\r
+                       else \r
+                               b.append(',');\r
+                       b.append(v);            \r
+               }\r
+               b.append("] ");\r
+               instruction.toString(b, indent+1);\r
+       }\r
+\r
+}\r