]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.mapping/src/org/simantics/mapping/constraint/ExistsConstraint.java
(refs #7250) Error messages for undefined existentials
[simantics/platform.git] / bundles / org.simantics.mapping / src / org / simantics / mapping / constraint / ExistsConstraint.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 java.util.Arrays;
17
18 import org.simantics.db.Resource;
19 import org.simantics.mapping.constraint.instructions.IInstruction;
20 import org.simantics.utils.datastructures.persistent.ImmutableSet;
21
22 public class ExistsConstraint implements IConstraint {
23
24         IConstraint constraint;
25         Resource[] variables;
26         
27         public ExistsConstraint(IConstraint constraint, Resource[] variables) {
28                 this.constraint = constraint;
29                 this.variables = Arrays.copyOf(variables, variables.length);
30         }
31
32         @Override
33         public ImmutableSet<Resource> binds() {
34                 return constraint.binds();
35         }
36
37         @Override
38         public IInstruction createInstruction(
39                         TObjectIntHashMap<Resource> variableIds,
40                         ImmutableSet<Resource> bound)
41                         throws TooManyUnboundVariablesException {
42                 // TODO Auto-generated method stub
43                 return null;
44         }
45
46         @Override
47         public int isApplicable(ImmutableSet<Resource> bound) {
48                 // TODO Auto-generated method stub
49                 return 0;
50         }
51         
52 }