de.uka.ilkd.key.java.recoderext

Class MethodSignatureSVWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.java.recoderext.adt.MethodSignature

de.uka.ilkd.key.java.recoderext.MethodSignatureSVWrapper

All Implemented Interfaces:

SVWrapper, java.io.Serializable, java.lang.Cloneable, NonTerminalProgramElement, ProgramElement, SourceElement, ModelElement

public class MethodSignatureSVWrapper
extends MethodSignature
implements SVWrapper

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 SchemaVariable	method
private static long	serialVersionUID

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
MethodSignatureSVWrapper(SchemaVariable l)

Method Summary

Modifier and Type	Method and Description
SchemaVariable	getSV() returns a String name of this meta construct.
void	setSV(SchemaVariable sv) sets the schema variable of sort statement
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.java.recoderext.adt.MethodSignature

accept, deepClone, getASTParent, getChildAt, getChildCount, getChildPositionCode, getMethodName, getParamTypes, replaceChild

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, makeParentRoleValid, validateAll

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

method

private SchemaVariable method

Constructor Detail

MethodSignatureSVWrapper

public MethodSignatureSVWrapper(SchemaVariable l)

Method Detail

getSV

public SchemaVariable getSV()

Description copied from interface: SVWrapper

returns a String name of this meta construct.

Specified by:

getSV in interface SVWrapper

setSV

public void setSV(SchemaVariable sv)

Description copied from interface: SVWrapper

sets the schema variable of sort statement

Specified by:

setSV in interface SVWrapper

Parameters:

sv - the SchemaVariable to wrap

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object