exc.block

Class BlockPrintWriter

java.lang.Object

java.io.Writer

java.io.PrintWriter

exc.object.XobjectPrintWriter

exc.block.BlockPrintWriter

All Implemented Interfaces:

BasicBlockVisitor, java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

public class BlockPrintWriter
extends XobjectPrintWriter
implements BasicBlockVisitor

Field Summary

Fields inherited from class java.io.PrintWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

Constructors

Constructor and Description
BlockPrintWriter(java.io.OutputStream out)
BlockPrintWriter(java.io.Writer out)

Method Summary

Modifier and Type	Method and Description
void	print(Block b)
void	print(BlockList body)
void	visit(BasicBlock bb)
void	visit(Block b)
void	visit(BlockList b_list)

Methods inherited from class exc.object.XobjectPrintWriter

print, printBool, printDefs, printIdentList, printInt, printObject, printObjectNoIndent, printType

Methods inherited from class java.io.PrintWriter

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, println, println, println, setError, write, write, write, write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

BlockPrintWriter

public BlockPrintWriter(java.io.OutputStream out)

BlockPrintWriter

public BlockPrintWriter(java.io.Writer out)

Method Detail

print

public void print(Block b)

print

public void print(BlockList body)

visit

public void visit(BasicBlock bb)

Specified by:

visit in interface BasicBlockVisitor

visit

public void visit(BlockList b_list)

Specified by:

visit in interface BasicBlockVisitor

visit

public void visit(Block b)

Specified by:

visit in interface BasicBlockVisitor