1 /*******************************************************************************
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
4 * All rights reserved. This program and the accompanying materials
5 * are made available under the terms of the Eclipse Public License v1.0
6 * which accompanies this distribution, and is available at
7 * http://www.eclipse.org/legal/epl-v10.html
10 * VTT Technical Research Centre of Finland - initial API and implementation
11 *******************************************************************************/
12 package org.simantics.mapping.constraint;
14 import gnu.trove.map.hash.TObjectIntHashMap;
16 import org.simantics.db.Resource;
17 import org.simantics.layer0.utils.predicates.IUnaryPredicate;
18 import org.simantics.mapping.constraint.instructions.IInstruction;
19 import org.simantics.mapping.constraint.instructions.UnaryPredicateInstruction;
20 import org.simantics.utils.datastructures.persistent.ImmutableSet;
22 public class UnaryPredicateConstraint implements IConstraint {
25 IUnaryPredicate predicate;
27 public UnaryPredicateConstraint(IUnaryPredicate predicate, Resource variable0) {
28 this.predicate = predicate;
29 this.variable0 = variable0;
33 public ImmutableSet<Resource> binds() {
34 return ImmutableSet.of(variable0);
38 public IInstruction createInstruction(
39 TObjectIntHashMap<Resource> variableIds,
40 ImmutableSet<Resource> bound) throws TooManyUnboundVariablesException {
41 if(!bound.contains(variable0))
42 throw new TooManyUnboundVariablesException();
43 return new UnaryPredicateInstruction(variableIds.get(variable0), predicate);
47 public int isApplicable(ImmutableSet<Resource> bound) {
48 return bound.contains(variable0) ? Integer.MAX_VALUE : 0;