de.uka.ilkd.key.java.recoderext

Class TypeSVWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.reference.TypeReference

de.uka.ilkd.key.java.recoderext.TypeSVWrapper

All Implemented Interfaces:

KeYRecoderExtension, SVWrapper, Serializable, Cloneable, ExpressionContainer, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, MemberReference, NameReference, PackageReferenceContainer, ReferencePrefix, ReferenceSuffix, TypeReferenceContainer, TypeReferenceInfix, SourceElement, ModelElement, NamedModelElement

public class TypeSVWrapper
extends TypeReference
implements KeYRecoderExtension, SVWrapper

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 static long	serialVersionUID
(package private) SchemaVariable	sv

Fields inherited from class recoder.java.reference.TypeReference

dimensions, name, parent, prefix, typeArguments

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

Modifier	Constructor and Description
	TypeSVWrapper(SchemaVariable sv)
protected	TypeSVWrapper(TypeSVWrapper proto)

Method Summary

Modifier and Type	Method and Description
SourceElement	getFirstElement()
SchemaVariable	getSV() returns the schema variable of this type sv wrapper
void	setSV(SchemaVariable sv) sets the schema variable of sort label

Methods inherited from class recoder.java.reference.TypeReference

accept, deepClone, getASTParent, getChildAt, getChildCount, getChildPositionCode, getDimensions, getExpressionAt, getExpressionCount, getIdentifier, getName, getPackageReference, getParent, getReferencePrefix, getReferenceSuffix, getTypeArguments, getTypeReferenceAt, getTypeReferenceCount, makeParentRoleValid, replaceChild, setDimensions, setIdentifier, setParent, setReferencePrefix, setReferenceSuffix, setTypeArguments

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

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getComments, setComments

Methods inherited from interface recoder.java.SourceElement

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

SchemaVariable sv

Constructor Detail

TypeSVWrapper

public TypeSVWrapper(SchemaVariable sv)

TypeSVWrapper

protected TypeSVWrapper(TypeSVWrapper proto)

Method Detail

setSV

public void setSV(SchemaVariable sv)

sets the schema variable of sort label

Specified by:

setSV in interface SVWrapper

Parameters:

sv - the SchemaVariable

getSV

public SchemaVariable getSV()

returns the schema variable of this type sv wrapper

Specified by:

getSV in interface SVWrapper

getFirstElement

public SourceElement getFirstElement()

Specified by:

getFirstElement in interface SourceElement

Overrides:

getFirstElement in class TypeReference