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

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