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
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.mapping.constraint;
\r
14 import gnu.trove.map.hash.TObjectIntHashMap;
\r
16 import java.util.Arrays;
\r
18 import org.simantics.db.Resource;
\r
19 import org.simantics.mapping.constraint.instructions.IInstruction;
\r
20 import org.simantics.utils.datastructures.persistent.ImmutableSet;
\r
22 public class ExistsConstraint implements IConstraint {
\r
24 IConstraint constraint;
\r
25 Resource[] variables;
\r
27 public ExistsConstraint(IConstraint constraint, Resource[] variables) {
\r
28 this.constraint = constraint;
\r
29 this.variables = Arrays.copyOf(variables, variables.length);
\r
33 public ImmutableSet<Resource> binds() {
\r
34 return constraint.binds();
\r
38 public IInstruction createInstruction(
\r
39 TObjectIntHashMap<Resource> variableIds,
\r
40 ImmutableSet<Resource> bound)
\r
41 throws TooManyUnboundVariablesException {
\r
42 // TODO Auto-generated method stub
\r
47 public int isApplicable(ImmutableSet<Resource> bound) {
\r
48 // TODO Auto-generated method stub
\r