public class PassiveExpression extends ParenthesizedExpression
ProgramElement.TreeStructure
SourceElement.Position
accessParent, statementParent
children, expressionParent, INFIX, POSTFIX, PREFIX
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
PassiveExpression()
creates a newly generated passive expression
|
PassiveExpression(Expression e)
creates a newly generated passive expression
|
PassiveExpression(PassiveExpression proto) |
Modifier and Type | Method and Description |
---|---|
PassiveExpression |
deepClone() |
accept, getArity, getASTParent, getChildAt, getChildCount, getFirstElement, getLastElement, getNotation, getPrecedence, getReferenceSuffix, getStatementContainer, setExpressionContainer, setReferenceSuffix, setStatementContainer
getArguments, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, isLeftAssociative, isToBeParenthesized, makeParentRoleValid, precedes, replaceChild, setArguments
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getExpressionContainer
getComments, setComments
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
public PassiveExpression()
public PassiveExpression(Expression e)
public PassiveExpression(PassiveExpression proto)
public PassiveExpression deepClone()
deepClone
in interface Expression
deepClone
in interface ExpressionStatement
deepClone
in interface SourceElement
deepClone
in interface Statement
deepClone
in class ParenthesizedExpression
Copyright © 2003-2019 The KeY-Project.