edu.uiowa.cs.clc.kind2.lustre

Class PrettyPrintVisitor

java.lang.Object

edu.uiowa.cs.clc.kind2.lustre.PrettyPrintVisitor

public class PrettyPrintVisitor
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PrettyPrintVisitor()

Method Summary

Modifier and Type	Method and Description
void	ast(edu.uiowa.cs.clc.kind2.lustre.Ast a)
java.lang.String	toString()
void	visit(edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ArrayExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Assume assumption)
void	visit(edu.uiowa.cs.clc.kind2.lustre.BinaryExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.BoolExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.CastExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Component component)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ComponentCallExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.CondactExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Constant constant)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Contract contract)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ContractBody contractBody)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ContractImport contractImport)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Ensure ensure)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Equation equation)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Guarantee guarantee)
void	visit(IdExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.IfThenElseExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ImportedComponent importedComponent)
void	visit(edu.uiowa.cs.clc.kind2.lustre.IntExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ListExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Mode mode)
void	visit(edu.uiowa.cs.clc.kind2.lustre.ModeRefExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Parameter param)
void	visit(Program program)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Property property)
void	visit(edu.uiowa.cs.clc.kind2.lustre.RealExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.RecordAccessExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.RecordExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.Require require)
void	visit(edu.uiowa.cs.clc.kind2.lustre.TupleExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.TypeDef typeDef)
void	visit(edu.uiowa.cs.clc.kind2.lustre.UnaryExpr e)
void	visit(edu.uiowa.cs.clc.kind2.lustre.VarDecl varDecl)
void	visit(edu.uiowa.cs.clc.kind2.lustre.VarDef varDef)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PrettyPrintVisitor

public PrettyPrintVisitor()

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

ast

public void ast(edu.uiowa.cs.clc.kind2.lustre.Ast a)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Parameter param)

visit

public void visit(Program program)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Property property)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.TypeDef typeDef)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Constant constant)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Contract contract)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ContractBody contractBody)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ContractImport contractImport)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ImportedComponent importedComponent)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Component component)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.VarDecl varDecl)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Equation equation)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ArrayAccessExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ArrayExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Assume assumption)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.BinaryExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.BoolExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.CastExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.CondactExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Guarantee guarantee)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Require require)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Ensure ensure)

visit

public void visit(IdExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.IfThenElseExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.IntExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ListExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.Mode mode)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ModeRefExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.ComponentCallExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.RealExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.RecordAccessExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.RecordExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.TupleExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.UnaryExpr e)

visit

public void visit(edu.uiowa.cs.clc.kind2.lustre.VarDef varDef)