bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/TripletConstraint.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.IInstruction;\r
  18 import org.simantics.mapping.constraint.instructions.TripletInstruction;\r
  19 import org.simantics.mapping.constraint.instructions.TripletObjectQuery;\r
  20 import org.simantics.mapping.constraint.instructions.TripletPredicateObjectQuery;\r
  21 import org.simantics.mapping.constraint.instructions.TripletPredicateQuery;\r
  22 import org.simantics.utils.datastructures.persistent.ImmutableSet;\r
  23 \r
  24 public class TripletConstraint implements IConstraint {\r
  25 \r
  26         Resource variable0;\r
  27         Resource variable1;\r
  28         Resource variable2;\r
  29         Resource predicate;             \r
  30 \r
  31         public TripletConstraint(Resource variable0, Resource variable1,\r
  32                         Resource variable2, Resource predicate) {               \r
  33                 this.variable0 = variable0;\r
  34                 this.variable1 = variable1;\r
  35                 this.variable2 = variable2;\r
  36                 this.predicate = predicate;\r
  37         }\r
  38         \r
  39         public TripletConstraint(Resource variable0, Resource variable1,\r
  40                         Resource variable2) {\r
  41                 this(variable0, variable1, variable2, null);\r
  42         }\r
  43 \r
  44         @Override\r
  45         public ImmutableSet<Resource> binds() {\r
  46                 return ImmutableSet.of(variable0, variable1, variable2);\r
  47         }\r
  48 \r
  49         @Override\r
  50         public IInstruction createInstruction(\r
  51                         TObjectIntHashMap<Resource> variableIds,\r
  52                         ImmutableSet<Resource> bound) throws TooManyUnboundVariablesException {\r
  53                 int id0 = variableIds.get(variable0);\r
  54                 int id1 = variableIds.get(variable1);\r
  55                 int id2 = variableIds.get(variable2);\r
  56                 if(bound.contains(variable0)) {\r
  57                         if(bound.contains(variable1)) {\r
  58                                 if(bound.contains(variable2))\r
  59                                         return new TripletInstruction(id0, id1, id2);\r
  60                                 else\r
  61                                         return new TripletObjectQuery(id0, id1, id2);\r
  62                         }\r
  63                         else {\r
  64                                 if(bound.contains(variable2))\r
  65                                         return new TripletPredicateQuery(id0, id1, id2, predicate);\r
  66                                 else\r
  67                                         return new TripletPredicateObjectQuery(id0, id1, id2, predicate);\r
  68                         }               \r
  69                 }\r
  70                 else {\r
  71                         throw new TooManyUnboundVariablesException();                   \r
  72                 }\r
  73         }\r
  74 \r
  75         @Override\r
  76         public int isApplicable(ImmutableSet<Resource> bound) {\r
  77                 if(bound.contains(variable0))\r
  78                         return Integer.MAX_VALUE;\r
  79                 else\r
  80                         return 0;\r
  81         }\r
  82 \r
  83 }\r