de.uka.ilkd.key.java.recoderext

Class RegisteredEscapeExpression

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.expression.Operator

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

de.uka.ilkd.key.java.recoderext.RegisteredEscapeExpression

All Implemented Interfaces:

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

public class RegisteredEscapeExpression
extends EscapeExpression

This class handles all escape expressions in set-statements, that are registered in JMLTranslator.jml2jdl

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
private java.lang.String	mapEscape
private static long	serialVersionUID generated UID

Fields inherited from class de.uka.ilkd.key.java.recoderext.EscapeExpression

functionName

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

Constructor and Description
RegisteredEscapeExpression(java.lang.String mapEscape, java.util.List<Expression> arguments)

Method Summary

Modifier and Type	Method and Description
Expression	deepClone()
java.lang.String	toSource()

Methods inherited from class de.uka.ilkd.key.java.recoderext.EscapeExpression

accept, getArity, getEscapeExpression, getFunctionName, getNotation, 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

Methods inherited from class java.lang.Object

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

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

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

generated UID

See Also:

Constant Field Values

mapEscape

private final java.lang.String mapEscape

Constructor Detail

RegisteredEscapeExpression

RegisteredEscapeExpression(java.lang.String mapEscape,
                           java.util.List<Expression> arguments)

Method Detail

deepClone

public Expression deepClone()

toSource

public java.lang.String toSource()

Specified by:

toSource in interface SourceElement

Overrides:

toSource in class JavaSourceElement