--- /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;\r
+\r
+import gnu.trove.map.hash.TObjectIntHashMap;\r
+\r
+import org.simantics.db.Resource;\r
+import org.simantics.layer0.utils.predicates.IUnaryPredicate;\r
+import org.simantics.mapping.constraint.instructions.IInstruction;\r
+import org.simantics.mapping.constraint.instructions.UnaryPredicateInstruction;\r
+import org.simantics.utils.datastructures.persistent.ImmutableSet;\r
+\r
+public class UnaryPredicateConstraint implements IConstraint {\r
+\r
+ Resource variable0;\r
+ IUnaryPredicate predicate; \r
+ \r
+ public UnaryPredicateConstraint(IUnaryPredicate predicate, Resource variable0) {\r
+ this.predicate = predicate;\r
+ this.variable0 = variable0;\r
+ }\r
+\r
+ @Override\r
+ public ImmutableSet<Resource> binds() {\r
+ return ImmutableSet.of(variable0);\r
+ }\r
+\r
+ @Override\r
+ public IInstruction createInstruction(\r
+ TObjectIntHashMap<Resource> variableIds,\r
+ ImmutableSet<Resource> bound) throws TooManyUnboundVariablesException {\r
+ if(!bound.contains(variable0))\r
+ throw new TooManyUnboundVariablesException();\r
+ return new UnaryPredicateInstruction(variableIds.get(variable0), predicate);\r
+ }\r
+\r
+ @Override\r
+ public int isApplicable(ImmutableSet<Resource> bound) {\r
+ return bound.contains(variable0) ? Integer.MAX_VALUE : 0;\r
+ }\r
+\r
+}\r