trace.visualizers
Class Writer

java.lang.Object
  extended by trace.visualizers.Writer

public class Writer
extends Object


Since:
14/12/10
Author:
Charles Prud'homme

Field Summary
static String _1
           
static String _2
           
static String _3
           
static String _S
           
 
Constructor Summary
Writer()
           
 
Method Summary
protected  Writer argumentIn(String idx, int pf)
           
protected  Writer argumentOut(int pf)
           
protected  Writer array(int[] values, int pf)
           
protected  Writer arrayDvar(IntDomainVar[] vars, int pf)
           
protected  Writer arrayDvar(SetVar[] vars, int pf)
           
protected  Writer arrayDvar(Var[] vars, int pf)
           
protected  Writer collectionIn(String idx, int pf)
           
protected  Writer collectionOut(int pf)
           
protected  void fail(String idx, String group, int value)
           
protected  void focus(String idx, String group)
           
protected  void focus(String idx, String group, String type)
           
protected  Writer integer(int value, String idx, int pf)
           
protected  Writer ivar(IntDomainVar ivar, String idx, int pf)
           
protected  String prefix(int nb)
           
protected  Writer svar(SetVar svar, String idx, int pf)
           
protected  Writer tupleIn(String idx, int pf)
           
protected  Writer tupleOut(int pf)
           
protected  Writer var(Var var, String idx, int pf)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

_1

public static final String _1
See Also:
Constant Field Values

_2

public static final String _2
See Also:
Constant Field Values

_3

public static final String _3
See Also:
Constant Field Values

_S

public static final String _S
See Also:
Constant Field Values
Constructor Detail

Writer

public Writer()
Method Detail

var

protected Writer var(Var var,
                     String idx,
                     int pf)

ivar

protected Writer ivar(IntDomainVar ivar,
                      String idx,
                      int pf)

integer

protected Writer integer(int value,
                         String idx,
                         int pf)

svar

protected Writer svar(SetVar svar,
                      String idx,
                      int pf)

arrayDvar

protected Writer arrayDvar(Var[] vars,
                           int pf)

arrayDvar

protected Writer arrayDvar(IntDomainVar[] vars,
                           int pf)

arrayDvar

protected Writer arrayDvar(SetVar[] vars,
                           int pf)

array

protected Writer array(int[] values,
                       int pf)

argumentIn

protected Writer argumentIn(String idx,
                            int pf)

argumentOut

protected Writer argumentOut(int pf)

tupleIn

protected Writer tupleIn(String idx,
                         int pf)

tupleOut

protected Writer tupleOut(int pf)

collectionIn

protected Writer collectionIn(String idx,
                              int pf)

collectionOut

protected Writer collectionOut(int pf)

focus

protected void focus(String idx,
                     String group,
                     String type)

focus

protected void focus(String idx,
                     String group)

fail

protected void fail(String idx,
                    String group,
                    int value)

prefix

protected String prefix(int nb)


Copyright © 2012. All Rights Reserved.