bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/UnaryPredicateConstraint.java

   1 /*******************************************************************************
   2  * Copyright (c) 2007, 2010 Association for Decentralized Information Management
   3  * in Industry THTH ry.
   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
   8  *
   9  * Contributors:
  10  *     VTT Technical Research Centre of Finland - initial API and implementation
  11  *******************************************************************************/
  12 package org.simantics.mapping.constraint;
  13
  14 import gnu.trove.map.hash.TObjectIntHashMap;
  15
  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;
  21
  22 public class UnaryPredicateConstraint implements IConstraint {
  23
  24         Resource variable0;
  25         IUnaryPredicate predicate;
  26
  27         public UnaryPredicateConstraint(IUnaryPredicate predicate, Resource variable0) {
  28                 this.predicate = predicate;
  29                 this.variable0 = variable0;
  30         }
  31
  32         @Override
  33         public ImmutableSet<Resource> binds() {
  34                 return ImmutableSet.of(variable0);
  35         }
  36
  37         @Override
  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);
  44         }
  45
  46         @Override
  47         public int isApplicable(ImmutableSet<Resource> bound) {
  48                 return bound.contains(variable0) ? Integer.MAX_VALUE : 0;
  49         }
  50
  51 }