wyal.io

Class WyalFilePrinter

java.lang.Object

wyal.io.WyalFilePrinter

public class WyalFilePrinter
extends Object

Constructor Summary

Constructors

Constructor and Description
WyalFilePrinter(OutputStream writer)
WyalFilePrinter(PrintWriter writer)
WyalFilePrinter(Writer writer)

Method Summary

Modifier and Type	Method and Description
void	flush()
void	write(WyalFile wf)
void	write(WyalFile wf, WyalFile.Declaration.Assert s)
void	write(WyalFile wf, WyalFile.Declaration.Named.Function s)
void	write(WyalFile wf, WyalFile.Declaration.Named.Macro s)
void	write(WyalFile wf, WyalFile.Declaration.Named.Type s)
void	writeArguments(WyalFile.Expr[] exprs)
void	writeArrayAccess(WyalFile.Expr.Operator expr)
void	writeArrayGenerator(WyalFile.Expr.Operator expr)
void	writeArrayInitialiser(WyalFile.Expr.Operator expr)
void	writeArrayUpdate(WyalFile.Expr.Operator expr)
void	writeBlock(WyalFile.Stmt.Block block, int indent)
void	writeCast(WyalFile.Expr.Cast expr)
void	writeConstant(WyalFile.Expr.Constant expr)
void	writeExpression(WyalFile.Expr expr)
void	writeExpressionWithBrackets(WyalFile.Expr expr) Write an expression with brackets (if necessary).
void	writeFieldDeclaration(WyalFile.FieldDeclaration decl)
void	writeInfixOperator(WyalFile.Expr.Operator expr)
void	writeInvoke(WyalFile.Expr.Invoke expr)
void	writeIsOperator(WyalFile.Expr.Is expr)
void	writeRecordAccess(WyalFile.Expr.RecordAccess expr)
void	writeRecordInitialiser(WyalFile.Expr.RecordInitialiser expr)
void	writeRecordUpdate(WyalFile.Expr.RecordUpdate expr)
void	writeStatement(WyalFile.Stmt loc, int indent)
void	writeSyntacticItems(WyalFile wf)
void	writeType(WyalFile.Type type)
void	writeUnaryOperator(WyalFile.Expr.Operator expr)
void	writeVariableAccess(WyalFile.Expr.VariableAccess expr)
void	writeVariableDeclaration(WyalFile.VariableDeclaration decl)

Methods inherited from class java.lang.Object

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

Constructor Detail

WyalFilePrinter

public WyalFilePrinter(OutputStream writer)

WyalFilePrinter

public WyalFilePrinter(Writer writer)

WyalFilePrinter

public WyalFilePrinter(PrintWriter writer)

Method Detail

flush

public void flush()

write

public void write(WyalFile wf)

writeSyntacticItems

public void writeSyntacticItems(WyalFile wf)

write

public void write(WyalFile wf,
                  WyalFile.Declaration.Named.Function s)

write

public void write(WyalFile wf,
                  WyalFile.Declaration.Named.Macro s)

write

public void write(WyalFile wf,
                  WyalFile.Declaration.Named.Type s)

write

public void write(WyalFile wf,
                  WyalFile.Declaration.Assert s)

writeVariableDeclaration

public void writeVariableDeclaration(WyalFile.VariableDeclaration decl)

writeFieldDeclaration

public void writeFieldDeclaration(WyalFile.FieldDeclaration decl)

writeBlock

public void writeBlock(WyalFile.Stmt.Block block,
                       int indent)

writeStatement

public void writeStatement(WyalFile.Stmt loc,
                           int indent)

writeExpressionWithBrackets

public void writeExpressionWithBrackets(WyalFile.Expr expr)

Write an expression with brackets (if necessary). For some expressiones, brackets are never required.

Parameters:

expr -

writeExpression

public void writeExpression(WyalFile.Expr expr)

writeVariableAccess

public void writeVariableAccess(WyalFile.Expr.VariableAccess expr)

writeCast

public void writeCast(WyalFile.Expr.Cast expr)

writeConstant

public void writeConstant(WyalFile.Expr.Constant expr)

writeUnaryOperator

public void writeUnaryOperator(WyalFile.Expr.Operator expr)

writeInfixOperator

public void writeInfixOperator(WyalFile.Expr.Operator expr)

writeIsOperator

public void writeIsOperator(WyalFile.Expr.Is expr)

writeInvoke

public void writeInvoke(WyalFile.Expr.Invoke expr)

writeArrayGenerator

public void writeArrayGenerator(WyalFile.Expr.Operator expr)

writeArrayAccess

public void writeArrayAccess(WyalFile.Expr.Operator expr)

writeArrayInitialiser

public void writeArrayInitialiser(WyalFile.Expr.Operator expr)

writeArrayUpdate

public void writeArrayUpdate(WyalFile.Expr.Operator expr)

writeRecordUpdate

public void writeRecordUpdate(WyalFile.Expr.RecordUpdate expr)

writeRecordAccess

public void writeRecordAccess(WyalFile.Expr.RecordAccess expr)

writeRecordInitialiser

public void writeRecordInitialiser(WyalFile.Expr.RecordInitialiser expr)

writeArguments

public void writeArguments(WyalFile.Expr[] exprs)

writeType

public void writeType(WyalFile.Type type)