public class PassiveExpression extends ParenthesizedExpression
Constructor and Description |
---|
PassiveExpression(Expression child) |
PassiveExpression(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
void |
prettyPrint(PrettyPrinter w)
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
|
getArity, getChildAt, getChildCount, getFirstElement, getKeYJavaType, getLastElement, getNotation, getPrecedence, getReferencePrefix, setReferencePrefix
getArguments, getExpressionAt, getExpressionCount, getFirstElementIncludingBlocks, isLeftAssociative, isToBeParenthesized, precedes, reuseSignature
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain
getEndPosition, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElementIncludingBlocks, getPositionInfo, getRelativePosition, getStartPosition
public PassiveExpression(ExtList children)
children
- the children of this AST element as KeY classes.
In this case the order of the children is IMPORTANT.
May contain:
several of Expression (should be one, the first is taken
as parenthesized expression),
Commentspublic PassiveExpression(Expression child)
public void visit(Visitor v)
visit
in interface SourceElement
visit
in class ParenthesizedExpression
v
- the Visitorpublic void prettyPrint(PrettyPrinter w) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class ParenthesizedExpression
w
- a pretty printer.java.io.IOException
- occasionally thrown.