public class MethodSignature extends JavaNonTerminalProgramElement
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
MethodSignature(Identifier methodName,
ASTList<TypeReference> paramTypes) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor arg0) |
SourceElement |
deepClone() |
NonTerminalProgramElement |
getASTParent() |
ProgramElement |
getChildAt(int i) |
int |
getChildCount() |
int |
getChildPositionCode(ProgramElement child) |
Identifier |
getMethodName() |
ASTList<TypeReference> |
getParamTypes() |
boolean |
replaceChild(ProgramElement arg0,
ProgramElement arg1) |
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, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public MethodSignature(Identifier methodName, ASTList<TypeReference> paramTypes)
public ProgramElement getChildAt(int i)
public int getChildCount()
public int getChildPositionCode(ProgramElement child)
public boolean replaceChild(ProgramElement arg0, ProgramElement arg1)
public NonTerminalProgramElement getASTParent()
public void accept(SourceVisitor arg0)
public SourceElement deepClone()
public Identifier getMethodName()
public ASTList<TypeReference> getParamTypes()
Copyright © 2003-2019 The KeY-Project.