public class TypeSVWrapper extends TypeReference implements KeYRecoderExtension, SVWrapper
NamedModelElement.LexicalOrder
ProgramElement.TreeStructure
SourceElement.Position
dimensions, name, parent, prefix, typeArguments
comments
factory
LEXICAL_ORDER
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
TypeSVWrapper(SchemaVariable sv) |
protected |
TypeSVWrapper(TypeSVWrapper proto) |
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
|
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
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public TypeSVWrapper(SchemaVariable sv)
protected TypeSVWrapper(TypeSVWrapper proto)
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
public SourceElement getFirstElement()
getFirstElement
in interface SourceElement
getFirstElement
in class TypeReference
Copyright © 2003-2019 The KeY-Project.