de.uka.ilkd.key.java.recoderext

Class EscapeExpression

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.expression.Operator

de.uka.ilkd.key.java.recoderext.EscapeExpression

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, Expression, ExpressionContainer, NonTerminalProgramElement, ProgramElement, SourceElement, ModelElement

Direct Known Subclasses:

DLEmbeddedExpression, RegisteredEscapeExpression

public abstract class EscapeExpression
extends Operator

Handles JML expressions that begin with an escape character '\'. 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.

Author:

Kai Wallisch

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	functionName
private static long	serialVersionUID generated UID

Fields inherited from class recoder.java.expression.Operator

children, expressionParent, INFIX, POSTFIX, PREFIX

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	EscapeExpression(java.lang.String functionName, java.util.List<Expression> arguments)

Method Summary

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()

Methods inherited from class recoder.java.expression.Operator

getArguments, getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionContainer, getExpressionCount, getFirstElement, getLastElement, isLeftAssociative, isToBeParenthesized, makeParentRoleValid, precedes, replaceChild, setArguments, setExpressionContainer

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.Expression

deepClone

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

generated UID

See Also:

Constant Field Values

functionName

protected final java.lang.String functionName

Constructor Detail

EscapeExpression

protected EscapeExpression(java.lang.String functionName,
                           java.util.List<Expression> arguments)

Method Detail

getFunctionName

public java.lang.String getFunctionName()

Returns:

the functionName

getEscapeExpression

public static EscapeExpression getEscapeExpression(java.lang.String functionName,
                                                   java.util.List<Expression> arguments)

getArity

public int getArity()

Arity of an embedded JavaDL Expression depends upon the number of arguments.

Specified by:

getArity in class Operator

getNotation

public int getNotation()

Specified by:

getNotation in class Operator

getPrecedence

public int getPrecedence()

Specified by:

getPrecedence in class Operator

accept

public void accept(SourceVisitor v)