public abstract class CcatchNonstandardParameterDeclaration extends JavaNonTerminalProgramElement
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
CcatchNonstandardParameterDeclaration() |
Modifier and Type | Method and Description |
---|---|
abstract CcatchNonstandardParameterDeclaration |
deepClone() |
ParameterContainer |
getASTParent() |
ParameterContainer |
getParameterContainer() |
void |
setParameterContainer(ParameterContainer c) |
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
getChildAt, getChildCount, getChildPositionCode, replaceChild
getComments, setComments
accept, getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public CcatchNonstandardParameterDeclaration()
public ParameterContainer getASTParent()
public ParameterContainer getParameterContainer()
public void setParameterContainer(ParameterContainer c)
public abstract CcatchNonstandardParameterDeclaration deepClone()
Copyright © 2003-2019 The KeY-Project.