public class CcatchSVWrapper extends Ccatch implements KeYRecoderExtension, SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected SchemaVariable |
sv |
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
CcatchSVWrapper(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
CcatchSVWrapper |
deepClone()
Deep clone.
|
ProgramElement |
getChildAt(int i)
Returns the child at the specified index in this node's "virtual" child
array
|
int |
getChildCount()
Returns the number of children of this node.
|
int |
getChildPositionCode(ProgramElement pe) |
Statement |
getStatementAt(int s) |
int |
getStatementCount()
Get the number of statements in this container.
|
SchemaVariable |
getSV()
returns a String name of this meta construct.
|
boolean |
replaceChild(ProgramElement p1,
ProgramElement p2)
Replace a single child in the current node.
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort statement
|
addVariableToScope, getBody, getLastElement, getNonstandardParameterDeclarationAt, getNonStdParameterDeclaration, getParameterDeclaration, getParameterDeclarationAt, getParameterDeclarationCount, getVariableInScope, getVariablesInScope, hasNonStdParameterDeclaration, hasParameterDeclaration, isDefinedScope, makeParentRoleValid, removeVariableFromScope, setBody, setDefinedScope, setNonStdParameterDeclaration, 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
protected SchemaVariable sv
public CcatchSVWrapper(SchemaVariable sv)
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
public void accept(SourceVisitor v)
accept
in interface SourceElement
accept
in class Ccatch
public CcatchSVWrapper deepClone()
Ccatch
deepClone
in interface SourceElement
deepClone
in class Ccatch
public int getChildCount()
Ccatch
getChildCount
in interface NonTerminalProgramElement
getChildCount
in class Ccatch
public ProgramElement getChildAt(int i)
Ccatch
getChildAt
in interface NonTerminalProgramElement
getChildAt
in class Ccatch
i
- an index into this node's "virtual" child arraypublic int getChildPositionCode(ProgramElement pe)
getChildPositionCode
in interface NonTerminalProgramElement
getChildPositionCode
in class Ccatch
public boolean replaceChild(ProgramElement p1, ProgramElement p2)
Ccatch
replaceChild
in interface NonTerminalProgramElement
replaceChild
in class Ccatch
p1
- the old child.public int getStatementCount()
Ccatch
getStatementCount
in interface StatementContainer
getStatementCount
in class Ccatch
public Statement getStatementAt(int s)
getStatementAt
in interface StatementContainer
getStatementAt
in class Ccatch
Copyright © 2003-2019 The KeY-Project.