de.uka.ilkd.key.java.recoderext

Class ExpressionSVWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.expression.Literal

de.uka.ilkd.key.java.recoderext.ExpressionSVWrapper

All Implemented Interfaces:

KeYRecoderExtension, SVWrapper, java.io.Serializable, java.lang.Cloneable, Expression, LoopInitializer, ProgramElement, ReferencePrefix, SourceElement, Statement, TerminalProgramElement, ModelElement

public class ExpressionSVWrapper
extends Literal
implements Expression, LoopInitializer, KeYRecoderExtension, SVWrapper, ReferencePrefix

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 static long	serialVersionUID
protected StatementContainer	statementParent
protected ReferenceSuffix	suff
protected SchemaVariable	sv

Fields inherited from class recoder.java.expression.Literal

expressionParent

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
	ExpressionSVWrapper()
protected	ExpressionSVWrapper(ExpressionSVWrapper proto)
	ExpressionSVWrapper(SchemaVariable sv)

Method Summary

Modifier and Type	Method and Description
void	accept(SourceVisitor v)
ExpressionSVWrapper	deepClone()
NonTerminalProgramElement	getASTParent() Get AST parent.
java.lang.Object	getEquivalentJavaType()
ExpressionContainer	getExpressionContainer() Get expression container.
ReferenceSuffix	getReferenceSuffix()
StatementContainer	getStatementContainer() Get statement container.
SchemaVariable	getSV() returns a String name of this meta construct.
void	makeParentRoleValid() Make parent role valid.
void	setExpressionContainer(ExpressionContainer c) Set expression container.
void	setReferenceSuffix(ReferenceSuffix path) Set reference suffix.
void	setStatementContainer(StatementContainer c) Set statement container.
void	setSV(SchemaVariable sv) sets the schema variable of sort statement

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, 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.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, 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

sv

protected SchemaVariable sv

suff

protected ReferenceSuffix suff

statementParent

protected StatementContainer statementParent

Constructor Detail

ExpressionSVWrapper

protected ExpressionSVWrapper(ExpressionSVWrapper proto)

ExpressionSVWrapper

public ExpressionSVWrapper()

ExpressionSVWrapper

public ExpressionSVWrapper(SchemaVariable sv)

Method Detail

makeParentRoleValid

public void makeParentRoleValid()

Make parent role valid.

getASTParent

public NonTerminalProgramElement getASTParent()

Get AST parent.

Specified by:

getASTParent in interface ProgramElement

Overrides:

getASTParent in class Literal

Returns:

the non terminal program element.

setSV

public void setSV(SchemaVariable sv)

sets the schema variable of sort statement

Specified by:

setSV in interface SVWrapper

Parameters:

sv - the SchemaVariable

getSV

public SchemaVariable getSV()

Description copied from interface: SVWrapper

returns a String name of this meta construct.

Specified by:

getSV in interface SVWrapper

getExpressionContainer

public ExpressionContainer getExpressionContainer()

Get expression container.

Specified by:

getExpressionContainer in interface Expression

Overrides:

getExpressionContainer in class Literal

Returns:

the expression container.

setExpressionContainer

public void setExpressionContainer(ExpressionContainer c)

Set expression container.

Specified by:

setExpressionContainer in interface Expression

Overrides:

setExpressionContainer in class Literal

Parameters:

c - an expression container.

accept

public void accept(SourceVisitor v)

Specified by:

accept in interface SourceElement

deepClone

public ExpressionSVWrapper deepClone()

Specified by:

deepClone in interface Expression

Specified by:

deepClone in interface SourceElement

Specified by:

deepClone in interface Statement

getStatementContainer

public StatementContainer getStatementContainer()

Get statement container.

Specified by:

getStatementContainer in interface Statement

Returns:

the statement container.

setStatementContainer

public void setStatementContainer(StatementContainer c)

Set statement container.

Specified by:

setStatementContainer in interface Statement

Parameters:

c - a statement container.

getReferenceSuffix

public ReferenceSuffix getReferenceSuffix()

Specified by:

getReferenceSuffix in interface ReferencePrefix

setReferenceSuffix

public void setReferenceSuffix(ReferenceSuffix path)

Set reference suffix.

Specified by:

setReferenceSuffix in interface ReferencePrefix

Parameters:

path - a reference suffix.

getEquivalentJavaType

public java.lang.Object getEquivalentJavaType()

Specified by:

getEquivalentJavaType in class Literal