wyc.io

Class WhileyFilePrinter

java.lang.Object

wyc.io.WhileyFilePrinter

public class WhileyFilePrinter
extends Object

Responsible for "pretty printing" a Whiley File. This is useful for formatting Whiley Files. Also, it can be used to programatically generate Whiley Files.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
WhileyFilePrinter(OutputStream stream)

Method Summary

Modifier and Type	Method and Description
void	indent(int level)
void	print(Expr.AbstractFunctionOrMethod e)
void	print(Expr.AbstractInvoke e)
void	print(Expr.AbstractVariable v)
void	print(Expr.ArrayInitialiser e)
void	print(Expr.BinOp e)
void	print(Expr.Cast e)
void	print(Expr.Constant c)
void	print(Expr.ConstantAccess v)
void	print(Expr.Dereference e)
void	print(Expr.FieldAccess e)
void	print(Expr.IndexOf e)
void	print(Expr.IndirectFunctionCall e)
void	print(Expr.IndirectMethodCall e)
void	print(Expr.Lambda e)
void	print(Expr.New e)
void	print(Expr.Quantifier e)
void	print(Expr.Record e)
void	print(Expr.TypeVal e)
void	print(Expr.UnOp e)
void	print(Expr expression)
void	print(List<Modifier> modifiers)
void	print(List<Stmt> statements, int indent)
void	print(Stmt.Assert s)
void	print(Stmt.Assign s)
void	print(Stmt.Assume s)
void	print(Stmt.Break s)
void	print(Stmt.Continue s)
void	print(Stmt.Debug s)
void	print(Stmt.DoWhile s, int indent)
void	print(Stmt.IfElse s, int indent)
void	print(Stmt.NamedBlock s, int indent)
void	print(Stmt.Return s)
void	print(Stmt.Skip s)
void	print(Stmt.Switch s, int indent)
void	print(Stmt.VariableDeclaration s, int indent)
void	print(Stmt.While s, int indent)
void	print(Stmt stmt, int indent)
void	print(WhileyFile.Constant decl)
void	print(WhileyFile.Declaration decl)
void	print(WhileyFile.FunctionOrMethodOrProperty fm)
void	print(WhileyFile.Import decl)
void	print(WhileyFile.Type decl)
void	print(WhileyFile wf)
void	print(wyal.lang.WyalFile.Type t)
void	printWithBrackets(Expr expression, Class<? extends Expr>... matches)

Methods inherited from class java.lang.Object

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

Constructor Detail

WhileyFilePrinter

public WhileyFilePrinter(OutputStream stream)

Method Detail

print

public void print(WhileyFile wf)

print

public void print(WhileyFile.Declaration decl)

print

public void print(WhileyFile.FunctionOrMethodOrProperty fm)

print

public void print(WhileyFile.Import decl)

print

public void print(WhileyFile.Constant decl)

print

public void print(WhileyFile.Type decl)

print

public void print(List<Stmt> statements,
                  int indent)

print

public void print(Stmt stmt,
                  int indent)

print

public void print(Stmt.Assert s)

print

public void print(Stmt.Assume s)

print

public void print(Stmt.Debug s)

print

public void print(Stmt.Break s)

print

public void print(Stmt.Continue s)

print

public void print(Stmt.Skip s)

print

public void print(Stmt.Return s)

print

public void print(Stmt.Assign s)

print

public void print(Stmt.IfElse s,
                  int indent)

print

public void print(Stmt.DoWhile s,
                  int indent)

print

public void print(Stmt.NamedBlock s,
                  int indent)

print

public void print(Stmt.While s,
                  int indent)

print

public void print(Stmt.Switch s,
                  int indent)

print

public void print(Stmt.VariableDeclaration s,
                  int indent)

printWithBrackets

public void printWithBrackets(Expr expression,
                              Class<? extends Expr>... matches)

print

public void print(Expr expression)

print

public void print(Expr.Constant c)

print

public void print(Expr.AbstractVariable v)

print

public void print(Expr.ConstantAccess v)

print

public void print(Expr.ArrayInitialiser e)

print

public void print(Expr.BinOp e)

print

public void print(Expr.Dereference e)

print

public void print(Expr.Cast e)

print

public void print(Expr.IndexOf e)

print

public void print(Expr.UnOp e)

print

public void print(Expr.AbstractInvoke e)

print

public void print(Expr.IndirectFunctionCall e)

print

public void print(Expr.IndirectMethodCall e)

print

public void print(Expr.Quantifier e)

print

public void print(Expr.FieldAccess e)

print

public void print(Expr.Record e)

print

public void print(Expr.AbstractFunctionOrMethod e)

print

public void print(Expr.Lambda e)

print

public void print(Expr.New e)

print

public void print(Expr.TypeVal e)

print

public void print(List<Modifier> modifiers)

print

public void print(wyal.lang.WyalFile.Type t)

indent

public void indent(int level)