bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/ConstraintConjunction.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.mapping.constraint.instructions.AndInstruction;\r
  18 import org.simantics.mapping.constraint.instructions.IInstruction;\r
  19 import org.simantics.utils.datastructures.persistent.ImmutableSet;\r
  20 \r
  21 public class ConstraintConjunction implements IConstraint {\r
  22 \r
  23         IConstraint[] constraints;\r
  24         \r
  25         public ConstraintConjunction(IConstraint... constraints) {\r
  26                 this.constraints = constraints;\r
  27         }\r
  28 \r
  29         @Override\r
  30         public ImmutableSet<Resource> binds() {\r
  31                 ImmutableSet<Resource> ret = ImmutableSet.empty();\r
  32                 for(IConstraint c : constraints)\r
  33                         ret = ret.addAll(c.binds());\r
  34                 return ret;\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                 IInstruction[] instructions = new IInstruction[constraints.length];\r
  42                 for(int i=0;i<constraints.length;++i) {\r
  43                         instructions[i] = constraints[i].createInstruction(variableIds, bound);\r
  44                         bound = bound.addAll(constraints[i].binds());\r
  45                 }\r
  46                 return new AndInstruction(instructions);\r
  47         }\r
  48 \r
  49         @Override\r
  50         public int isApplicable(ImmutableSet<Resource> bound) {\r
  51                 int ret = Integer.MAX_VALUE;\r
  52                 for(int i=0;i<constraints.length;++i) {\r
  53                         int temp = constraints[i].isApplicable(bound);\r
  54                         if(temp < ret) {\r
  55                                 if(temp == 0)\r
  56                                         return 0;\r
  57                                 ret = temp;                             \r
  58                         }\r
  59                         bound = bound.addAll(constraints[i].binds());\r
  60                 }\r
  61                 return ret;\r
  62         }\r
  63 \r
  64         \r
  65         \r
  66 }\r