de.uka.ilkd.key.java.recoderext

Class MethodBodyStatement

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.statement.JavaStatement

de.uka.ilkd.key.java.recoderext.MethodBodyStatement

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, ExpressionContainer, NamedProgramElement, NonTerminalProgramElement, ProgramElement, ReferenceSuffix, TypeReferenceContainer, SourceElement, Statement, ModelElement, NamedModelElement

public class MethodBodyStatement
extends JavaStatement
implements TypeReferenceContainer, ExpressionContainer, NamedProgramElement, ReferenceSuffix

A shortcut-statement for a method body.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.NamedModelElement

NamedModelElement.LexicalOrder

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 ASTList<Expression>	arguments
private StatementContainer	astParent the ast parent
protected TypeReference	bodySource
private Identifier	methodName
private ReferencePrefix	methodReferencePrefix
protected Expression	resultVar
private static long	serialVersionUID

Fields inherited from class recoder.java.statement.JavaStatement

parent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.NamedModelElement

LEXICAL_ORDER

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Constructor and Description
MethodBodyStatement(TypeReference bodySource, Expression resultVar, MethodReference methRef) Construct a method body shortcut

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor v)
MethodBodyStatement	deepClone()
ASTList<Expression>	getArguments()
NonTerminalProgramElement	getASTParent()
TypeReference	getBodySource() Get the exact Class the denoted method body is from.
ProgramElement	getChildAt(int index) Returns the child at the specified index in this node's "virtual" child array
int	getChildCount() Returns the number of children of this node.
int	getChildPositionCode(ProgramElement child)
Expression	getExpressionAt(int index) Return the expression at the specified index in this node's "virtual" expression array.
int	getExpressionCount() Get the number of expressions in this container.
SourceElement	getFirstElement() Finds the source element that occurs first in the source.
Identifier	getIdentifier()
SourceElement	getLastElement() Finds the source element that occurs last in the source.
Identifier	getMethodName()
ReferencePrefix	getMethodReferencePrefix()
java.lang.String	getName()
ReferencePrefix	getReferencePrefix()
Expression	getResultVariable() Get the result variable.
MethodReference	getsMethodReference()
StatementContainer	getStatementContainer()
TypeReference	getTypeReferenceAt(int index) Return the type reference at the specified index in this node's "virtual" statement array.
int	getTypeReferenceCount() Get the number of type references in this container.
void	makeParentRoleValid() Ensures that each child has "this" as syntactical parent.
boolean	replaceChild(ProgramElement p, ProgramElement q) Replace a single child in the current node.
void	setArguments(ASTList<Expression> arguments)
void	setBodySource(TypeReference bodySource) Set the exact Class the denoted method body is from.
void	setIdentifier(Identifier name)
void	setMethodName(Identifier methodName)
void	setMethodReference(MethodReference methRef) Set the MethodReference that caused this call.
void	setMethodReferencePrefix(ReferencePrefix methodReferencePrefix)
void	setResultVariable(Expression resultVar) Set the result variable.
void	setStatementContainer(StatementContainer parent)

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.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

See Also:

Constant Field Values

astParent

private StatementContainer astParent

the ast parent

bodySource

protected TypeReference bodySource

resultVar

protected Expression resultVar

methodName

private Identifier methodName

methodReferencePrefix

private ReferencePrefix methodReferencePrefix

arguments

private ASTList<Expression> arguments

Constructor Detail

MethodBodyStatement

public MethodBodyStatement(TypeReference bodySource,
                           Expression resultVar,
                           MethodReference methRef)

Construct a method body shortcut

Parameters:

bodySource - exact class where the body is declared

resultVar - the Expression naming the variable to which the result of the mthod is assigned

methRef - MethodReference that represents the call

Method Detail

setBodySource

public void setBodySource(TypeReference bodySource)

Set the exact Class the denoted method body is from.

getBodySource

public TypeReference getBodySource()

Get the exact Class the denoted method body is from.

setResultVariable

public void setResultVariable(Expression resultVar)

Set the result variable.

Parameters:

resultVar - the Expression used as result variable

getResultVariable

public Expression getResultVariable()

Get the result variable.

Returns:

the VariableReference

setMethodReference

public void setMethodReference(MethodReference methRef)

Set the MethodReference that caused this call.

getASTParent

public NonTerminalProgramElement getASTParent()

Specified by:

getASTParent in interface ProgramElement

Overrides:

getASTParent in class JavaStatement

getStatementContainer

public StatementContainer getStatementContainer()

Specified by:

getStatementContainer in interface Statement

Overrides:

getStatementContainer in class JavaStatement

setStatementContainer

public void setStatementContainer(StatementContainer parent)

Specified by:

setStatementContainer in interface Statement

Overrides:

setStatementContainer in class JavaStatement

getFirstElement

public SourceElement getFirstElement()

Finds the source element that occurs first in the source.

Specified by:

getFirstElement in interface SourceElement

Overrides:

getFirstElement in class JavaSourceElement

Returns:

the last source element in the syntactical representation of this element, may be equals to this element.

getLastElement

public SourceElement getLastElement()

Finds the source element that occurs last in the source.

Specified by:

getLastElement in interface SourceElement

Overrides:

getLastElement in class JavaSourceElement

Returns:

the last source element in the syntactical representation of this element, may be equals to this element.

getChildCount

public int getChildCount()

Returns the number of children of this node.

Specified by:

getChildCount in interface NonTerminalProgramElement

Returns:

an int giving the number of children of this node

getChildAt

public ProgramElement getChildAt(int index)

Returns the child at the specified index in this node's "virtual" child array

Specified by:

getChildAt in interface NonTerminalProgramElement

Parameters:

index - an index into this node's "virtual" child array

Returns:

the program element at the given position

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds

getTypeReferenceCount

public int getTypeReferenceCount()

Get the number of type references in this container.

Specified by:

getTypeReferenceCount in interface TypeReferenceContainer

Returns:

the number of statements.

getTypeReferenceAt

public TypeReference getTypeReferenceAt(int index)

Return the type reference at the specified index in this node's "virtual" statement array.

Specified by:

getTypeReferenceAt in interface TypeReferenceContainer

Parameters:

index - an index for a type reference.

Returns:

the type reference with the given index.

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds.

getExpressionCount

public int getExpressionCount()

Get the number of expressions in this container.

Specified by:

getExpressionCount in interface ExpressionContainer

Returns:

the number of expressions.

getExpressionAt

public Expression getExpressionAt(int index)

Return the expression at the specified index in this node's "virtual" expression array.

Specified by:

getExpressionAt in interface ExpressionContainer

Parameters:

index - an index for a expression.

Returns:

the expression with the given index.

Throws:

java.lang.ArrayIndexOutOfBoundsException - if index is out of bounds.

replaceChild

public boolean replaceChild(ProgramElement p,
                            ProgramElement q)

Replace a single child in the current node. The child to replace is matched by identity and hence must be known exactly. The replacement element can be null - in that case, the child is effectively removed. The parent role of the new child is validated, while the parent link of the replaced child is left untouched.

Specified by:

replaceChild in interface NonTerminalProgramElement

Parameters:

p - the old child.

q - the new child.

Returns:

true if a replacement has occured, false otherwise.

Throws:

java.lang.ClassCastException - if the new child cannot take over the role of the old one.

makeParentRoleValid

public void makeParentRoleValid()

Ensures that each child has "this" as syntactical parent.

Specified by:

makeParentRoleValid in interface NonTerminalProgramElement

Overrides:

makeParentRoleValid in class JavaNonTerminalProgramElement

getChildPositionCode

public int getChildPositionCode(ProgramElement child)

Specified by:

getChildPositionCode in interface NonTerminalProgramElement

accept

public void accept(SourceVisitor v)

Specified by:

accept in interface SourceElement

deepClone

public MethodBodyStatement deepClone()

Specified by:

deepClone in interface SourceElement

Specified by:

deepClone in interface Statement

getName

public java.lang.String getName()

Specified by:

getName in interface NamedModelElement

getArguments

public ASTList<Expression> getArguments()

setArguments

public void setArguments(ASTList<Expression> arguments)

getMethodName

public Identifier getMethodName()

setMethodName

public void setMethodName(Identifier methodName)

getMethodReferencePrefix

public ReferencePrefix getMethodReferencePrefix()

setMethodReferencePrefix

public void setMethodReferencePrefix(ReferencePrefix methodReferencePrefix)

getIdentifier

public Identifier getIdentifier()

Specified by:

getIdentifier in interface NamedProgramElement

setIdentifier

public void setIdentifier(Identifier name)

Specified by:

setIdentifier in interface NamedProgramElement

getsMethodReference

public MethodReference getsMethodReference()

getReferencePrefix

public ReferencePrefix getReferencePrefix()

Specified by:

getReferencePrefix in interface ReferenceSuffix