-/*******************************************************************************\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
+/*******************************************************************************
+ * Copyright (c) 2007, 2010 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.mapping.constraint.instructions;
+
+import gnu.trove.map.hash.TIntIntHashMap;
+import gnu.trove.set.hash.TIntHashSet;
+
+import org.simantics.db.ReadGraph;
+import org.simantics.db.Resource;
+import org.simantics.db.WriteGraph;
+import org.simantics.db.common.utils.NameUtils;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.db.layer0.util.RemoverUtil;
+import org.simantics.mapping.IContextualModification;
+
+public class ExistsInstruction implements IInstruction {
+
+ IInstruction instruction;
+ int[] variables;
+
+ public ExistsInstruction(IInstruction instruction, int ... variables) {
+ this.instruction = instruction;
+ this.variables = variables;
+ }
+
+ @Override
+ public void collectVariables(TIntHashSet reads, TIntHashSet writes) {
+ instruction.collectVariables(reads, writes);
+ }
+
+ class Claim implements IContextualModification {
+
+ public Claim() {
+ }
+
+ @Override
+ public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {
+// ITask task = ThreadLogger.getInstance().begin("g");
+ for(int var : variables) {
+ bindings[var] = DISABLE_MODI ? null : g.newResource();
+ if(DEBUG)
+ System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var]));
+ if(DEBUG_MODI)
+ System.out.println("claim exists " + NameUtils.getSafeName(g, (Resource)bindings[var]));
+ }
+// task.finish();
+ instruction.doClaim(g, bindings);
+ }
+ }
+
+ @Override
+ public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException {
+ if(instruction.query(g, bindings)==IInstruction.FAILURE) {
+// System.out.println("Creates Claim");
+ return new Claim();
+ }
+ return null;
+ }
+
+ class Deny implements IContextualModification {
+ Object continuation;
+
+ public Deny(Object continuation) {
+ this.continuation = continuation;
+ }
+
+ @Override
+ public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {
+ Object continuation = this.continuation;
+ do {
+ for(int var : variables) {
+ if(DEBUG_MODI)
+ System.out.println("deny exists " +
+ NameUtils.getSafeName(g, (Resource)bindings[var]));
+ if(!DISABLE_MODI)
+ RemoverUtil.remove(g, (Resource)bindings[var]);
+ }
+ continuation = instruction.next(g, bindings, continuation);
+ } while(continuation != null && continuation != IInstruction.FAILURE);
+ }
+ }
+
+ @Override
+ public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException {
+ Object continuation = instruction.query(g, bindings);
+ if(continuation != IInstruction.FAILURE)
+ return new Deny(continuation);
+ return null;
+ }
+
+ @Override
+ public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException {
+ if(instruction.query(g, bindings)==IInstruction.FAILURE) {
+// ITask task = ThreadLogger.getInstance().begin("g");
+ for(int var : variables) {
+ bindings[var] = DISABLE_MODI ? null : g.newResource();
+ if(DEBUG)
+ System.out.println("@ newResource " + NameUtils.getSafeName(g, (Resource)bindings[var]));
+ if(DEBUG_MODI)
+ System.out.println("claim exists " + NameUtils.getSafeName(g, (Resource)bindings[var]));
+ }
+// task.finish();
+ instruction.doClaim(g, bindings);
+ }
+ }
+
+ @Override
+ public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException {
+ Object continuation = instruction.query(g, bindings);
+ if(continuation != IInstruction.FAILURE)
+ do {
+ for(int var : variables) {
+ if(DEBUG_MODI)
+ System.out.println("deny exists " +
+ NameUtils.getSafeName(g, (Resource)bindings[var]));
+ if(!DISABLE_MODI)
+ RemoverUtil.remove(g, (Resource)bindings[var]);
+ }
+ continuation = instruction.next(g, bindings, continuation);
+ } while(continuation != null && continuation != IInstruction.FAILURE);
+ }
+
+ @Override
+ public void mapVariables(TIntIntHashMap map) {
+ instruction.mapVariables(map);
+ for(int i=0;i<variables.length;++i)
+ variables[i] = map.get(variables[i]);
+ }
+
+ @Override
+ public Object next(ReadGraph g, Object[] bindings, Object continuation) throws DatabaseException {
+ return instruction.next(g, bindings, continuation);
+ }
+
+ @Override
+ public Object query(ReadGraph g, Object[] bindings) throws DatabaseException {
+ return instruction.query(g, bindings);
+ }
+
+ @Override
+ public void toString(StringBuilder b, int indent) {
+ b.append('[');
+ boolean first = true;
+ for(int v : variables) {
+ if(first)
+ first = false;
+ else
+ b.append(',');
+ b.append(v);
+ }
+ b.append("] ");
+ instruction.toString(b, indent+1);
+ }
+
+}