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.instructions;
\r
14 import gnu.trove.map.hash.TIntIntHashMap;
\r
15 import gnu.trove.set.hash.TIntHashSet;
\r
17 import org.simantics.db.ReadGraph;
\r
18 import org.simantics.db.WriteGraph;
\r
19 import org.simantics.mapping.IContextualModification;
\r
21 public class PrintStateInstruction implements IInstruction {
\r
24 public PrintStateInstruction(String position) {
\r
25 this.position = position;
\r
28 private void print(ReadGraph g, Object[] bindings) {
\r
29 System.out.print(position + ": ");
\r
30 boolean first = true;
\r
31 for(Object obj : bindings) {
\r
35 System.out.print(", ");
\r
36 System.out.print(obj);
\r
38 System.out.println();
\r
42 public Object query(ReadGraph g, Object[] bindings) {
\r
48 public Object next(ReadGraph g, Object[] bindings, Object continuation) {
\r
49 return IInstruction.FAILURE;
\r
53 public IContextualModification claim(ReadGraph g, Object[] bindings) {
\r
59 public IContextualModification deny(ReadGraph g, Object[] bindings) {
\r
65 public void doClaim(WriteGraph g, Object[] bindings) {
\r
70 public void doDeny(WriteGraph g, Object[] bindings) {
\r
75 public void collectVariables(TIntHashSet reads, TIntHashSet writes) {
\r
76 /* Because this instruction is for debugging, it doesn't affect
\r
77 to the set of read variables. */
\r
81 public void mapVariables(TIntIntHashMap map) {
\r
85 public void toString(StringBuilder b, int indent) {
\r