1 /*******************************************************************************
2 * Copyright (c) 2007, 2010 Association for Decentralized Information Management
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
10 * VTT Technical Research Centre of Finland - initial API and implementation
11 *******************************************************************************/
12 package org.simantics.mapping.constraint.instructions;
14 import org.simantics.db.ReadGraph;
15 import org.simantics.db.Resource;
16 import org.simantics.db.WriteGraph;
17 import org.simantics.db.common.utils.NameUtils;
18 import org.simantics.db.exception.DatabaseException;
19 import org.simantics.layer0.utils.predicates.IUnaryPredicate;
20 import org.simantics.layer0.utils.predicates.Type;
21 import org.simantics.mapping.IContextualModification;
23 public class UnaryPredicateInstruction extends Instruction1 {
25 IUnaryPredicate predicate;
27 public UnaryPredicateInstruction(int variable0, IUnaryPredicate predicate) {
29 this.predicate = predicate;
33 public Object query(ReadGraph g, Object[] bindings) throws DatabaseException {
34 // ITask task = ThreadLogger.getInstance().begin("g");
35 if(predicate.has(g, (Resource)bindings[variable0])) {
41 return IInstruction.FAILURE;
46 public Object next(ReadGraph g, Object[] bindings, Object continuation) {
47 return IInstruction.FAILURE;
51 public IContextualModification claim(ReadGraph g, Object[] bindings) throws DatabaseException {
52 Resource r = (Resource)bindings[variable0];
53 // ITask task = ThreadLogger.getInstance().begin("g");
54 if(!predicate.has(g, r)) {
56 return new IContextualModification() {
59 public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {
60 // ITask task = ThreadLogger.getInstance().begin("g");
62 System.out.println("claim(" + predicate + ", " +
63 NameUtils.getSafeName(g, (Resource)bindings[variable0]));
65 predicate.add(g, (Resource)bindings[variable0]);
76 public void doClaim(WriteGraph g, Object[] bindings) throws DatabaseException {
77 Resource r0 = (Resource)bindings[variable0];
78 // ITask task = ThreadLogger.getInstance().begin("g");
80 String predicateName = predicate.toString();
81 if(predicate instanceof Type)
82 predicateName = ":: " + NameUtils.getSafeName(g, ((Type)predicate).getType());
83 System.out.println("@ claimUnary(" + NameUtils.getSafeName(g, r0) + ", " + predicateName + ")");
86 System.out.println("claim(" + predicate + ", " +
87 NameUtils.getSafeName(g, (Resource)bindings[variable0]));
94 public IContextualModification deny(ReadGraph g, Object[] bindings) throws DatabaseException {
95 Resource r = (Resource)bindings[variable0];
96 if(predicate.has(g, r))
97 return new IContextualModification() {
100 public void perform(WriteGraph g, Object[] bindings) throws DatabaseException {
102 System.out.println("deny(" + predicate + ", " +
103 NameUtils.getSafeName(g, (Resource)bindings[variable0]));
105 predicate.remove(g, (Resource)bindings[variable0]);
113 public void doDeny(WriteGraph g, Object[] bindings) throws DatabaseException {
114 Resource r0 = (Resource)bindings[variable0];
115 if(predicate.has(g, r0)) {
117 System.out.println("deny(" + predicate + ", " +
118 NameUtils.getSafeName(g, (Resource)bindings[variable0]));
120 predicate.remove(g, r0);
125 public void toString(StringBuilder b, int indent) {