edu.rice.cs.mint.comp
Class MSPTreeCodeSerializer.MSPTreeCodeWriter

java.lang.Object
  java.io.Writer
      edu.rice.cs.mint.comp.MSPTreeCodeSerializer.MSPTreeCodeWriter

All Implemented Interfaces:

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

Enclosing class:

MSPTreeCodeSerializer

static class MSPTreeCodeSerializer.MSPTreeCodeWriter
extends java.io.Writer

Field Summary

(package private) java.lang.StringBuilder	currentString
(package private) java.util.ArrayList<MSPTreeCodeSerializer.Elem>	elems

Fields inherited from class java.io.Writer

lock

Constructor Summary

MSPTreeCodeSerializer.MSPTreeCodeWriter()

Method Summary

void	close()
void	flush()
java.util.List<MSPTreeCodeSerializer.Elem>	getElems()
void	write(char[] cbuf, int off, int len)
void	writeCsp(JCTree.JCIdent ident)
void	writeEscape(JCTree.JCExpression tree)
void	writeStringSym(Symbol.VarSymbol sym)

Methods inherited from class java.io.Writer

append, append, append, write, write, write, write

Methods inherited from class java.lang.Object

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

Field Detail

elems

java.util.ArrayList<MSPTreeCodeSerializer.Elem> elems

currentString

java.lang.StringBuilder currentString

Constructor Detail

MSPTreeCodeSerializer.MSPTreeCodeWriter

MSPTreeCodeSerializer.MSPTreeCodeWriter()

Method Detail

write

public void write(char[] cbuf,
                  int off,
                  int len)

Specified by:

write in class java.io.Writer

writeEscape

public void writeEscape(JCTree.JCExpression tree)

writeCsp

public void writeCsp(JCTree.JCIdent ident)

writeStringSym

public void writeStringSym(Symbol.VarSymbol sym)

flush

public void flush()

Specified by:

flush in interface java.io.Flushable

Specified by:

flush in class java.io.Writer

close

public void close()

Specified by:

close in interface java.io.Closeable

Specified by:

close in class java.io.Writer

getElems

public java.util.List<MSPTreeCodeSerializer.Elem> getElems()