public class Return extends ExpressionJumpStatement
expression| Constructor and Description |
|---|
Return(Expression expr)
Expression jump statement.
|
Return(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
| Modifier and Type | Method and Description |
|---|---|
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getChildAt, getChildCount, getExpression, getExpressionAt, getExpressionCountcompatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildrengetComments, hashCode, prettyPrintMain, reuseSignaturegetEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetComments, matchequalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPositionpublic Return(Expression expr)
expr - an Expression used to jumppublic Return(ExtList children)
children - the children of this AST element as KeY classes.
May contain: an Expression (as expression of the
ExpressionJumpStatement),
Commentspublic void visit(Visitor v)
v - the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElementprettyPrint in interface SourceElementprettyPrint in class JavaProgramElementp - a pretty printer.java.io.IOException - occasionally thrown.