X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.mapping%2Fsrc%2Forg%2Fsimantics%2Fmapping%2Fconstraint%2Finstructions%2FNotInstruction.java;fp=bundles%2Forg.simantics.mapping%2Fsrc%2Forg%2Fsimantics%2Fmapping%2Fconstraint%2Finstructions%2FNotInstruction.java;h=becaa0e9bf71590a53453184d4a515898e5fe43d;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/NotInstruction.java b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/NotInstruction.java
new file mode 100644
index 000000000..becaa0e9b
--- /dev/null
+++ b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/NotInstruction.java
@@ -0,0 +1,78 @@
+/*******************************************************************************
+ * 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.WriteGraph;
+import org.simantics.db.exception.DatabaseException;
+import org.simantics.mapping.IContextualModification;
+
+public class NotInstruction implements IInstruction {
+	IInstruction instruction;
+
+	public NotInstruction(IInstruction instruction) {
+		this.instruction = instruction;
+	}
+
+	@Override
+	public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException {
+		return instruction.deny(g, bindings);
+	}
+
+	@Override
+	public void collectVariables(TIntHashSet reads, TIntHashSet writes) {
+		instruction.collectVariables(reads, writes);		
+	}
+
+	@Override
+	public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException {
+		return instruction.claim(g, bindings);
+	}
+
+	@Override
+	public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException {
+		instruction.doDeny(g, bindings);		
+	}
+
+	@Override
+	public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException {
+		instruction.doClaim(g, bindings);		
+	}
+
+	@Override
+	public void mapVariables(TIntIntHashMap map) {
+		instruction.mapVariables(map);		
+	}
+
+	@Override
+	public Object next(ReadGraph g, Object[] bindings, Object continuation) {
+		return IInstruction.FAILURE;
+	}
+
+	@Override
+	public Object query(ReadGraph g, Object[] bindings) throws DatabaseException {
+		if(instruction.query(g, bindings)==IInstruction.FAILURE)
+			return null;
+		else
+			return IInstruction.FAILURE;
+	}
+
+	@Override
+	public void toString(StringBuilder b, int indent) {
+		b.append("not ");
+		instruction.toString(b, indent);		
+	}	
+	
+}