de.uka.ilkd.key.java.recoderext

Class CatchSVWrapper

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.statement.Branch

recoder.java.statement.Catch

de.uka.ilkd.key.java.recoderext.CatchSVWrapper

All Implemented Interfaces:

KeYRecoderExtension, SVWrapper, java.io.Serializable, java.lang.Cloneable, NonTerminalProgramElement, ParameterContainer, ProgramElement, ScopeDefiningElement, SourceElement, StatementContainer, VariableScope, ModelElement

public class CatchSVWrapper
extends Catch
implements KeYRecoderExtension, SVWrapper

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
protected SchemaVariable	sv

Fields inherited from class recoder.java.statement.Catch

body, parameter

Fields inherited from class recoder.java.statement.Branch

parent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

Constructor and Description
CatchSVWrapper(SchemaVariable sv)

Method Summary

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

Methods inherited from class recoder.java.statement.Catch

addVariableToScope, getBody, getLastElement, getParameterDeclaration, getParameterDeclarationAt, getParameterDeclarationCount, getVariableInScope, getVariablesInScope, isDefinedScope, makeParentRoleValid, removeVariableFromScope, setBody, setDefinedScope, setParameterDeclaration, setParent

Methods inherited from class recoder.java.statement.Branch

getASTParent, getParent

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getASTParent, getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

sv

protected SchemaVariable sv

Constructor Detail

CatchSVWrapper

public CatchSVWrapper(SchemaVariable sv)

Method Detail

setSV

public void setSV(SchemaVariable sv)

sets the schema variable of sort statement

Specified by:

setSV in interface SVWrapper

Parameters:

sv - the SchemaVariable

getSV

public SchemaVariable getSV()

returns a String name of this meta construct.

Specified by:

getSV in interface SVWrapper

accept

public void accept(SourceVisitor v)

Specified by:

accept in interface SourceElement

Overrides:

accept in class Catch

deepClone

public CatchSVWrapper deepClone()

Specified by:

deepClone in interface SourceElement

Overrides:

deepClone in class Catch

getChildCount

public int getChildCount()

Specified by:

getChildCount in interface NonTerminalProgramElement

Overrides:

getChildCount in class Catch

getChildAt

public ProgramElement getChildAt(int i)

Specified by:

getChildAt in interface NonTerminalProgramElement

Overrides:

getChildAt in class Catch

getChildPositionCode

public int getChildPositionCode(ProgramElement pe)

Specified by:

getChildPositionCode in interface NonTerminalProgramElement

Overrides:

getChildPositionCode in class Catch

replaceChild

public boolean replaceChild(ProgramElement p1,
                            ProgramElement p2)

Specified by:

replaceChild in interface NonTerminalProgramElement

Overrides:

replaceChild in class Catch

getStatementCount

public int getStatementCount()

Specified by:

getStatementCount in interface StatementContainer

Overrides:

getStatementCount in class Catch

getStatementAt

public Statement getStatementAt(int s)

Specified by:

getStatementAt in interface StatementContainer

Overrides:

getStatementAt in class Catch