Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.declaration |
Elements of the Java syntax tree representing declarations.
|
de.uka.ilkd.key.java.statement |
Elements of the Java syntax tree representing pure statements.
|
de.uka.ilkd.key.java.visitor |
contains classes representing visitors traversing the tree
structure of Java programs.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
de.uka.ilkd.key.speclang.jml | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Modifier and Type | Method and Description |
---|---|
ParameterDeclaration |
Recoder2KeYConverter.convert(ParameterDeclaration pd)
converts a recoder ParameterDeclaration to a KeY ParameterDeclaration
(especially the declaration type of its parent is determined and handed
over)
|
ParameterDeclaration |
CcatchReturnValParameterDeclaration.getDelegate() |
ParameterDeclaration |
CcatchReturnValParameterDeclaration.getParameterDeclarationAt(int idx) |
ParameterDeclaration |
ParameterContainer.getParameterDeclarationAt(int index)
Return the parameter declaration at the specified index in this node's
"virtual" parameter declaration array.
|
static ParameterDeclaration |
KeYJavaASTFactory.parameterDeclaration(JavaInfo javaInfo,
KeYJavaType kjt,
IProgramVariable var)
Create a parameter declaration.
|
static ParameterDeclaration |
KeYJavaASTFactory.parameterDeclaration(JavaInfo javaInfo,
KeYJavaType kjt,
java.lang.String name)
create a parameter declaration
|
static ParameterDeclaration |
KeYJavaASTFactory.parameterDeclaration(JavaInfo javaInfo,
java.lang.String type,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static Catch |
KeYJavaASTFactory.catchClause(ParameterDeclaration parameter,
Statement[] statements)
Create a catch clause.
|
static Catch |
KeYJavaASTFactory.catchClause(ParameterDeclaration param,
StatementBlock body)
create a catch clause
|
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<ParameterDeclaration> |
MethodDeclaration.parameters |
Modifier and Type | Method and Description |
---|---|
ParameterDeclaration |
MethodDeclaration.getParameterDeclarationAt(int index) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<ParameterDeclaration> |
MethodDeclaration.getParameters() |
Constructor and Description |
---|
ConstructorDeclaration(Modifier[] modifiers,
ProgramElementName name,
ParameterDeclaration[] parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Deprecated.
|
MethodDeclaration(Modifier[] modifiers,
TypeReference returnType,
ProgramElementName name,
ParameterDeclaration[] parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Method declaration.
|
Constructor and Description |
---|
MethodDeclaration(Modifier[] modifiers,
TypeReference returnType,
ProgramElementName name,
ImmutableArray<ParameterDeclaration> parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Method declaration.
|
Modifier and Type | Field and Description |
---|---|
protected ParameterDeclaration |
Catch.parameter
Parameter.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Optional<ParameterDeclaration> |
Ccatch.parameter
Parameter.
|
Modifier and Type | Method and Description |
---|---|
ParameterDeclaration |
Catch.getParameterDeclaration()
Get parameter declaration.
|
ParameterDeclaration |
Ccatch.getParameterDeclaration()
Get parameter declaration.
|
ParameterDeclaration |
Catch.getParameterDeclarationAt(int index) |
ParameterDeclaration |
Ccatch.getParameterDeclarationAt(int index)
Return the parameter declaration at the specified index in this node's
"virtual" parameter declaration array.
|
Constructor and Description |
---|
Catch(ParameterDeclaration e,
StatementBlock body)
Catch.
|
Ccatch(ParameterDeclaration e,
StatementBlock body)
Ccatch.
|
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnParameterDeclaration(ParameterDeclaration x) |
void |
CreatingASTVisitor.performActionOnParameterDeclaration(ParameterDeclaration x) |
void |
JavaASTVisitor.performActionOnParameterDeclaration(ParameterDeclaration x) |
Modifier and Type | Method and Description |
---|---|
ParameterDeclaration |
ProgramMethod.getParameterDeclarationAt(int index) |
ParameterDeclaration |
IProgramMethod.getParameterDeclarationAt(int index) |
ParameterDeclaration |
ProgramSV.getParameterDeclarationAt(int index) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<ParameterDeclaration> |
ProgramMethod.getParameters() |
ImmutableArray<ParameterDeclaration> |
IProgramMethod.getParameters() |
ImmutableArray<ParameterDeclaration> |
ProgramSV.getParameters() |
Modifier and Type | Method and Description |
---|---|
static boolean |
JMLInfoExtractor.parameterIsNullable(IProgramMethod pm,
ParameterDeclaration pd)
Returns true iff the parameter of the given method
is declared "nullable" (implicitly or explicitly).
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
KeYTypeUtil.resolveType(ParameterDeclaration parameterDeclaration)
Resolves the type of the given
ParameterDeclaration . |
Copyright © 2003-2019 The KeY-Project.