Package | Description |
---|---|
de.uka.ilkd.key.java.recoderext |
Modifier and Type | Class and Description |
---|---|
class |
CcatchBreakLabelParameterDeclaration
A "\Break label" parameter of a ccatch clause.
|
class |
CcatchBreakParameterDeclaration
A "\Break" parameter of a ccatch clause.
|
class |
CcatchBreakWildcardParameterDeclaration
A "\Break *" parameter of a ccatch clause.
|
class |
CcatchContinueLabelParameterDeclaration
A "\Continue label" parameter of a ccatch clause.
|
class |
CcatchContinueParameterDeclaration
A "\Continue" parameter of a ccatch clause.
|
class |
CcatchContinueWildcardParameterDeclaration
A "\Continue *" parameter of a ccatch clause.
|
class |
CcatchReturnParameterDeclaration
A "\Return" parameter of a ccatch clause.
|
class |
CcatchReturnValParameterDeclaration
A "\Return" parameter of a ccatch clause.
|
Modifier and Type | Method and Description |
---|---|
CcatchNonstandardParameterDeclaration |
ProofJavaProgramFactory.createCcatchReturnValParameterDeclaration(ParameterDeclaration e) |
abstract CcatchNonstandardParameterDeclaration |
CcatchNonstandardParameterDeclaration.deepClone() |
CcatchNonstandardParameterDeclaration |
Ccatch.getNonstandardParameterDeclarationAt(int index) |
CcatchNonstandardParameterDeclaration |
Ccatch.getNonStdParameterDeclaration()
Get parameter declaration.
|
Modifier and Type | Method and Description |
---|---|
void |
Ccatch.setNonStdParameterDeclaration(CcatchNonstandardParameterDeclaration p)
Set parameter declaration.
|
Constructor and Description |
---|
Ccatch(CcatchNonstandardParameterDeclaration e,
StatementBlock body)
Ccatch.
|
Copyright © 2003-2019 The KeY-Project.