X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.mapping%2Fsrc%2Forg%2Fsimantics%2Fmapping%2Fconstraint%2Finstructions%2FBinaryPredicateInstruction.java;h=e0d3cdec325261449a82bf96fc81e7018eb93db7;hb=3040e3c36d03bc19749dc221c37008a062621c25;hp=06994859ce25eec1c3a8403b9d2828378430e5b9;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/BinaryPredicateInstruction.java b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/BinaryPredicateInstruction.java index 06994859c..e0d3cdec3 100644 --- a/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/BinaryPredicateInstruction.java +++ b/bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/instructions/BinaryPredicateInstruction.java @@ -1,145 +1,145 @@ -/******************************************************************************* - * 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 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.layer0.utils.binaryPredicates.IBinaryPredicate; -import org.simantics.mapping.IContextualModification; - -public class BinaryPredicateInstruction extends Instruction2 { - - IBinaryPredicate predicate; - - public BinaryPredicateInstruction(int variable0, int variable1, - IBinaryPredicate predicate) { - super(variable0, variable1); - this.predicate = predicate; - } - - @Override - public Object query(ReadGraph g, Object[] bindings) throws DatabaseException { -// ITask task = ThreadLogger.getInstance().begin("g"); - if(predicate.has(g, (Resource)bindings[variable0], (Resource)bindings[variable1])) { -// task.finish(); - return null; - } - else { -// task.finish(); - return IInstruction.FAILURE; - } - } - - @Override - public Object next(ReadGraph g, Object[] bindings, Object continuation) { - return IInstruction.FAILURE; - } - - @Override - public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; -// ITask task = ThreadLogger.getInstance().begin("g"); - if(!predicate.has(g, r0, r1)) { -// task.finish(); - return new IContextualModification() { - - @Override - public void perform(WriteGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; - if(DEBUG_MODI) - System.out.println("claim(" + - NameUtils.getSafeName(g, r0) + ", " + - predicate.toString(g) + ", " + - NameUtils.getSafeName(g, r1) + ")" - ); - if(!DISABLE_MODI) - predicate.add(g, r0, r1); - } - - }; - } -// task.finish(); - return null; - } - - @Override - public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; -// ITask task = ThreadLogger.getInstance().begin("g"); - if(DEBUG) - System.out.println("@ claim(" + NameUtils.getSafeName(g, r0) + - ", " + predicate.toString(g) + ", " + NameUtils.getSafeName(g, r1) + ")"); - if(DEBUG_MODI) - System.out.println("claim(" + - NameUtils.getSafeName(g, r0) + ", " + - predicate.toString(g) + ", " + - NameUtils.getSafeName(g, r1) + ")" - ); - if(!DISABLE_MODI) - predicate.add(g, r0, r1); -// task.finish(); - } - - @Override - public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; - if(predicate.has(g, r0, r1)) - return new IContextualModification() { - - @Override - public void perform(WriteGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; - if(DEBUG_MODI) - System.out.println("deny(" + - NameUtils.getSafeName(g, r0) + ", " + - predicate.toString(g) + ", " + - NameUtils.getSafeName(g, r1) + ")" - ); - if(!DISABLE_MODI) - predicate.remove(g, r0, r1); - } - - }; - return null; - } - - @Override - public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException { - Resource r0 = (Resource)bindings[variable0]; - Resource r1 = (Resource)bindings[variable1]; - if(DEBUG_MODI) - System.out.println("deny(" + - NameUtils.getSafeName(g, r0) + ", " + - predicate.toString(g) + ", " + - NameUtils.getSafeName(g, r1) + ")" - ); - if(!DISABLE_MODI) - predicate.remove(g, r0, r1); - } - - @Override - public void toString(StringBuilder b, int indent) { - b.append('('); - b.append(variable0); - b.append(','); - b.append(variable1); - b.append(')'); - } -} +/******************************************************************************* + * 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 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.layer0.utils.binaryPredicates.IBinaryPredicate; +import org.simantics.mapping.IContextualModification; + +public class BinaryPredicateInstruction extends Instruction2 { + + IBinaryPredicate predicate; + + public BinaryPredicateInstruction(int variable0, int variable1, + IBinaryPredicate predicate) { + super(variable0, variable1); + this.predicate = predicate; + } + + @Override + public Object query(ReadGraph g, Object[] bindings) throws DatabaseException { +// ITask task = ThreadLogger.getInstance().begin("g"); + if(predicate.has(g, (Resource)bindings[variable0], (Resource)bindings[variable1])) { +// task.finish(); + return null; + } + else { +// task.finish(); + return IInstruction.FAILURE; + } + } + + @Override + public Object next(ReadGraph g, Object[] bindings, Object continuation) { + return IInstruction.FAILURE; + } + + @Override + public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; +// ITask task = ThreadLogger.getInstance().begin("g"); + if(!predicate.has(g, r0, r1)) { +// task.finish(); + return new IContextualModification() { + + @Override + public void perform(WriteGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; + if(DEBUG_MODI) + System.out.println("claim(" + + NameUtils.getSafeName(g, r0) + ", " + + predicate.toString(g) + ", " + + NameUtils.getSafeName(g, r1) + ")" + ); + if(!DISABLE_MODI) + predicate.add(g, r0, r1); + } + + }; + } +// task.finish(); + return null; + } + + @Override + public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; +// ITask task = ThreadLogger.getInstance().begin("g"); + if(DEBUG) + System.out.println("@ claim(" + NameUtils.getSafeName(g, r0) + + ", " + predicate.toString(g) + ", " + NameUtils.getSafeName(g, r1) + ")"); + if(DEBUG_MODI) + System.out.println("claim(" + + NameUtils.getSafeName(g, r0) + ", " + + predicate.toString(g) + ", " + + NameUtils.getSafeName(g, r1) + ")" + ); + if(!DISABLE_MODI) + predicate.add(g, r0, r1); +// task.finish(); + } + + @Override + public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; + if(predicate.has(g, r0, r1)) + return new IContextualModification() { + + @Override + public void perform(WriteGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; + if(DEBUG_MODI) + System.out.println("deny(" + + NameUtils.getSafeName(g, r0) + ", " + + predicate.toString(g) + ", " + + NameUtils.getSafeName(g, r1) + ")" + ); + if(!DISABLE_MODI) + predicate.remove(g, r0, r1); + } + + }; + return null; + } + + @Override + public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException { + Resource r0 = (Resource)bindings[variable0]; + Resource r1 = (Resource)bindings[variable1]; + if(DEBUG_MODI) + System.out.println("deny(" + + NameUtils.getSafeName(g, r0) + ", " + + predicate.toString(g) + ", " + + NameUtils.getSafeName(g, r1) + ")" + ); + if(!DISABLE_MODI) + predicate.remove(g, r0, r1); + } + + @Override + public void toString(StringBuilder b, int indent) { + b.append('('); + b.append(variable0); + b.append(','); + b.append(variable1); + b.append(')'); + } +}