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)