PrettyPrinter (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.java.PrettyPrinter

Direct Known Subclasses:

CustomPrettyPrinter, ProgramPrinter
```
public class PrettyPrinter
extends java.lang.Object
```
A configurable pretty printer for Java source elements originally from COMPOST.

Author:

AL CHANGED FOR KeY. Comments are not printed!

Field Summary

Fields
Modifier and Type	Field and Description
`private static char[]`	`BLANKS`
`protected Type`	`classToPrint` Enforces the output of real Java syntax that can be compiled.
`private int`	`column` Column number.
`protected boolean`	`endAlreadyMarked`
`private static char[]`	`FEEDS`
`protected java.lang.Object`	`firstStatement`
`protected int`	`firstStatementEnd`
`protected int`	`firstStatementStart`
`private int`	`indentation` Indentation (cached).
`protected java.util.HashMap<SourceElement,Position>`	`indentMap`
`protected SVInstantiations`	`instantiations`
`private boolean`	`isPrintingSingleLineComments` Flag to indicate if a single line comment is being put out.
`private java.util.ArrayList<Range>`	`keywordRanges` Contains the java keyword ranges.
`private java.util.Stack<java.lang.Integer>`	`keywordStarts` Remembers the start of a keyword to create a range.
`protected int`	`level` Level.
`private int`	`line` Line number, not directly used.
`protected boolean`	`noLinefeed`
`protected boolean`	`noSemicolons`
`protected java.io.Writer`	`out`
`protected java.lang.StringBuffer`	`outBuf`
`private boolean`	`overwriteIndentation` Overwrite indentation flag (cached).
`private boolean`	`overwriteParsePositions` Overwrite parse positions flag (cached).
`protected boolean`	`startAlreadyMarked`
`protected int`	`writtenCharacters` The number of charcters that have been send to the writer

Constructor Summary

Constructors
Constructor and Description
`PrettyPrinter(java.io.Writer o)` creates a new PrettyPrinter
`PrettyPrinter(java.io.Writer o, boolean noLinefeed)`
`PrettyPrinter(java.io.Writer o, boolean noLinefeed, SVInstantiations svi)`
`PrettyPrinter(java.io.Writer o, SVInstantiations svi)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`changeLevel(int delta)` Change level.
`protected boolean`	`containsDefaultConstructor(ImmutableArray<MemberDeclaration> members)`
`private void`	`dumpComments()`
`protected static java.lang.String`	`encodeUnicodeChars(java.lang.String str)` Replace all unicode characters above ?
`int`	`getColumn()` Get current column number.
`protected int`	`getCurrentPos()` Numbers of generated characters
`protected int`	`getIndentation()` Get indentation amount (blanks per level).
`int`	`getIndentationLevel()` Get indentation level.
`Range[]`	`getKeywordRanges()`
`int`	`getLine()` Get current line number.
`Range`	`getRangeOfFirstExecutableStatement()`
`protected Position`	`getRelativePosition(SourceElement first)`
`int`	`getTotalIndentation()` Get total indentation.
`static java.lang.String`	`getTypeNameForAccessMethods(java.lang.String typeName)`
`protected boolean`	`isOverwritingIndentation()` Returns true if the pretty printer should also reformat existing code.
`protected boolean`	`isOverwritingParsePositions()` Returns true if the pretty printer should reset the parse positions accordingly.
`protected void`	`markEnd(int n, java.lang.Object stmt)` Marks the end of the first executable statement ...
`protected void`	`markKeywordEnd()` Marks the end of a java keyword and creates a keyword range.
`protected void`	`markKeywordStart()` Marks the start of a java keyword.
`protected void`	`markStart(int n, java.lang.Object stmt)` Marks the start of the first executable statement ...
`protected void`	`output()`
`void`	`printAllFields(AllFields x)`
`void`	`printAllObjects(AllObjects x)`
`void`	`printArrayDeclaration(ArrayDeclaration type)`
`void`	`printArrayInitializer(ArrayInitializer x)`
`void`	`printArrayLengthReference(ArrayLengthReference x)`
`void`	`printArrayReference(ArrayReference x)`
`void`	`printAssert(Assert x)`
`void`	`printBinaryAnd(BinaryAnd x)`
`void`	`printBinaryAndAssignment(BinaryAndAssignment x)`
`void`	`printBinaryNot(BinaryNot x)`
`void`	`printBinaryOr(BinaryOr x)`
`void`	`printBinaryOrAssignment(BinaryOrAssignment x)`
`void`	`printBinaryXOr(BinaryXOr x)`
`void`	`printBinaryXOrAssignment(BinaryXOrAssignment x)`
`void`	`printBooleanLiteral(BooleanLiteral x)`
`void`	`printBreak(Break x)`
`void`	`printCase(Case x)`
`void`	`printCatch(Catch x)`
`void`	`printCatchAllStatement(CatchAllStatement x)`
`void`	`printCharLiteral(CharLiteral x)`
`void`	`printClassDeclaration(ClassDeclaration x)`
`void`	`printClassInitializer(ClassInitializer x)`
`void`	`printComment(Comment x)`
`void`	`printCompilationUnit(CompilationUnit x)`
`void`	`printConditional(Conditional x)`
`void`	`printContextStatementBlock(ContextStatementBlock x)`
`void`	`printContinue(Continue x)`
`void`	`printCopyAssignment(CopyAssignment x)`
`void`	`printDefault(Default x)`
`void`	`printDivide(Divide x)`
`void`	`printDivideAssignment(DivideAssignment x)`
`void`	`printDLEmbeddedExpression(DLEmbeddedExpression x)`
`void`	`printDo(Do x)`
`void`	`printDo(Do x, boolean includeBody)`
`void`	`printDoubleLiteral(DoubleLiteral x)`
`void`	`printElse(Else x)`
`void`	`printEmptyMapLiteral(EmptyMapLiteral x)`
`void`	`printEmptySeqLiteral(EmptySeqLiteral x)`
`void`	`printEmptySetLiteral(EmptySetLiteral x)`
`void`	`printEmptyStatement(EmptyStatement x)`
`void`	`printEnhancedFor(EnhancedFor x)`
`void`	`printEnhancedFor(EnhancedFor x, boolean includeBody)`
`void`	`printEquals(Equals x)`
`void`	`printExactInstanceof(ExactInstanceof x)`
`void`	`printExecutionContext(ExecutionContext x)`
`void`	`printExtends(Extends x)`
`void`	`printFieldDeclaration(FieldDeclaration x)`
`void`	`printFieldReference(FieldReference x)`
`void`	`printFinally(Finally x)`
`void`	`printFloatLiteral(FloatLiteral x)`
`protected void`	`printFooter(ProgramElement x)` Print program element footer.
`void`	`printFor(For x)`
`void`	`printFor(For x, boolean includeBody)`
`void`	`printFullMethodSignature(IProgramMethod x)`
`void`	`printGreaterOrEquals(GreaterOrEquals x)`
`void`	`printGreaterThan(GreaterThan x)`
`protected void`	`printHeader(int lf, int levelChange, int blanks, ProgramElement x)` Print program element header.
`protected void`	`printHeader(int lf, int blanks, ProgramElement elem)` Print program element header.
`protected void`	`printHeader(int blanks, ProgramElement elem)` Print program element header.
`protected void`	`printHeader(ProgramElement elem)` Print program element header.
`void`	`printIf(If x)`
`void`	`printIf(If x, boolean includeBranches)`
`void`	`printImplements(Implements x)`
`void`	`printImport(Import x)`
`void`	`printIndexOf(SeqIndexOf x)`
`void`	`printInstanceof(Instanceof x)`
`void`	`printInterfaceDeclaration(InterfaceDeclaration x)`
`void`	`printIntersect(Intersect x)`
`void`	`printIntLiteral(IntLiteral x)`
`void`	`printLabeledStatement(LabeledStatement x)`
`void`	`printLessOrEquals(LessOrEquals x)`
`void`	`printLessThan(LessThan x)`
`void`	`printLocalVariableDeclaration(LocalVariableDeclaration x)`
`void`	`printLogicalAnd(LogicalAnd x)`
`void`	`printLogicalNot(LogicalNot x)`
`void`	`printLogicalOr(LogicalOr x)`
`void`	`printLongLiteral(LongLiteral x)`
`void`	`printLoopScopeBlock(LoopScopeBlock x)`
`void`	`printMergePointStatementBlock(MergePointStatement x)`
`void`	`printMetaClassReference(MetaClassReference x)`
`void`	`printMethod(IProgramMethod x)`
`void`	`printMethodBodyStatement(MethodBodyStatement x)`
`void`	`printMethodDeclaration(MethodDeclaration x)`
`void`	`printMethodFrame(MethodFrame x)`
`void`	`printMethodReference(MethodReference x)`
`protected void`	`printMethodReference(MethodReference x, boolean withSemicolon)`
`void`	`printMinus(Minus x)`
`void`	`printMinusAssignment(MinusAssignment x)`
`void`	`printModifier(Modifier x)`
`void`	`printModulo(Modulo x)`
`void`	`printModuloAssignment(ModuloAssignment x)`
`void`	`printNegative(Negative x)`
`void`	`printNew(New x)`
`void`	`printNewArray(NewArray x)`
`void`	`printNotEquals(NotEquals x)`
`void`	`printNullLiteral(NullLiteral x)`
`protected void`	`printOperator(Operator x, java.lang.String symbol)`
`void`	`printPackageReference(PackageReference x)`
`void`	`printPackageSpecification(PackageSpecification x)`
`void`	`printParenthesizedExpression(ParenthesizedExpression x)`
`void`	`printPassiveExpression(PassiveExpression x)`
`void`	`printPlus(Plus x)`
`void`	`printPlusAssignment(PlusAssignment x)`
`void`	`printPositive(Positive x)`
`void`	`printPostDecrement(PostDecrement x)`
`void`	`printPostIncrement(PostIncrement x)`
`void`	`printPreDecrement(PreDecrement x)`
`void`	`printPreIncrement(PreIncrement x)`
`void`	`printProgramElementName(ProgramElementName x)`
`void`	`printProgramMetaConstruct(ProgramTransformer x)`
`void`	`printProgramMethod(IProgramMethod x)`
`void`	`printProgramVariable(ProgramVariable x)`
`void`	`printReturn(Return x)`
`void`	`printSchemaTypeReference(SchemaTypeReference x)`
`void`	`printSchemaVariable(SchemaVariable x)`
`void`	`printSeqConcat(SeqConcat x)`
`void`	`printSeqGet(SeqGet x)`
`void`	`printSeqLength(SeqLength x)`
`void`	`printSeqReverse(SeqReverse x)`
`void`	`printSeqSingleton(SeqSingleton x)`
`void`	`printSeqSub(SeqSub x)`
`void`	`printSetMinus(SetMinus x)`
`void`	`printSetUnion(SetUnion x)`
`void`	`printShiftLeft(ShiftLeft x)`
`void`	`printShiftLeftAssignment(ShiftLeftAssignment x)`
`void`	`printShiftRight(ShiftRight x)`
`void`	`printShiftRightAssignment(ShiftRightAssignment x)`
`void`	`printSingleton(Singleton x)`
`void`	`printStatementBlock(StatementBlock x)`
`void`	`printStringLiteral(StringLiteral x)`
`void`	`printSuperConstructorReference(SuperConstructorReference x)`
`void`	`printSuperReference(SuperReference x)`
`void`	`printSwitch(Switch x)`
`void`	`printSwitch(Switch x, boolean includeBranches)`
`void`	`printSynchronizedBlock(SynchronizedBlock x)`
`void`	`printThen(Then x)`
`void`	`printThisConstructorReference(ThisConstructorReference x)`
`void`	`printThisReference(ThisReference x)`
`void`	`printThrow(Throw x)`
`void`	`printThrows(Throws x)`
`void`	`printTimes(Times x)`
`void`	`printTimesAssignment(TimesAssignment x)`
`void`	`printTransactionStatement(TransactionStatement x)`
`void`	`printTry(Try x)`
`void`	`printTypeCast(TypeCast x)`
`void`	`printTypeReference(TypeReference x)`
`void`	`printTypeReference(TypeReference x, boolean fullTypeNames)`
`void`	`printUnsignedShiftRight(UnsignedShiftRight x)`
`void`	`printUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)`
`void`	`printVariableDeclaration(VariableDeclaration x)`
`void`	`printVariableSpecification(VariableSpecification x)`
`void`	`printWhile(While x)`
`void`	`printWhile(While x, boolean includeBody)`
`private static void`	`removeChar(java.lang.StringBuffer sb, char c)`
`protected ImmutableArray<Modifier>`	`removeFinal(ImmutableArray<Modifier> ma)`
`protected ImmutableArray<Modifier>`	`replacePrivateByPublic(ImmutableArray<Modifier> ma)`
`void`	`reset()` Resets the state of this pretty printer ...
`protected void`	`scheduleComment(SingleLineComment slc)` Store the given comment until the next line feed is written.
`void`	`setIndentationLevel(int level)` Set indentation level.
`void`	`setWriter(java.io.Writer out)` Set a new stream to write to.
`void`	`write(char[] cbuf)` Write.
`void`	`write(char[] cbuf, int off, int len)` Write.
`void`	`write(int c)` Write.
`void`	`write(java.lang.String str)` Write.
`void`	`write(java.lang.String str, int off, int len)` Write.
`protected void`	`writeBlockList(ImmutableArray<? extends ProgramElement> list)` Write block list.
`protected void`	`writeBlockList(int firstLF, int levelChange, int firstBlanks, ImmutableArray<? extends ProgramElement> list)` Write a complete ArrayOf using "Block" style.
`protected void`	`writeCommaList(ImmutableArray<? extends ProgramElement> list)` Write comma list.
`protected void`	`writeCommaList(int separationBlanks, ImmutableArray<? extends ProgramElement> list)` Write comma list.
`protected void`	`writeCommaList(int firstLF, int levelChange, int firstBlanks, ImmutableArray<? extends ProgramElement> list)` Write a complete ArrayOf using "Comma" style.
`protected void`	`writeElement(int lf, int levelChange, int blanks, SourceElement elem)` Adds indentation for a program element if necessary and if required, but does not print the indentation itself.
`protected void`	`writeElement(int lf, int blanks, SourceElement elem)` Write a source element.
`protected void`	`writeElement(int blanks, SourceElement elem)` Write source element.
`protected void`	`writeElement(SourceElement elem)` Write source element.
`protected void`	`writeFullMethodSignature(IProgramMethod x)`
`protected void`	`writeImmutableArrayOfProgramElement(int firstLF, int levelChange, int firstBlanks, java.lang.String separationSymbol, int separationLF, int separationBlanks, ImmutableArray<? extends ProgramElement> list)` Write a complete ArrayOf.
`protected void`	`writeIndentation(int lf, int blanks)` Convenience method to write indentation chars.
`protected void`	`writeIndentation(Position relative)` Convenience method to write indentation chars.
`protected void`	`writeIndentation(SourceElement elem)` Write indentation.
`protected void`	`writeInternalIndentation(SourceElement elem)` Write internal indentation.
`protected void`	`writeKeywordList(ImmutableArray<? extends ProgramElement> list)` Write keyword list.
`protected void`	`writeKeywordList(int firstLF, int levelChange, int firstBlanks, ImmutableArray<? extends ProgramElement> list)` Write a complete ArrayOf using "Keyword" style.
`protected void`	`writeLineList(ImmutableArray<? extends ProgramElement> list)` Write line list.
`protected void`	`writeLineList(int firstLF, int levelChange, int firstBlanks, ImmutableArray<? extends ProgramElement> list)` Write a complete ArrayOf using "Line" style.
`protected void`	`writeSymbol(int lf, int levelChange, java.lang.String symbol)` Write symbol.
`protected void`	`writeToken(int lf, int blanks, java.lang.String image, NonTerminalProgramElement parent)` Writes an implicit terminal token of a NonTerminal, including its indentation.
`protected void`	`writeToken(int blanks, java.lang.String image, NonTerminalProgramElement parent)`
`protected void`	`writeToken(java.lang.String image, NonTerminalProgramElement parent)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail
- line
```
private int line
```
  Line number, not directly used.
- column
```
private int column
```
  Column number. Used to keep track of indentations.
- level
```
protected int level
```
  Level.
- out
```
protected java.io.Writer out
```
- outBuf
```
protected java.lang.StringBuffer outBuf
```
- noLinefeed
```
protected boolean noLinefeed
```
- noSemicolons
```
protected boolean noSemicolons
```
- classToPrint
```
protected Type classToPrint
```
  Enforces the output of real Java syntax that can be compiled. See also de.uka.ilkd.key.testgen.pp.unittest.ppAndJavaASTExtension.CompilableJavaCardPP
- firstStatementStart
```
protected int firstStatementStart
```
- firstStatementEnd
```
protected int firstStatementEnd
```
- startAlreadyMarked
```
protected boolean startAlreadyMarked
```
- endAlreadyMarked
```
protected boolean endAlreadyMarked
```
- firstStatement
```
protected java.lang.Object firstStatement
```
- instantiations
```
protected SVInstantiations instantiations
```
- keywordStarts
```
private final java.util.Stack<java.lang.Integer> keywordStarts
```
  Remembers the start of a keyword to create a range.
- keywordRanges
```
private java.util.ArrayList<Range> keywordRanges
```
  Contains the java keyword ranges.
- writtenCharacters
```
protected int writtenCharacters
```
  The number of charcters that have been send to the writer
- isPrintingSingleLineComments
```
private boolean isPrintingSingleLineComments
```
  Flag to indicate if a single line comment is being put out. Needed to disable the worklist meanwhile.
- indentMap
```
protected java.util.HashMap<SourceElement,Position> indentMap
```
- BLANKS
```
private static final char[] BLANKS
```
- FEEDS
```
private static final char[] FEEDS
```
- indentation
```
private int indentation
```
  Indentation (cached).
- overwriteIndentation
```
private boolean overwriteIndentation
```
  Overwrite indentation flag (cached).
- overwriteParsePositions
```
private boolean overwriteParsePositions
```
  Overwrite parse positions flag (cached).

Constructor Detail

PrettyPrinter

public PrettyPrinter(java.io.Writer o)

creates a new PrettyPrinter

PrettyPrinter

public PrettyPrinter(java.io.Writer o,
                     SVInstantiations svi)

PrettyPrinter

public PrettyPrinter(java.io.Writer o,
                     boolean noLinefeed)

PrettyPrinter

public PrettyPrinter(java.io.Writer o,
                     boolean noLinefeed,
                     SVInstantiations svi)

Method Detail

output

protected void output()
               throws java.io.IOException

Throws:: java.io.IOException

getCurrentPos
```
protected int getCurrentPos()
```
Numbers of generated characters

markStart
```
protected void markStart(int n,
                         java.lang.Object stmt)
```
Marks the start of the first executable statement ...

Parameters:

n - offset from the current position

stmt - current statement;

markEnd
```
protected void markEnd(int n,
                       java.lang.Object stmt)
```
Marks the end of the first executable statement ...

Parameters:

n - offset from the current position

getRangeOfFirstExecutableStatement
```
public Range getRangeOfFirstExecutableStatement()
```
Returns:

the range of the first executable statement that means the corresponding start and end position in the string representation

markKeywordStart
```
protected final void markKeywordStart()
```
Marks the start of a java keyword.

markKeywordEnd
```
protected final void markKeywordEnd()
```
Marks the end of a java keyword and creates a keyword range.

getKeywordRanges
```
public final Range[] getKeywordRanges()
```
Returns:

ranges of all java keywords printed.

reset
```
public void reset()
```
Resets the state of this pretty printer ...

setWriter
```
public void setWriter(java.io.Writer out)
```
Set a new stream to write to. Useful to redirect the output while retaining all other settings. Resets the current source positions and comments.

getLine
```
public int getLine()
```
Get current line number.

Returns:

the line number, starting with 0.

getColumn
```
public int getColumn()
```
Get current column number.

Returns:

the column number, starting with 0.

getIndentationLevel
```
public int getIndentationLevel()
```
Get indentation level.

Returns:

the int value.

setIndentationLevel
```
public void setIndentationLevel(int level)
```
Set indentation level.

Parameters:

level - an int value.

getTotalIndentation
```
public int getTotalIndentation()
```
Get total indentation.

Returns:

the int value.

changeLevel
```
public void changeLevel(int delta)
```
Change level.

Parameters:

delta - an int value.

writeIndentation

protected void writeIndentation(int lf,
                                int blanks)
                         throws java.io.IOException

Convenience method to write indentation chars.

Throws:: java.io.IOException

writeIndentation

protected void writeIndentation(Position relative)
                         throws java.io.IOException

Convenience method to write indentation chars.

Throws:: java.io.IOException

writeIndentation
```
protected void writeIndentation(SourceElement elem)
                         throws java.io.IOException
```
Write indentation.

Parameters:

elem - a source element.

Throws:

java.io.IOException - occasionally thrown.

writeInternalIndentation
```
protected void writeInternalIndentation(SourceElement elem)
                                 throws java.io.IOException
```
Write internal indentation.

Parameters:

elem - a source element.

Throws:

java.io.IOException - occasionally thrown.

writeSymbol

protected void writeSymbol(int lf,
                           int levelChange,
                           java.lang.String symbol)
                    throws java.io.IOException

Write symbol.

Parameters:: lf - an int value.; levelChange - an int value.; symbol - a string.
Throws:: java.io.IOException - occasionally thrown.

encodeUnicodeChars
```
protected static java.lang.String encodeUnicodeChars(java.lang.String str)
```
Replace all unicode characters above ? by their explicit representation.

Parameters:

str - the input string.

Returns:

the encoded string.

scheduleComment
```
protected void scheduleComment(SingleLineComment slc)
```
Store the given comment until the next line feed is written.

Parameters:

slc - the comment to delay.

writeElement

protected void writeElement(int lf,
                            int levelChange,
                            int blanks,
                            SourceElement elem)
                     throws java.io.IOException

Adds indentation for a program element if necessary and if required, but does not print the indentation itself.

Throws:: java.io.IOException

getRelativePosition

protected Position getRelativePosition(SourceElement first)

writeToken

protected void writeToken(int lf,
                          int blanks,
                          java.lang.String image,
                          NonTerminalProgramElement parent)
                   throws java.io.IOException

Writes an implicit terminal token of a NonTerminal, including its indentation. Sets the indentation if it is necessary or required.

Throws:: java.io.IOException
See Also:: SourceElement.prettyPrint(de.uka.ilkd.key.java.PrettyPrinter)

writeToken

protected final void writeToken(int blanks,
                                java.lang.String image,
                                NonTerminalProgramElement parent)
                         throws java.io.IOException

Throws:: java.io.IOException

writeToken

protected final void writeToken(java.lang.String image,
                                NonTerminalProgramElement parent)
                         throws java.io.IOException

Throws:: java.io.IOException

writeElement

protected void writeElement(int lf,
                            int blanks,
                            SourceElement elem)
                     throws java.io.IOException

Write a source element.

Parameters:: lf - an int value.; blanks - an int value.; elem - a source element.
Throws:: java.io.IOException - occasionally thrown.

writeElement

protected void writeElement(int blanks,
                            SourceElement elem)
                     throws java.io.IOException

Write source element.

Parameters:: blanks - an int value.; elem - a source element.
Throws:: java.io.IOException - occasionally thrown.

writeElement
```
protected void writeElement(SourceElement elem)
                     throws java.io.IOException
```
Write source element.

Parameters:

elem - a source element.

Throws:

java.io.IOException - occasionally thrown.

writeImmutableArrayOfProgramElement

protected void writeImmutableArrayOfProgramElement(int firstLF,
                                                   int levelChange,
                                                   int firstBlanks,
                                                   java.lang.String separationSymbol,
                                                   int separationLF,
                                                   int separationBlanks,
                                                   ImmutableArray<? extends ProgramElement> list)
                                            throws java.io.IOException

Write a complete ArrayOf.

Throws:: java.io.IOException

writeKeywordList

protected void writeKeywordList(int firstLF,
                                int levelChange,
                                int firstBlanks,
                                ImmutableArray<? extends ProgramElement> list)
                         throws java.io.IOException

Write a complete ArrayOf using "Keyword" style.

Throws:: java.io.IOException

writeKeywordList

protected void writeKeywordList(ImmutableArray<? extends ProgramElement> list)
                         throws java.io.IOException

Write keyword list.

Parameters:: list - a program element list.
Throws:: java.io.IOException - occasionally thrown.

writeCommaList

protected void writeCommaList(int firstLF,
                              int levelChange,
                              int firstBlanks,
                              ImmutableArray<? extends ProgramElement> list)
                       throws java.io.IOException

Write a complete ArrayOf using "Comma" style.

Throws:: java.io.IOException

writeCommaList

protected void writeCommaList(int separationBlanks,
                              ImmutableArray<? extends ProgramElement> list)
                       throws java.io.IOException

Write comma list.

Parameters:: list - a program element list.
Throws:: java.io.IOException - occasionally thrown.

writeCommaList

protected void writeCommaList(ImmutableArray<? extends ProgramElement> list)
                       throws java.io.IOException

Write comma list.

Parameters:: list - a program element list.
Throws:: java.io.IOException - occasionally thrown.

writeLineList

protected void writeLineList(int firstLF,
                             int levelChange,
                             int firstBlanks,
                             ImmutableArray<? extends ProgramElement> list)
                      throws java.io.IOException

Write a complete ArrayOf using "Line" style.

Throws:: java.io.IOException

writeLineList

protected void writeLineList(ImmutableArray<? extends ProgramElement> list)
                      throws java.io.IOException

Write line list.

Parameters:: list - a program element list.
Throws:: java.io.IOException - occasionally thrown.

writeBlockList

protected void writeBlockList(int firstLF,
                              int levelChange,
                              int firstBlanks,
                              ImmutableArray<? extends ProgramElement> list)
                       throws java.io.IOException

Write a complete ArrayOf using "Block" style.

Throws:: java.io.IOException

writeBlockList

protected void writeBlockList(ImmutableArray<? extends ProgramElement> list)
                       throws java.io.IOException

Write block list.

Parameters:: list - a program element list.
Throws:: java.io.IOException - occasionally thrown.

dumpComments

private void dumpComments()
                   throws java.io.IOException

Throws:: java.io.IOException

write
```
public void write(int c)
           throws java.io.IOException
```
Write.

Parameters:

c - an int value.

Throws:

java.io.IOException - occasionally thrown.

write
```
public void write(char[] cbuf)
           throws java.io.IOException
```
Write.

Parameters:

cbuf - a char value.

Throws:

java.io.IOException - occasionally thrown.

write
```
public void write(char[] cbuf,
                  int off,
                  int len)
           throws java.io.IOException
```
Write.

Parameters:

cbuf - an array of char.

off - an int value.

len - an int value.

Throws:

java.io.IOException - occasionally thrown.

write
```
public void write(java.lang.String str)
           throws java.io.IOException
```
Write.

Parameters:

str - a string.

Throws:

java.io.IOException - occasionally thrown.

write

public void write(java.lang.String str,
                  int off,
                  int len)
           throws java.io.IOException

Write.

Parameters:: str - a string.; off - an int value.; len - an int value.
Throws:: java.io.IOException - occasionally thrown.

getIndentation
```
protected int getIndentation()
```
Get indentation amount (blanks per level).

Returns:

the value of getIntegerProperty("indentationAmount").

isOverwritingIndentation
```
protected boolean isOverwritingIndentation()
```
Returns true if the pretty printer should also reformat existing code.

Returns:

the value of the overwriteIndentation property.

isOverwritingParsePositions
```
protected boolean isOverwritingParsePositions()
```
Returns true if the pretty printer should reset the parse positions accordingly.

Returns:

the value of the overwriteParsePositions property.

printHeader

protected void printHeader(int lf,
                           int blanks,
                           ProgramElement elem)
                    throws java.io.IOException

Print program element header.

Parameters:: lf - an int value.; blanks - an int value.; elem - a program element.
Throws:: java.io.IOException - occasionally thrown.

printHeader

protected void printHeader(int blanks,
                           ProgramElement elem)
                    throws java.io.IOException

Print program element header.

Parameters:: blanks - an int value.; elem - a program element.
Throws:: java.io.IOException - occasionally thrown.

printHeader
```
protected void printHeader(ProgramElement elem)
                    throws java.io.IOException
```
Print program element header.

Parameters:

elem - a program element.

Throws:

java.io.IOException - occasionally thrown.

printHeader

protected void printHeader(int lf,
                           int levelChange,
                           int blanks,
                           ProgramElement x)
                    throws java.io.IOException

Print program element header.

Parameters:: lf - number of line feeds.; levelChange - the level change.; blanks - number of white spaces.; x - the program element.
Throws:: java.io.IOException - occasionally thrown.

printFooter
```
protected void printFooter(ProgramElement x)
                    throws java.io.IOException
```
Print program element footer.

Parameters:

x - the program element.

Throws:

java.io.IOException - occasionally thrown.

printOperator

protected void printOperator(Operator x,
                             java.lang.String symbol)
                      throws java.io.IOException

Throws:: java.io.IOException

printProgramElementName

public void printProgramElementName(ProgramElementName x)
                             throws java.io.IOException

Throws:: java.io.IOException

printProgramVariable

public void printProgramVariable(ProgramVariable x)
                          throws java.io.IOException

Throws:: java.io.IOException

printProgramMethod

public void printProgramMethod(IProgramMethod x)
                        throws java.io.IOException

Throws:: java.io.IOException

printProgramMetaConstruct

public void printProgramMetaConstruct(ProgramTransformer x)
                               throws java.io.IOException

Throws:: java.io.IOException

printContextStatementBlock

public void printContextStatementBlock(ContextStatementBlock x)
                                throws java.io.IOException

Throws:: java.io.IOException

printIntLiteral

public void printIntLiteral(IntLiteral x)
                     throws java.io.IOException

Throws:: java.io.IOException

printBooleanLiteral

public void printBooleanLiteral(BooleanLiteral x)
                         throws java.io.IOException

Throws:: java.io.IOException

printEmptySetLiteral

public void printEmptySetLiteral(EmptySetLiteral x)
                          throws java.io.IOException

Throws:: java.io.IOException

printSingleton

public void printSingleton(Singleton x)
                    throws java.io.IOException

Throws:: java.io.IOException

printSetUnion

public void printSetUnion(SetUnion x)
                   throws java.io.IOException

Throws:: java.io.IOException

printIntersect

public void printIntersect(Intersect x)
                    throws java.io.IOException

Throws:: java.io.IOException

printSetMinus

public void printSetMinus(SetMinus x)
                   throws java.io.IOException

Throws:: java.io.IOException

printAllFields

public void printAllFields(AllFields x)
                    throws java.io.IOException

Throws:: java.io.IOException

printAllObjects

public void printAllObjects(AllObjects x)
                     throws java.io.IOException

Throws:: java.io.IOException

printEmptySeqLiteral

public void printEmptySeqLiteral(EmptySeqLiteral x)
                          throws java.io.IOException

Throws:: java.io.IOException

printSeqLength

public void printSeqLength(SeqLength x)
                    throws java.io.IOException

Throws:: java.io.IOException

printSeqGet

public void printSeqGet(SeqGet x)
                 throws java.io.IOException

Throws:: java.io.IOException

printSeqSingleton

public void printSeqSingleton(SeqSingleton x)
                       throws java.io.IOException

Throws:: java.io.IOException

printSeqConcat

public void printSeqConcat(SeqConcat x)
                    throws java.io.IOException

Throws:: java.io.IOException

printIndexOf

public void printIndexOf(SeqIndexOf x)
                  throws java.io.IOException

Throws:: java.io.IOException

printSeqSub

public void printSeqSub(SeqSub x)
                 throws java.io.IOException

Throws:: java.io.IOException

printSeqReverse

public void printSeqReverse(SeqReverse x)
                     throws java.io.IOException

Throws:: java.io.IOException

printDLEmbeddedExpression

public void printDLEmbeddedExpression(DLEmbeddedExpression x)
                               throws java.io.IOException

Throws:: java.io.IOException

printStringLiteral

public void printStringLiteral(StringLiteral x)
                        throws java.io.IOException

Throws:: java.io.IOException

printNullLiteral

public void printNullLiteral(NullLiteral x)
                      throws java.io.IOException

Throws:: java.io.IOException

printCharLiteral

public void printCharLiteral(CharLiteral x)
                      throws java.io.IOException

Throws:: java.io.IOException

printDoubleLiteral

public void printDoubleLiteral(DoubleLiteral x)
                        throws java.io.IOException

Throws:: java.io.IOException

printMergePointStatementBlock

public void printMergePointStatementBlock(MergePointStatement x)
                                   throws java.io.IOException

Throws:: java.io.IOException

printLongLiteral

public void printLongLiteral(LongLiteral x)
                      throws java.io.IOException

Throws:: java.io.IOException

printFloatLiteral

public void printFloatLiteral(FloatLiteral x)
                       throws java.io.IOException

Throws:: java.io.IOException

printPackageSpecification

public void printPackageSpecification(PackageSpecification x)
                               throws java.io.IOException

Throws:: java.io.IOException

printAssert

public void printAssert(Assert x)
                 throws java.io.IOException

Throws:: java.io.IOException

printArrayDeclaration

public void printArrayDeclaration(ArrayDeclaration type)
                           throws java.io.IOException

Throws:: java.io.IOException

printTypeReference

public void printTypeReference(TypeReference x)
                        throws java.io.IOException

Throws:: java.io.IOException

printTypeReference

public void printTypeReference(TypeReference x,
                               boolean fullTypeNames)
                        throws java.io.IOException

Throws:: java.io.IOException

printSchemaTypeReference

public void printSchemaTypeReference(SchemaTypeReference x)
                              throws java.io.IOException

Throws:: java.io.IOException

printFieldReference

public void printFieldReference(FieldReference x)
                         throws java.io.IOException

Throws:: java.io.IOException

printPackageReference

public void printPackageReference(PackageReference x)
                           throws java.io.IOException

Throws:: java.io.IOException

printThrows

public void printThrows(Throws x)
                 throws java.io.IOException

Throws:: java.io.IOException

printArrayInitializer

public void printArrayInitializer(ArrayInitializer x)
                           throws java.io.IOException

Throws:: java.io.IOException

printCompilationUnit

public void printCompilationUnit(CompilationUnit x)
                          throws java.io.IOException

Throws:: java.io.IOException

printClassDeclaration

public void printClassDeclaration(ClassDeclaration x)
                           throws java.io.IOException

Throws:: java.io.IOException

containsDefaultConstructor

protected boolean containsDefaultConstructor(ImmutableArray<MemberDeclaration> members)

printInterfaceDeclaration

public void printInterfaceDeclaration(InterfaceDeclaration x)
                               throws java.io.IOException

Throws:: java.io.IOException

removeFinal

protected ImmutableArray<Modifier> removeFinal(ImmutableArray<Modifier> ma)

replacePrivateByPublic

protected ImmutableArray<Modifier> replacePrivateByPublic(ImmutableArray<Modifier> ma)

printFieldDeclaration

public void printFieldDeclaration(FieldDeclaration x)
                           throws java.io.IOException

Throws:: java.io.IOException

getTypeNameForAccessMethods

public static java.lang.String getTypeNameForAccessMethods(java.lang.String typeName)

printLocalVariableDeclaration

public void printLocalVariableDeclaration(LocalVariableDeclaration x)
                                   throws java.io.IOException

Throws:: java.io.IOException

printVariableDeclaration

public void printVariableDeclaration(VariableDeclaration x)
                              throws java.io.IOException

Throws:: java.io.IOException

printMethodDeclaration

public void printMethodDeclaration(MethodDeclaration x)
                            throws java.io.IOException

Throws:: java.io.IOException

printClassInitializer

public void printClassInitializer(ClassInitializer x)
                           throws java.io.IOException

Throws:: java.io.IOException

printStatementBlock

public void printStatementBlock(StatementBlock x)
                         throws java.io.IOException

Throws:: java.io.IOException

printBreak

public void printBreak(Break x)
                throws java.io.IOException

Throws:: java.io.IOException

printContinue

public void printContinue(Continue x)
                   throws java.io.IOException

Throws:: java.io.IOException

printReturn

public void printReturn(Return x)
                 throws java.io.IOException

Throws:: java.io.IOException

printThrow

public void printThrow(Throw x)
                throws java.io.IOException

Throws:: java.io.IOException

printDo

public void printDo(Do x)
             throws java.io.IOException

Throws:: java.io.IOException

printDo

public void printDo(Do x,
                    boolean includeBody)
             throws java.io.IOException

Throws:: java.io.IOException

removeChar

private static void removeChar(java.lang.StringBuffer sb,
                               char c)

printEnhancedFor

public void printEnhancedFor(EnhancedFor x)
                      throws java.io.IOException

Throws:: java.io.IOException

printEnhancedFor

public void printEnhancedFor(EnhancedFor x,
                             boolean includeBody)
                      throws java.io.IOException

Throws:: java.io.IOException

printFor

public void printFor(For x)
              throws java.io.IOException

Throws:: java.io.IOException

printFor

public void printFor(For x,
                     boolean includeBody)
              throws java.io.IOException

Throws:: java.io.IOException

printWhile

public void printWhile(While x)
                throws java.io.IOException

Throws:: java.io.IOException

printWhile

public void printWhile(While x,
                       boolean includeBody)
                throws java.io.IOException

Throws:: java.io.IOException

printIf

public void printIf(If x)
             throws java.io.IOException

Throws:: java.io.IOException

printIf

public void printIf(If x,
                    boolean includeBranches)
             throws java.io.IOException

Throws:: java.io.IOException

printSwitch

public void printSwitch(Switch x)
                 throws java.io.IOException

Throws:: java.io.IOException

printSwitch

public void printSwitch(Switch x,
                        boolean includeBranches)
                 throws java.io.IOException

Throws:: java.io.IOException

printTry

public void printTry(Try x)
              throws java.io.IOException

Throws:: java.io.IOException

printLabeledStatement

public void printLabeledStatement(LabeledStatement x)
                           throws java.io.IOException

Throws:: java.io.IOException

printMethodFrame

public void printMethodFrame(MethodFrame x)
                      throws java.io.IOException

Throws:: java.io.IOException

printCatchAllStatement

public void printCatchAllStatement(CatchAllStatement x)
                            throws java.io.IOException

Throws:: java.io.IOException

printMethodBodyStatement

public void printMethodBodyStatement(MethodBodyStatement x)
                              throws java.io.IOException

Throws:: java.io.IOException

printSynchronizedBlock

public void printSynchronizedBlock(SynchronizedBlock x)
                            throws java.io.IOException

Throws:: java.io.IOException

printLoopScopeBlock

public void printLoopScopeBlock(LoopScopeBlock x)
                         throws java.io.IOException

Throws:: java.io.IOException

printImport

public void printImport(Import x)
                 throws java.io.IOException

Throws:: java.io.IOException

printExtends

public void printExtends(Extends x)
                  throws java.io.IOException

Throws:: java.io.IOException

printImplements

public void printImplements(Implements x)
                     throws java.io.IOException

Throws:: java.io.IOException

printVariableSpecification

public void printVariableSpecification(VariableSpecification x)
                                throws java.io.IOException

Throws:: java.io.IOException

printBinaryAnd

public void printBinaryAnd(BinaryAnd x)
                    throws java.io.IOException

Throws:: java.io.IOException

printBinaryAndAssignment

public void printBinaryAndAssignment(BinaryAndAssignment x)
                              throws java.io.IOException

Throws:: java.io.IOException

printBinaryOrAssignment

public void printBinaryOrAssignment(BinaryOrAssignment x)
                             throws java.io.IOException

Throws:: java.io.IOException

printBinaryXOrAssignment

public void printBinaryXOrAssignment(BinaryXOrAssignment x)
                              throws java.io.IOException

Throws:: java.io.IOException

printCopyAssignment

public void printCopyAssignment(CopyAssignment x)
                         throws java.io.IOException

Throws:: java.io.IOException

printDivideAssignment

public void printDivideAssignment(DivideAssignment x)
                           throws java.io.IOException

Throws:: java.io.IOException

printMinusAssignment

public void printMinusAssignment(MinusAssignment x)
                          throws java.io.IOException

Throws:: java.io.IOException

printModuloAssignment

public void printModuloAssignment(ModuloAssignment x)
                           throws java.io.IOException

Throws:: java.io.IOException

printPlusAssignment

public void printPlusAssignment(PlusAssignment x)
                         throws java.io.IOException

Throws:: java.io.IOException

printPostDecrement

public void printPostDecrement(PostDecrement x)
                        throws java.io.IOException

Throws:: java.io.IOException

printPostIncrement

public void printPostIncrement(PostIncrement x)
                        throws java.io.IOException

Throws:: java.io.IOException

printPreDecrement

public void printPreDecrement(PreDecrement x)
                       throws java.io.IOException

Throws:: java.io.IOException

printPreIncrement

public void printPreIncrement(PreIncrement x)
                       throws java.io.IOException

Throws:: java.io.IOException

printShiftLeftAssignment

public void printShiftLeftAssignment(ShiftLeftAssignment x)
                              throws java.io.IOException

Throws:: java.io.IOException

printShiftRightAssignment

public void printShiftRightAssignment(ShiftRightAssignment x)
                               throws java.io.IOException

Throws:: java.io.IOException

printTimesAssignment

public void printTimesAssignment(TimesAssignment x)
                          throws java.io.IOException

Throws:: java.io.IOException

printUnsignedShiftRightAssignment

public void printUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)
                                       throws java.io.IOException

Throws:: java.io.IOException

printBinaryNot

public void printBinaryNot(BinaryNot x)
                    throws java.io.IOException

Throws:: java.io.IOException

printBinaryOr

public void printBinaryOr(BinaryOr x)
                   throws java.io.IOException

Throws:: java.io.IOException

printBinaryXOr

public void printBinaryXOr(BinaryXOr x)
                    throws java.io.IOException

Throws:: java.io.IOException

printConditional

public void printConditional(Conditional x)
                      throws java.io.IOException

Throws:: java.io.IOException

printDivide

public void printDivide(Divide x)
                 throws java.io.IOException

Throws:: java.io.IOException

printEquals

public void printEquals(Equals x)
                 throws java.io.IOException

Throws:: java.io.IOException

printGreaterOrEquals

public void printGreaterOrEquals(GreaterOrEquals x)
                          throws java.io.IOException

Throws:: java.io.IOException

printGreaterThan

public void printGreaterThan(GreaterThan x)
                      throws java.io.IOException

Throws:: java.io.IOException

printLessOrEquals

public void printLessOrEquals(LessOrEquals x)
                       throws java.io.IOException

Throws:: java.io.IOException

printLessThan

public void printLessThan(LessThan x)
                   throws java.io.IOException

Throws:: java.io.IOException

printNotEquals

public void printNotEquals(NotEquals x)
                    throws java.io.IOException

Throws:: java.io.IOException

printNewArray

public void printNewArray(NewArray x)
                   throws java.io.IOException

Throws:: java.io.IOException

printInstanceof

public void printInstanceof(Instanceof x)
                     throws java.io.IOException

Throws:: java.io.IOException

printExactInstanceof

public void printExactInstanceof(ExactInstanceof x)
                          throws java.io.IOException

Throws:: java.io.IOException

printNew

public void printNew(New x)
              throws java.io.IOException

Throws:: java.io.IOException

printTypeCast

public void printTypeCast(TypeCast x)
                   throws java.io.IOException

Throws:: java.io.IOException

printLogicalAnd

public void printLogicalAnd(LogicalAnd x)
                     throws java.io.IOException

Throws:: java.io.IOException

printLogicalNot

public void printLogicalNot(LogicalNot x)
                     throws java.io.IOException

Throws:: java.io.IOException

printLogicalOr

public void printLogicalOr(LogicalOr x)
                    throws java.io.IOException

Throws:: java.io.IOException

printMinus

public void printMinus(Minus x)
                throws java.io.IOException

Throws:: java.io.IOException

printModulo

public void printModulo(Modulo x)
                 throws java.io.IOException

Throws:: java.io.IOException

printNegative

public void printNegative(Negative x)
                   throws java.io.IOException

Throws:: java.io.IOException

printPlus

public void printPlus(Plus x)
               throws java.io.IOException

Throws:: java.io.IOException

printPositive

public void printPositive(Positive x)
                   throws java.io.IOException

Throws:: java.io.IOException

printShiftLeft

public void printShiftLeft(ShiftLeft x)
                    throws java.io.IOException

Throws:: java.io.IOException

printShiftRight

public void printShiftRight(ShiftRight x)
                     throws java.io.IOException

Throws:: java.io.IOException

printTimes

public void printTimes(Times x)
                throws java.io.IOException

Throws:: java.io.IOException

printUnsignedShiftRight

public void printUnsignedShiftRight(UnsignedShiftRight x)
                             throws java.io.IOException

Throws:: java.io.IOException

printArrayReference

public void printArrayReference(ArrayReference x)
                         throws java.io.IOException

Throws:: java.io.IOException

printMetaClassReference

public void printMetaClassReference(MetaClassReference x)
                             throws java.io.IOException

Throws:: java.io.IOException

printMethodReference

public void printMethodReference(MethodReference x)
                          throws java.io.IOException

Throws:: java.io.IOException

printMethodReference

protected void printMethodReference(MethodReference x,
                                    boolean withSemicolon)
                             throws java.io.IOException

Throws:: java.io.IOException

printMethod

public void printMethod(IProgramMethod x)
                 throws java.io.IOException

Throws:: java.io.IOException

printFullMethodSignature

public void printFullMethodSignature(IProgramMethod x)
                              throws java.io.IOException

Throws:: java.io.IOException

writeFullMethodSignature

protected void writeFullMethodSignature(IProgramMethod x)
                                 throws java.io.IOException

Throws:: java.io.IOException

printExecutionContext

public void printExecutionContext(ExecutionContext x)
                           throws java.io.IOException

Throws:: java.io.IOException

printSuperConstructorReference

public void printSuperConstructorReference(SuperConstructorReference x)
                                    throws java.io.IOException

Throws:: java.io.IOException

printThisConstructorReference

public void printThisConstructorReference(ThisConstructorReference x)
                                   throws java.io.IOException

Throws:: java.io.IOException

printSuperReference

public void printSuperReference(SuperReference x)
                         throws java.io.IOException

Throws:: java.io.IOException

printThisReference

public void printThisReference(ThisReference x)
                        throws java.io.IOException

Throws:: java.io.IOException

printArrayLengthReference

public void printArrayLengthReference(ArrayLengthReference x)
                               throws java.io.IOException

Throws:: java.io.IOException

printThen

public void printThen(Then x)
               throws java.io.IOException

Throws:: java.io.IOException

printElse

public void printElse(Else x)
               throws java.io.IOException

Throws:: java.io.IOException

printCase

public void printCase(Case x)
               throws java.io.IOException

Throws:: java.io.IOException

printCatch

public void printCatch(Catch x)
                throws java.io.IOException

Throws:: java.io.IOException

printDefault

public void printDefault(Default x)
                  throws java.io.IOException

Throws:: java.io.IOException

printFinally

public void printFinally(Finally x)
                  throws java.io.IOException

Throws:: java.io.IOException

printModifier

public void printModifier(Modifier x)
                   throws java.io.IOException

Throws:: java.io.IOException

printSchemaVariable

public void printSchemaVariable(SchemaVariable x)
                         throws java.io.IOException

Throws:: java.io.IOException

printEmptyStatement

public void printEmptyStatement(EmptyStatement x)
                         throws java.io.IOException

Throws:: java.io.IOException

printComment

public void printComment(Comment x)
                  throws java.io.IOException

Throws:: java.io.IOException

printParenthesizedExpression

public void printParenthesizedExpression(ParenthesizedExpression x)
                                  throws java.io.IOException

Throws:: java.io.IOException

printPassiveExpression

public void printPassiveExpression(PassiveExpression x)
                            throws java.io.IOException

Throws:: java.io.IOException

printTransactionStatement

public void printTransactionStatement(TransactionStatement x)
                               throws java.io.IOException

Throws:: java.io.IOException

printEmptyMapLiteral

public void printEmptyMapLiteral(EmptyMapLiteral x)
                          throws java.io.IOException

Throws:: java.io.IOException

Class PrettyPrinter

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

line

column

level

out

outBuf

noLinefeed

noSemicolons

classToPrint

firstStatementStart

firstStatementEnd

startAlreadyMarked

endAlreadyMarked

firstStatement

instantiations

keywordStarts

keywordRanges

writtenCharacters

isPrintingSingleLineComments

indentMap

BLANKS

FEEDS

indentation

overwriteIndentation

overwriteParsePositions

Constructor Detail

PrettyPrinter

PrettyPrinter

PrettyPrinter

PrettyPrinter

Method Detail

output

getCurrentPos

markStart

markEnd

getRangeOfFirstExecutableStatement

markKeywordStart

markKeywordEnd

getKeywordRanges

reset

setWriter

getLine

getColumn

getIndentationLevel

setIndentationLevel

getTotalIndentation

changeLevel

writeIndentation

writeIndentation

writeIndentation

writeInternalIndentation

writeSymbol

encodeUnicodeChars

scheduleComment

writeElement

getRelativePosition

writeToken

writeToken

writeToken

writeElement

writeElement

writeElement

writeImmutableArrayOfProgramElement

writeKeywordList

writeKeywordList

writeCommaList

writeCommaList

writeCommaList

writeLineList

writeLineList

writeBlockList

writeBlockList

dumpComments

write

write