public class CatchSVWrapper extends Catch implements KeYRecoderExtension, SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
protected SchemaVariable |
sv |
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
CatchSVWrapper(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
CatchSVWrapper |
deepClone() |
ProgramElement |
getChildAt(int i) |
int |
getChildCount() |
int |
getChildPositionCode(ProgramElement pe) |
Statement |
getStatementAt(int s) |
int |
getStatementCount() |
SchemaVariable |
getSV()
returns a String name of this meta construct.
|
boolean |
replaceChild(ProgramElement p1,
ProgramElement p2) |
void |
setSV(SchemaVariable sv)
sets the schema variable of sort statement
|
addVariableToScope, getBody, getLastElement, getParameterDeclaration, getParameterDeclarationAt, getParameterDeclarationCount, getVariableInScope, getVariablesInScope, isDefinedScope, makeParentRoleValid, removeVariableFromScope, setBody, setDefinedScope, setParameterDeclaration, setParent
getASTParent, getParent
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getASTParent, getComments, setComments
getEndPosition, getFactory, getFirstElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
protected SchemaVariable sv
public CatchSVWrapper(SchemaVariable sv)
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
public void accept(SourceVisitor v)
accept
in interface SourceElement
accept
in class Catch
public CatchSVWrapper deepClone()
deepClone
in interface SourceElement
deepClone
in class Catch
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
getChildCount
in class Catch
public ProgramElement getChildAt(int i)
getChildAt
in interface NonTerminalProgramElement
getChildAt
in class Catch
public int getChildPositionCode(ProgramElement pe)
getChildPositionCode
in interface NonTerminalProgramElement
getChildPositionCode
in class Catch
public boolean replaceChild(ProgramElement p1, ProgramElement p2)
replaceChild
in interface NonTerminalProgramElement
replaceChild
in class Catch
public int getStatementCount()
getStatementCount
in interface StatementContainer
getStatementCount
in class Catch
public Statement getStatementAt(int s)
getStatementAt
in interface StatementContainer
getStatementAt
in class Catch