utils
Class PrettyPrint
java.lang.Object
|
+--utils.PrettyPrint
- public class PrettyPrint
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
NORM_COLUMN
public static final int NORM_COLUMN
NORM_TAB
public static final int NORM_TAB
PrettyPrint
public PrettyPrint(int i,
int j)
PrettyPrint
public PrettyPrint()
print
public void print(Absyn absyn)
output
public void output(Program program)
output
public void output(ChandecList chandeclist)
output
public void output(ProcessList processlist)
output
public void output(Chandec chandec)
output
public void output(Channel channel)
output
public void output(Process process)
output
public void output(VardecList vardeclist)
output
public void output(TransitionList transitionlist)
output
public void output(AstateList astatelist)
output
public void output(Vardec vardec)
output
public void output(Variable variable)
output
public void output(Constval constval)
output
public void output(Label label)
output
public void output(Action action)
output
public void output(Tau_action tau_action)
output
public void output(Input_action input_action)
output
public void output(Output_action output_action)
output
public void output(Assign_action assign_action)
output
public void output(B_expr bexpr)
output
public void output(U_expr uexpr)
output
public void output(Transition transition)
output
public void output(M_Chan mchan)
output
public void output(Astate astate)