utils
Class PrettyPrint

java.lang.Object
  |
  +--utils.PrettyPrint

public class PrettyPrint
extends java.lang.Object


Field Summary
static int NORM_COLUMN
           
static int NORM_TAB
           
 
Constructor Summary
PrettyPrint()
           
PrettyPrint(int i, int j)
           
PrettyPrint(int i, int j, boolean _steps_long)
           
 
Method Summary
 void output(Action action)
           
 void output(ActionQualifier aqf)
           
 void output(Assign assign)
           
 void output(B_expr bexpr)
           
 void output(Constval constval)
           
 void output(Declaration dec)
           
 void output(Expr expr)
           
 void output(SFC sfc)
           
 void output(Skip skip)
           
 void output(Step step)
           
 void output(StepAction stepaction)
           
 void output(Stmt stmt)
           
 void output(Transition transition)
           
 void output(U_expr uexpr)
           
 void output(Variable variable)
           
 void print(Absynt absynt)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NORM_COLUMN

public static final int NORM_COLUMN

NORM_TAB

public static final int NORM_TAB
Constructor Detail

PrettyPrint

public PrettyPrint(int i,
                   int j)

PrettyPrint

public PrettyPrint(int i,
                   int j,
                   boolean _steps_long)

PrettyPrint

public PrettyPrint()
Method Detail

print

public void print(Absynt absynt)

output

public void output(SFC sfc)

output

public void output(Transition transition)

output

public void output(Action action)

output

public void output(StepAction stepaction)

output

public void output(ActionQualifier aqf)

output

public void output(Step step)

output

public void output(Declaration dec)

output

public void output(Skip skip)

output

public void output(Stmt stmt)

output

public void output(Variable variable)

output

public void output(Assign assign)

output

public void output(B_expr bexpr)

output

public void output(Expr expr)

output

public void output(U_expr uexpr)

output

public void output(Constval constval)