Java Doc for PrettyPrinter.java in  » Testing » KeY » de » uka » ilkd » key » java » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation 1.  6.0 JDK Core 2.  6.0 JDK Modules 3.  6.0 JDK Modules com.sun 4.  6.0 JDK Modules com.sun.java 5.  6.0 JDK Modules sun 6.  6.0 JDK Platform 7.  Ajax 8.  Apache Harmony Java SE 9.  Aspect oriented 10.  Authentication Authorization 11.  Blogger System 12.  Build 13.  Byte Code 14.  Cache 15.  Chart 16.  Chat 17.  Code Analyzer 18.  Collaboration 19.  Content Management System 20.  Database Client 21.  Database DBMS 22.  Database JDBC Connection Pool 23.  Database ORM 24.  Development 25.  EJB Server geronimo 26.  EJB Server GlassFish 27.  EJB Server JBoss 4.2.1 28.  EJB Server resin 3.1.5 29.  ERP CRM Financial 30.  ESB 31.  Forum 32.  GIS 33.  Graphic Library 34.  Groupware 35.  HTML Parser 36.  IDE 37.  IDE Eclipse 38.  IDE Netbeans 39.  Installer 40.  Internationalization Localization 41.  Inversion of Control 42.  Issue Tracking 43.  J2EE 44.  JBoss 45.  JMS 46.  JMX 47.  Library 48.  Mail Clients 49.  Net 50.  Parser 51.  PDF 52.  Portal 53.  Profiler 54.  Project Management 55.  Report 56.  RSS RDF 57.  Rule Engine 58.  Science 59.  Scripting 60.  Search Engine 61.  Security 62.  Sevlet Container 63.  Source Control 64.  Swing Library 65.  Template Engine 66.  Test Coverage 67.  Testing 68.  UML 69.  Web Crawler 70.  Web Framework 71.  Web Mail 72.  Web Server 73.  Web Services 74.  Web Services apache cxf 2.0.1 75.  Web Services AXIS2 76.  Wiki Engine 77.  Workflow Engines 78.  XML 79.  XML UI Java Java Tutorial Java Open Source Jar File Download Java Articles Java Products Java by API Photoshop Tutorials Maya Tutorials Flash Tutorials 3ds-Max Tutorials Illustrator Tutorials GIMP Tutorials C# / C Sharp C# / CSharp Tutorial C# / CSharp Open Source ASP.Net ASP.NET Tutorial JavaScript DHTML JavaScript Tutorial JavaScript Reference HTML / CSS HTML CSS Reference C / ANSI-C C Tutorial C++ C++ Tutorial Ruby PHP Python Python Tutorial Python Open Source SQL Server / T-SQL SQL Server / T-SQL Tutorial Oracle PL / SQL Oracle PL/SQL Tutorial PostgreSQL SQL / MySQL MySQL Tutorial VB.Net VB.Net Tutorial Flash / Flex / ActionScript VBA / Excel / Access / Word XML XML Tutorial Microsoft Office PowerPoint 2007 Tutorial Microsoft Office Excel 2007 Tutorial Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Testing » KeY » de.uka.ilkd.key.java   Source Cross Reference   Class Diagram   Java Document (Java Doc)   java.lang.Object    de.uka.ilkd.key.java.PrettyPrinter All known Subclasses:   de.uka.ilkd.key.pp.ProgramPrinter, PrettyPrinter public class PrettyPrinter (Code) A configurable pretty printer for Java source elements originally from COMPOST. author:    AL author:    CHANGED FOR KeY. Comments are not printed! Field Summary protected  Type classToPrint      protected  boolean endAlreadyMarked      protected  boolean fileWriterMode      protected  Object firstStatement      protected  int firstStatementEnd      protected  int firstStatementStart      protected  SVInstantiations instantiations      protected  int level      Level. static  Logger logger      protected  boolean noLinefeed      protected  boolean noSemicolons      protected  Writer out      protected  StringBuffer outBuf      protected  boolean startAlreadyMarked      protected  int writtenCharacters      Constructor Summary public   PrettyPrinter(Writer o)      public   PrettyPrinter(Writer o, boolean noLinefeed, boolean fileWriterMode)      public   PrettyPrinter(Writer o, SVInstantiations svi)      public   PrettyPrinter(Writer o, boolean noLinefeed)      public   PrettyPrinter(Writer o, boolean noLinefeed, SVInstantiations svi)      Method Summary public  void changeLevel(int delta)      Change level. protected static  String encodeUnicodeChars(String str)      Replace all unicode characters above ? by their explicite representation. Parameters:   str - the input string. public  int getColumn()      Get current column number. protected  int getCurrentPos()      protected  int getIndentation()      Get indentation amount (blanks per level). public  int getIndentationLevel()      Get indentation level. public  int getLine()      Get current line number. public  Range getRangeOfFirstExecutableStatement()      public  int getTotalIndentation()      Get total indentation. public static  String getTypeNameForAccessMethods(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, Object stmt)      Marks the end of the first executable statement ... protected  void markStart(int n, Object stmt)      Marks the start of the first executable statement ... protected  void output()      public  void printArrayDeclaration(ArrayDeclaration type)      public  void printArrayInitializer(ArrayInitializer x)      public  void printArrayLengthReference(ArrayLengthReference x)      public  void printArrayReference(ArrayReference x)      public  void printAssert(Assert x)      public  void printBinaryAnd(BinaryAnd x)      public  void printBinaryAndAssignment(BinaryAndAssignment x)      public  void printBinaryNot(BinaryNot x)      public  void printBinaryOr(BinaryOr x)      public  void printBinaryOrAssignment(BinaryOrAssignment x)      public  void printBinaryXOr(BinaryXOr x)      public  void printBinaryXOrAssignment(BinaryXOrAssignment x)      public  void printBooleanLiteral(BooleanLiteral x)      public  void printBreak(Break x)      public  void printCase(Case x)      public  void printCatch(Catch x)      public  void printCatchAllStatement(CatchAllStatement x)      public  void printCharLiteral(CharLiteral x)      public  void printClassDeclaration(ClassDeclaration x)      public  void printClassInitializer(ClassInitializer x)      public  void printComment(Comment x)      public  void printCompilationUnit(CompilationUnit x)      public  void printConditional(Conditional x)      public  void printContextStatementBlock(ContextStatementBlock x)      public  void printContinue(Continue x)      public  void printCopyAssignment(CopyAssignment x)      public  void printDefault(Default x)      public  void printDivide(Divide x)      public  void printDivideAssignment(DivideAssignment x)      public  void printDo(Do x)      public  void printDoubleLiteral(DoubleLiteral x)      public  void printElse(Else x)      public  void printEmptyStatement(EmptyStatement x)      public  void printEquals(Equals x)      public  void printExactInstanceof(ExactInstanceof x)      public  void printExecutionContext(ExecutionContext x)      public  void printExtends(Extends x)      public  void printFieldDeclaration(FieldDeclaration x)      public  void printFieldReference(FieldReference x)      public  void printFinally(Finally x)      public  void printFloatLiteral(FloatLiteral x)      protected  void printFooter(ProgramElement x)      Print program element footer. public  void printFor(For x)      public  void printGreaterOrEquals(GreaterOrEquals x)      public  void printGreaterThan(GreaterThan x)      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. protected  void printHeader(int lf, int levelChange, int blanks, ProgramElement x)      Print program element header. public  void printIf(If x)      public  void printImplements(Implements x)      public  void printImport(Import x)      public  void printInstanceof(Instanceof x)      public  void printIntLiteral(IntLiteral x)      public  void printInterfaceDeclaration(InterfaceDeclaration x)      public  void printLabeledStatement(LabeledStatement x)      public  void printLessOrEquals(LessOrEquals x)      public  void printLessThan(LessThan x)      public  void printLocalVariableDeclaration(LocalVariableDeclaration x)      public  void printLogicalAnd(LogicalAnd x)      public  void printLogicalNot(LogicalNot x)      public  void printLogicalOr(LogicalOr x)      public  void printLongLiteral(LongLiteral x)      public  void printMetaClassReference(MetaClassReference x)      public  void printMethod(ProgramMethod x)      public  void printMethodBodyStatement(MethodBodyStatement x)      public  void printMethodDeclaration(MethodDeclaration x)      public  void printMethodFrame(MethodFrame x)      public  void printMethodReference(MethodReference x)      public  void printMinus(Minus x)      public  void printMinusAssignment(MinusAssignment x)      public  void printModifier(Modifier x)      public  void printModulo(Modulo x)      public  void printModuloAssignment(ModuloAssignment x)      public  void printNegative(Negative x)      public  void printNew(New x)      public  void printNewArray(NewArray x)      public  void printNotEquals(NotEquals x)      public  void printNullLiteral(NullLiteral x)      protected  void printOperator(Operator x, String symbol)      public  void printPackageReference(PackageReference x)      public  void printPackageSpecification(PackageSpecification x)      public  void printParenthesizedExpression(ParenthesizedExpression x)      public  void printPassiveExpression(PassiveExpression x)      public  void printPlus(Plus x)      public  void printPlusAssignment(PlusAssignment x)      public  void printPositive(Positive x)      public  void printPostDecrement(PostDecrement x)      public  void printPostIncrement(PostIncrement x)      public  void printPreDecrement(PreDecrement x)      public  void printPreIncrement(PreIncrement x)      public  void printProgramElementName(ProgramElementName x)      public  void printProgramMetaConstruct(ProgramMetaConstruct x)      public  void printProgramMethod(ProgramMethod x)      public  void printProgramSVProxy(ProgramSVProxy x)      public  void printProgramVariable(ProgramVariable x)      public  void printReturn(Return x)      public  void printSchemaTypeReference(SchemaTypeReference x)      public  void printSchemaVariable(SchemaVariable x)      public  void printShiftLeft(ShiftLeft x)      public  void printShiftLeftAssignment(ShiftLeftAssignment x)      public  void printShiftRight(ShiftRight x)      public  void printShiftRightAssignment(ShiftRightAssignment x)      public  void printStatementBlock(StatementBlock x)      public  void printStringLiteral(StringLiteral x)      public  void printSuperConstructorReference(SuperConstructorReference x)      public  void printSuperReference(SuperReference x)      public  void printSwitch(Switch x)      public  void printSynchronizedBlock(SynchronizedBlock x)      public  void printThen(Then x)      public  void printThisConstructorReference(ThisConstructorReference x)      public  void printThisReference(ThisReference x)      public  void printThrow(Throw x)      public  void printThrows(Throws x)      public  void printTimes(Times x)      public  void printTimesAssignment(TimesAssignment x)      public  void printTry(Try x)      public  void printTypeCast(TypeCast x)      public  void printTypeReference(TypeReference x)      public  void printUnsignedShiftRight(UnsignedShiftRight x)      public  void printUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)      public  void printVariableDeclaration(VariableDeclaration x)      public  void printVariableSpecification(VariableSpecification x)      public  void printWhile(While x)      public  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. public  void setIndentationLevel(int level)      Set indentation level. public  void setWriter(Writer out)      Set a new stream to write to. public  void write(int c)      Write. public  void write(char[] cbuf)      Write. public  void write(char[] cbuf, int off, int len)      Write. public  void write(String str)      Write. public  void write(String str, int off, int len)      Write. protected  void writeArrayOfProgramElement(int firstLF, int levelChange, int firstBlanks, String separationSymbol, int separationLF, int separationBlanks, ArrayOfProgramElement list)      Write a complete ArrayOfProgramElement. protected  void writeBlockList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list)      Write a complete ArrayOfProgramElement using "Block" style. protected  void writeBlockList(ArrayOfProgramElement list)      Write block list. protected  void writeCommaList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list)      Write a complete ArrayOfProgramElement using "Comma" style. protected  void writeCommaList(int separationBlanks, ArrayOfProgramElement list)      Write comma list. protected  void writeCommaList(ArrayOfProgramElement list)      Write comma list. 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 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(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list)      Write a complete ArrayOfProgramElement using "Keyword" style. protected  void writeKeywordList(ArrayOfProgramElement list)      Write keyword list. protected  void writeLineList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list)      Write a complete ArrayOfProgramElement using "Line" style. protected  void writeLineList(ArrayOfProgramElement list)      Write line list. protected  void writeSymbol(int lf, int levelChange, String symbol)      Write symbol. protected  void writeToken(int lf, int blanks, String image, NonTerminalProgramElement parent)      Writes an implicit terminal token of a NonTerminal, including its indentation. final protected  void writeToken(int blanks, String image, NonTerminalProgramElement parent)      final protected  void writeToken(String image, NonTerminalProgramElement parent)      Field Detail classToPrint protected Type classToPrint(Code) endAlreadyMarked protected boolean endAlreadyMarked(Code) fileWriterMode protected boolean fileWriterMode(Code) firstStatement protected Object firstStatement(Code) firstStatementEnd protected int firstStatementEnd(Code) firstStatementStart protected int firstStatementStart(Code) instantiations protected SVInstantiations instantiations(Code) level protected int level(Code) Level. logger static Logger logger(Code) noLinefeed protected boolean noLinefeed(Code) noSemicolons protected boolean noSemicolons(Code) out protected Writer out(Code) outBuf protected StringBuffer outBuf(Code) startAlreadyMarked protected boolean startAlreadyMarked(Code) writtenCharacters protected int writtenCharacters(Code) The number of charcters that have been send to the writer Constructor Detail PrettyPrinter public PrettyPrinter(Writer o)(Code) creates a new PrettyPrinter PrettyPrinter public PrettyPrinter(Writer o, boolean noLinefeed, boolean fileWriterMode)(Code) PrettyPrinter public PrettyPrinter(Writer o, SVInstantiations svi)(Code) PrettyPrinter public PrettyPrinter(Writer o, boolean noLinefeed)(Code) PrettyPrinter public PrettyPrinter(Writer o, boolean noLinefeed, SVInstantiations svi)(Code) Method Detail changeLevel public void changeLevel(int delta)(Code) Change level. Parameters:   delta - an int value. encodeUnicodeChars protected static String encodeUnicodeChars(String str)(Code) Replace all unicode characters above ? by their explicite representation. Parameters:   str - the input string. the encoded string. getColumn public int getColumn()(Code) Get current column number. the column number, starting with 0. getCurrentPos protected int getCurrentPos()(Code) Numbers of generated characters getIndentation protected int getIndentation()(Code) Get indentation amount (blanks per level). the value of getIntegerProperty("indentationAmount"). getIndentationLevel public int getIndentationLevel()(Code) Get indentation level. the int value. getLine public int getLine()(Code) Get current line number. the line number, starting with 0. getRangeOfFirstExecutableStatement public Range getRangeOfFirstExecutableStatement()(Code) the range of the first executable statement that meansthe corresponding start and end position in the string representation getTotalIndentation public int getTotalIndentation()(Code) Get total indentation. the int value. getTypeNameForAccessMethods public static String getTypeNameForAccessMethods(String typeName)(Code) isOverwritingIndentation protected boolean isOverwritingIndentation()(Code) Returns true if the pretty printer should also reformat existing code. the value of the overwriteIndentation property. isOverwritingParsePositions protected boolean isOverwritingParsePositions()(Code) Returns true if the pretty printer should reset the parse positions accordingly. the value of the overwriteParsePositions property. markEnd protected void markEnd(int n, Object stmt)(Code) Marks the end of the first executable statement ... Parameters:   n - offset from the current position markStart protected void markStart(int n, Object stmt)(Code) Marks the start of the first executable statement ... Parameters:   n - offset from the current position Parameters:   stmt - current statement; output protected void output() throws IOException(Code) printArrayDeclaration public void printArrayDeclaration(ArrayDeclaration type) throws java.io.IOException(Code) printArrayInitializer public void printArrayInitializer(ArrayInitializer x) throws java.io.IOException(Code) printArrayLengthReference public void printArrayLengthReference(ArrayLengthReference x) throws java.io.IOException(Code) printArrayReference public void printArrayReference(ArrayReference x) throws java.io.IOException(Code) printAssert public void printAssert(Assert x) throws java.io.IOException(Code) printBinaryAnd public void printBinaryAnd(BinaryAnd x) throws java.io.IOException(Code) printBinaryAndAssignment public void printBinaryAndAssignment(BinaryAndAssignment x) throws java.io.IOException(Code) printBinaryNot public void printBinaryNot(BinaryNot x) throws java.io.IOException(Code) printBinaryOr public void printBinaryOr(BinaryOr x) throws java.io.IOException(Code) printBinaryOrAssignment public void printBinaryOrAssignment(BinaryOrAssignment x) throws java.io.IOException(Code) printBinaryXOr public void printBinaryXOr(BinaryXOr x) throws java.io.IOException(Code) printBinaryXOrAssignment public void printBinaryXOrAssignment(BinaryXOrAssignment x) throws java.io.IOException(Code) printBooleanLiteral public void printBooleanLiteral(BooleanLiteral x) throws java.io.IOException(Code) printBreak public void printBreak(Break x) throws java.io.IOException(Code) printCase public void printCase(Case x) throws java.io.IOException(Code) printCatch public void printCatch(Catch x) throws java.io.IOException(Code) printCatchAllStatement public void printCatchAllStatement(CatchAllStatement x) throws java.io.IOException(Code) printCharLiteral public void printCharLiteral(CharLiteral x) throws java.io.IOException(Code) printClassDeclaration public void printClassDeclaration(ClassDeclaration x) throws java.io.IOException(Code) printClassInitializer public void printClassInitializer(ClassInitializer x) throws java.io.IOException(Code) printComment public void printComment(Comment x) throws java.io.IOException(Code) printCompilationUnit public void printCompilationUnit(CompilationUnit x) throws java.io.IOException(Code) printConditional public void printConditional(Conditional x) throws java.io.IOException(Code) printContextStatementBlock public void printContextStatementBlock(ContextStatementBlock x) throws java.io.IOException(Code) printContinue public void printContinue(Continue x) throws java.io.IOException(Code) printCopyAssignment public void printCopyAssignment(CopyAssignment x) throws java.io.IOException(Code) printDefault public void printDefault(Default x) throws java.io.IOException(Code) printDivide public void printDivide(Divide x) throws java.io.IOException(Code) printDivideAssignment public void printDivideAssignment(DivideAssignment x) throws java.io.IOException(Code) printDo public void printDo(Do x) throws java.io.IOException(Code) printDoubleLiteral public void printDoubleLiteral(DoubleLiteral x) throws java.io.IOException(Code) printElse public void printElse(Else x) throws java.io.IOException(Code) printEmptyStatement public void printEmptyStatement(EmptyStatement x) throws java.io.IOException(Code) printEquals public void printEquals(Equals x) throws java.io.IOException(Code) printExactInstanceof public void printExactInstanceof(ExactInstanceof x) throws java.io.IOException(Code) printExecutionContext public void printExecutionContext(ExecutionContext x) throws java.io.IOException(Code) printExtends public void printExtends(Extends x) throws java.io.IOException(Code) printFieldDeclaration public void printFieldDeclaration(FieldDeclaration x) throws java.io.IOException(Code) printFieldReference public void printFieldReference(FieldReference x) throws java.io.IOException(Code) printFinally public void printFinally(Finally x) throws java.io.IOException(Code) printFloatLiteral public void printFloatLiteral(FloatLiteral x) throws java.io.IOException(Code) printFooter protected void printFooter(ProgramElement x) throws IOException(Code) Print program element footer. Parameters:   x - the program element. exception:   IOException - occasionally thrown. printFor public void printFor(For x) throws java.io.IOException(Code) printGreaterOrEquals public void printGreaterOrEquals(GreaterOrEquals x) throws java.io.IOException(Code) printGreaterThan public void printGreaterThan(GreaterThan x) throws java.io.IOException(Code) printHeader protected void printHeader(int lf, int blanks, ProgramElement elem) throws IOException(Code) Print program element header. Parameters:   lf - an int value. Parameters:   blanks - an int value. Parameters:   elem - a program element. exception:   IOException - occasionally thrown. printHeader protected void printHeader(int blanks, ProgramElement elem) throws IOException(Code) Print program element header. Parameters:   blanks - an int value. Parameters:   elem - a program element. exception:   IOException - occasionally thrown. printHeader protected void printHeader(ProgramElement elem) throws IOException(Code) Print program element header. Parameters:   elem - a program element. exception:   IOException - occasionally thrown. printHeader protected void printHeader(int lf, int levelChange, int blanks, ProgramElement x) throws IOException(Code) Print program element header. Parameters:   lf - number of line feeds. Parameters:   levelChange - the level change. Parameters:   blanks - number of white spaces. Parameters:   x - the program element. exception:   IOException - occasionally thrown. printIf public void printIf(If x) throws java.io.IOException(Code) printImplements public void printImplements(Implements x) throws java.io.IOException(Code) printImport public void printImport(Import x) throws java.io.IOException(Code) printInstanceof public void printInstanceof(Instanceof x) throws java.io.IOException(Code) printIntLiteral public void printIntLiteral(IntLiteral x) throws java.io.IOException(Code) printInterfaceDeclaration public void printInterfaceDeclaration(InterfaceDeclaration x) throws java.io.IOException(Code) printLabeledStatement public void printLabeledStatement(LabeledStatement x) throws java.io.IOException(Code) printLessOrEquals public void printLessOrEquals(LessOrEquals x) throws java.io.IOException(Code) printLessThan public void printLessThan(LessThan x) throws java.io.IOException(Code) printLocalVariableDeclaration public void printLocalVariableDeclaration(LocalVariableDeclaration x) throws java.io.IOException(Code) printLogicalAnd public void printLogicalAnd(LogicalAnd x) throws java.io.IOException(Code) printLogicalNot public void printLogicalNot(LogicalNot x) throws java.io.IOException(Code) printLogicalOr public void printLogicalOr(LogicalOr x) throws java.io.IOException(Code) printLongLiteral public void printLongLiteral(LongLiteral x) throws java.io.IOException(Code) printMetaClassReference public void printMetaClassReference(MetaClassReference x) throws java.io.IOException(Code) printMethod public void printMethod(ProgramMethod x) throws java.io.IOException(Code) printMethodBodyStatement public void printMethodBodyStatement(MethodBodyStatement x) throws java.io.IOException(Code) printMethodDeclaration public void printMethodDeclaration(MethodDeclaration x) throws java.io.IOException(Code) printMethodFrame public void printMethodFrame(MethodFrame x) throws java.io.IOException(Code) printMethodReference public void printMethodReference(MethodReference x) throws java.io.IOException(Code) printMinus public void printMinus(Minus x) throws java.io.IOException(Code) printMinusAssignment public void printMinusAssignment(MinusAssignment x) throws java.io.IOException(Code) printModifier public void printModifier(Modifier x) throws java.io.IOException(Code) printModulo public void printModulo(Modulo x) throws java.io.IOException(Code) printModuloAssignment public void printModuloAssignment(ModuloAssignment x) throws java.io.IOException(Code) printNegative public void printNegative(Negative x) throws java.io.IOException(Code) printNew public void printNew(New x) throws java.io.IOException(Code) printNewArray public void printNewArray(NewArray x) throws java.io.IOException(Code) printNotEquals public void printNotEquals(NotEquals x) throws java.io.IOException(Code) printNullLiteral public void printNullLiteral(NullLiteral x) throws java.io.IOException(Code) printOperator protected void printOperator(Operator x, String symbol) throws java.io.IOException(Code) printPackageReference public void printPackageReference(PackageReference x) throws java.io.IOException(Code) printPackageSpecification public void printPackageSpecification(PackageSpecification x) throws java.io.IOException(Code) printParenthesizedExpression public void printParenthesizedExpression(ParenthesizedExpression x) throws IOException(Code) printPassiveExpression public void printPassiveExpression(PassiveExpression x) throws IOException(Code) printPlus public void printPlus(Plus x) throws java.io.IOException(Code) printPlusAssignment public void printPlusAssignment(PlusAssignment x) throws java.io.IOException(Code) printPositive public void printPositive(Positive x) throws java.io.IOException(Code) printPostDecrement public void printPostDecrement(PostDecrement x) throws java.io.IOException(Code) printPostIncrement public void printPostIncrement(PostIncrement x) throws java.io.IOException(Code) printPreDecrement public void printPreDecrement(PreDecrement x) throws java.io.IOException(Code) printPreIncrement public void printPreIncrement(PreIncrement x) throws java.io.IOException(Code) printProgramElementName public void printProgramElementName(ProgramElementName x) throws java.io.IOException(Code) printProgramMetaConstruct public void printProgramMetaConstruct(ProgramMetaConstruct x) throws java.io.IOException(Code) printProgramMethod public void printProgramMethod(ProgramMethod x) throws java.io.IOException(Code) printProgramSVProxy public void printProgramSVProxy(ProgramSVProxy x) throws java.io.IOException(Code) printProgramVariable public void printProgramVariable(ProgramVariable x) throws java.io.IOException(Code) printReturn public void printReturn(Return x) throws java.io.IOException(Code) printSchemaTypeReference public void printSchemaTypeReference(SchemaTypeReference x) throws java.io.IOException(Code) printSchemaVariable public void printSchemaVariable(SchemaVariable x) throws java.io.IOException(Code) printShiftLeft public void printShiftLeft(ShiftLeft x) throws java.io.IOException(Code) printShiftLeftAssignment public void printShiftLeftAssignment(ShiftLeftAssignment x) throws java.io.IOException(Code) printShiftRight public void printShiftRight(ShiftRight x) throws java.io.IOException(Code) printShiftRightAssignment public void printShiftRightAssignment(ShiftRightAssignment x) throws java.io.IOException(Code) printStatementBlock public void printStatementBlock(StatementBlock x) throws java.io.IOException(Code) printStringLiteral public void printStringLiteral(StringLiteral x) throws java.io.IOException(Code) printSuperConstructorReference public void printSuperConstructorReference(SuperConstructorReference x) throws java.io.IOException(Code) printSuperReference public void printSuperReference(SuperReference x) throws java.io.IOException(Code) printSwitch public void printSwitch(Switch x) throws java.io.IOException(Code) printSynchronizedBlock public void printSynchronizedBlock(SynchronizedBlock x) throws java.io.IOException(Code) printThen public void printThen(Then x) throws java.io.IOException(Code) printThisConstructorReference public void printThisConstructorReference(ThisConstructorReference x) throws java.io.IOException(Code) printThisReference public void printThisReference(ThisReference x) throws java.io.IOException(Code) printThrow public void printThrow(Throw x) throws java.io.IOException(Code) printThrows public void printThrows(Throws x) throws java.io.IOException(Code) printTimes public void printTimes(Times x) throws java.io.IOException(Code) printTimesAssignment public void printTimesAssignment(TimesAssignment x) throws java.io.IOException(Code) printTry public void printTry(Try x) throws java.io.IOException(Code) printTypeCast public void printTypeCast(TypeCast x) throws java.io.IOException(Code) printTypeReference public void printTypeReference(TypeReference x) throws java.io.IOException(Code) printUnsignedShiftRight public void printUnsignedShiftRight(UnsignedShiftRight x) throws java.io.IOException(Code) printUnsignedShiftRightAssignment public void printUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x) throws java.io.IOException(Code) printVariableDeclaration public void printVariableDeclaration(VariableDeclaration x) throws java.io.IOException(Code) printVariableSpecification public void printVariableSpecification(VariableSpecification x) throws java.io.IOException(Code) printWhile public void printWhile(While x) throws java.io.IOException(Code) reset public void reset()(Code) Resets the state of this pretty printer ... scheduleComment protected void scheduleComment(SingleLineComment slc)(Code) Store the given comment until the next line feed is written. Parameters:   slc - the comment to delay. setIndentationLevel public void setIndentationLevel(int level)(Code) Set indentation level. Parameters:   level - an int value. setWriter public void setWriter(Writer out)(Code) Set a new stream to write to. Useful to redirect the output while retaining all other settings. Resets the current source positions and comments. write public void write(int c) throws IOException(Code) Write. Parameters:   c - an int value. exception:   IOException - occasionally thrown. write public void write(char[] cbuf) throws IOException(Code) Write. Parameters:   cbuf - a char value. exception:   IOException - occasionally thrown. write public void write(char[] cbuf, int off, int len) throws IOException(Code) Write. Parameters:   cbuf - an array of char. Parameters:   off - an int value. Parameters:   len - an int value. exception:   IOException - occasionally thrown. write public void write(String str) throws IOException(Code) Write. Parameters:   str - a string. exception:   IOException - occasionally thrown. write public void write(String str, int off, int len) throws IOException(Code) Write. Parameters:   str - a string. Parameters:   off - an int value. Parameters:   len - an int value. exception:   IOException - occasionally thrown. writeArrayOfProgramElement protected void writeArrayOfProgramElement(int firstLF, int levelChange, int firstBlanks, String separationSymbol, int separationLF, int separationBlanks, ArrayOfProgramElement list) throws IOException(Code) Write a complete ArrayOfProgramElement. writeBlockList protected void writeBlockList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list) throws IOException(Code) Write a complete ArrayOfProgramElement using "Block" style. writeBlockList protected void writeBlockList(ArrayOfProgramElement list) throws IOException(Code) Write block list. Parameters:   list - a program element list. exception:   IOException - occasionally thrown. writeCommaList protected void writeCommaList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list) throws IOException(Code) Write a complete ArrayOfProgramElement using "Comma" style. writeCommaList protected void writeCommaList(int separationBlanks, ArrayOfProgramElement list) throws IOException(Code) Write comma list. Parameters:   list - a program element list. exception:   IOException - occasionally thrown. writeCommaList protected void writeCommaList(ArrayOfProgramElement list) throws IOException(Code) Write comma list. Parameters:   list - a program element list. exception:   IOException - occasionally thrown. writeElement protected void writeElement(int lf, int levelChange, int blanks, SourceElement elem) throws IOException(Code) Adds indentation for a program element if necessary and if required, but does not print the indentation itself. writeElement protected void writeElement(int lf, int blanks, SourceElement elem) throws IOException(Code) Write a source element. Parameters:   lf - an int value. Parameters:   blanks - an int value. Parameters:   elem - a source element. exception:   IOException - occasionally thrown. writeElement protected void writeElement(int blanks, SourceElement elem) throws IOException(Code) Write source element. Parameters:   blanks - an int value. Parameters:   elem - a source element. exception:   IOException - occasionally thrown. writeElement protected void writeElement(SourceElement elem) throws IOException(Code) Write source element. Parameters:   elem - a source element. exception:   IOException - occasionally thrown. writeIndentation protected void writeIndentation(int lf, int blanks) throws IOException(Code) Convenience method to write indentation chars. writeIndentation protected void writeIndentation(Position relative) throws IOException(Code) Convenience method to write indentation chars. writeIndentation protected void writeIndentation(SourceElement elem) throws IOException(Code) Write indentation. Parameters:   elem - a source element. exception:   IOException - occasionally thrown. writeInternalIndentation protected void writeInternalIndentation(SourceElement elem) throws IOException(Code) Write internal indentation. Parameters:   elem - a source element. exception:   IOException - occasionally thrown. writeKeywordList protected void writeKeywordList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list) throws IOException(Code) Write a complete ArrayOfProgramElement using "Keyword" style. writeKeywordList protected void writeKeywordList(ArrayOfProgramElement list) throws IOException(Code) Write keyword list. Parameters:   list - a program element list. exception:   IOException - occasionally thrown. writeLineList protected void writeLineList(int firstLF, int levelChange, int firstBlanks, ArrayOfProgramElement list) throws IOException(Code) Write a complete ArrayOfProgramElement using "Line" style. writeLineList protected void writeLineList(ArrayOfProgramElement list) throws IOException(Code) Write line list. Parameters:   list - a program element list. exception:   IOException - occasionally thrown. writeSymbol protected void writeSymbol(int lf, int levelChange, String symbol) throws IOException(Code) Write symbol. Parameters:   lf - an int value. Parameters:   levelChange - an int value. Parameters:   symbol - a string. exception:   IOException - occasionally thrown. writeToken protected void writeToken(int lf, int blanks, String image, NonTerminalProgramElement parent) throws IOException(Code) Writes an implicit terminal token of a NonTerminal, including its indentation. Sets the indentation if it is necessary or required. See Also:   SourceElement.prettyPrint writeToken final protected void writeToken(int blanks, String image, NonTerminalProgramElement parent) throws IOException(Code) writeToken final protected void writeToken(String image, NonTerminalProgramElement parent) throws IOException(Code) Methods inherited from java.lang.Object protected Object clone() throws CloneNotSupportedException(Code)(Java Doc) public boolean equals(Object o)(Code)(Java Doc) protected void finalize() throws Throwable(Code)(Java Doc) final native public Class getClass()(Code)(Java Doc) public int hashCode()(Code)(Java Doc) final public void notify() throws IllegalMonitorStateException(Code)(Java Doc) final public void notifyAll() throws IllegalMonitorStateException(Code)(Java Doc) public String toString()(Code)(Java Doc) final public void wait() throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc) final public void wait(long ms, int ns) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)