de.uka.ilkd.key.testgen

Class CustomPrettyPrinter

java.lang.Object

de.uka.ilkd.key.java.PrettyPrinter

de.uka.ilkd.key.testgen.CustomPrettyPrinter

public class CustomPrettyPrinter
extends PrettyPrinter

Field Summary

Fields inherited from class de.uka.ilkd.key.java.PrettyPrinter

classToPrint, endAlreadyMarked, firstStatement, firstStatementEnd, firstStatementStart, indentMap, instantiations, level, noLinefeed, noSemicolons, out, outBuf, startAlreadyMarked, writtenCharacters

Constructor Summary

Constructors

Constructor and Description
CustomPrettyPrinter(java.io.Writer o)
CustomPrettyPrinter(java.io.Writer o, boolean noLinefeed)
CustomPrettyPrinter(java.io.Writer o, boolean noLinefeed, SVInstantiations svi)
CustomPrettyPrinter(java.io.Writer o, SVInstantiations svi)

Method Summary

Modifier and Type	Method and Description
void	printMethodBodyStatement(MethodBodyStatement x)

Methods inherited from class de.uka.ilkd.key.java.PrettyPrinter

changeLevel, containsDefaultConstructor, encodeUnicodeChars, getColumn, getCurrentPos, getIndentation, getIndentationLevel, getKeywordRanges, getLine, getRangeOfFirstExecutableStatement, getRelativePosition, getTotalIndentation, getTypeNameForAccessMethods, isOverwritingIndentation, isOverwritingParsePositions, markEnd, markKeywordEnd, markKeywordStart, markStart, output, printAllFields, printAllObjects, printArrayDeclaration, printArrayInitializer, printArrayLengthReference, printArrayReference, printAssert, printBinaryAnd, printBinaryAndAssignment, printBinaryNot, printBinaryOr, printBinaryOrAssignment, printBinaryXOr, printBinaryXOrAssignment, printBooleanLiteral, printBreak, printCase, printCatch, printCatchAllStatement, printCharLiteral, printClassDeclaration, printClassInitializer, printComment, printCompilationUnit, printConditional, printContextStatementBlock, printContinue, printCopyAssignment, printDefault, printDivide, printDivideAssignment, printDLEmbeddedExpression, printDo, printDo, printDoubleLiteral, printElse, printEmptyMapLiteral, printEmptySeqLiteral, printEmptySetLiteral, printEmptyStatement, printEnhancedFor, printEnhancedFor, printEquals, printExactInstanceof, printExecutionContext, printExtends, printFieldDeclaration, printFieldReference, printFinally, printFloatLiteral, printFooter, printFor, printFor, printFullMethodSignature, printGreaterOrEquals, printGreaterThan, printHeader, printHeader, printHeader, printHeader, printIf, printIf, printImplements, printImport, printIndexOf, printInstanceof, printInterfaceDeclaration, printIntersect, printIntLiteral, printLabeledStatement, printLessOrEquals, printLessThan, printLocalVariableDeclaration, printLogicalAnd, printLogicalNot, printLogicalOr, printLongLiteral, printLoopScopeBlock, printMergePointStatementBlock, printMetaClassReference, printMethod, printMethodDeclaration, printMethodFrame, printMethodReference, printMethodReference, printMinus, printMinusAssignment, printModifier, printModulo, printModuloAssignment, printNegative, printNew, printNewArray, printNotEquals, printNullLiteral, printOperator, printPackageReference, printPackageSpecification, printParenthesizedExpression, printPassiveExpression, printPlus, printPlusAssignment, printPositive, printPostDecrement, printPostIncrement, printPreDecrement, printPreIncrement, printProgramElementName, printProgramMetaConstruct, printProgramMethod, printProgramVariable, printReturn, printSchemaTypeReference, printSchemaVariable, printSeqConcat, printSeqGet, printSeqLength, printSeqReverse, printSeqSingleton, printSeqSub, printSetMinus, printSetUnion, printShiftLeft, printShiftLeftAssignment, printShiftRight, printShiftRightAssignment, printSingleton, printStatementBlock, printStringLiteral, printSuperConstructorReference, printSuperReference, printSwitch, printSwitch, printSynchronizedBlock, printThen, printThisConstructorReference, printThisReference, printThrow, printThrows, printTimes, printTimesAssignment, printTransactionStatement, printTry, printTypeCast, printTypeReference, printTypeReference, printUnsignedShiftRight, printUnsignedShiftRightAssignment, printVariableDeclaration, printVariableSpecification, printWhile, printWhile, removeFinal, replacePrivateByPublic, reset, scheduleComment, setIndentationLevel, setWriter, write, write, write, write, write, writeBlockList, writeBlockList, writeCommaList, writeCommaList, writeCommaList, writeElement, writeElement, writeElement, writeElement, writeFullMethodSignature, writeImmutableArrayOfProgramElement, writeIndentation, writeIndentation, writeIndentation, writeInternalIndentation, writeKeywordList, writeKeywordList, writeLineList, writeLineList, writeSymbol, writeToken, writeToken, writeToken

Methods inherited from class java.lang.Object

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

Constructor Detail

CustomPrettyPrinter

public CustomPrettyPrinter(java.io.Writer o)

CustomPrettyPrinter

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

CustomPrettyPrinter

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

CustomPrettyPrinter

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

Method Detail

printMethodBodyStatement

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

Overrides:

printMethodBodyStatement in class PrettyPrinter

Throws:

java.io.IOException