public class MethodSignatureSVWrapper extends MethodSignature implements SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
MethodSignatureSVWrapper(SchemaVariable l) |
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() |
accept, deepClone, getASTParent, getChildAt, getChildCount, getChildPositionCode, getMethodName, getParamTypes, replaceChild
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, makeParentRoleValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public MethodSignatureSVWrapper(SchemaVariable l)
public SchemaVariable getSV()
SVWrapper
public void setSV(SchemaVariable sv)
SVWrapper
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.