public abstract class EscapeExpression extends Operator
Escaped identifiers in JML code are usually (always?) function symbols. JML function symbols begin with an escape character, to distinguish them from Java function symbols that might occur in an annotated source code.
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
functionName |
children, expressionParent, INFIX, POSTFIX, PREFIX
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
protected |
EscapeExpression(java.lang.String functionName,
java.util.List<Expression> arguments) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
int |
getArity()
Arity of an embedded JavaDL Expression depends upon the number of
arguments.
|
static EscapeExpression |
getEscapeExpression(java.lang.String functionName,
java.util.List<Expression> arguments) |
java.lang.String |
getFunctionName() |
int |
getNotation() |
int |
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, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
deepClone
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
protected EscapeExpression(java.lang.String functionName, java.util.List<Expression> arguments)
public java.lang.String getFunctionName()
public static EscapeExpression getEscapeExpression(java.lang.String functionName, java.util.List<Expression> arguments)
public int getArity()
public int getNotation()
getNotation
in class Operator
public int getPrecedence()
getPrecedence
in class Operator
public void accept(SourceVisitor v)
Copyright © 2003-2019 The KeY-Project.