public class RegisteredEscapeExpression extends EscapeExpression
ProgramElement.TreeStructure
SourceElement.Position
functionName
children, expressionParent, INFIX, POSTFIX, PREFIX
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier and Type | Method and Description |
---|---|
Expression |
deepClone() |
java.lang.String |
toSource() |
accept, getArity, getEscapeExpression, getFunctionName, getNotation, getPrecedence
getArguments, getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, getFirstElement, getLastElement, isLeftAssociative, isToBeParenthesized, makeParentRoleValid, precedes, replaceChild, setArguments, setExpressionContainer
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition
validate
public Expression deepClone()
public java.lang.String toSource()
toSource
in interface SourceElement
toSource
in class JavaSourceElement
Copyright © 2003-2019 The KeY-Project.