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. |
Modifier and Type | Method and Description |
---|---|
VariableSpecification |
Recoder2KeYConverter.convert(VariableSpecification recoderVarSpec)
convert a recoder VariableSpecification to a KeY VariableSpecification
(checks dimension and hands it over and insert in hashmap)
|
VariableSpecification |
SchemaRecoder2KeYConverter.convert(VariableSpecification recoderVarspec)
convert a recoder VariableSpecification to a KeY VariableSpecification
(checks dimension and hands it over and insert in hashmap)
|
protected VariableSpecification |
SchemaRecoder2KeYConverter.convertVarSpecWithSVType(VariableSpecification recoderVarspec) |
VariableSpecification |
CcatchReturnValParameterDeclaration.getVariableSpecification() |
static VariableSpecification |
KeYJavaASTFactory.variableSpecification(IProgramVariable variable,
Expression initializer,
KeYJavaType keyJavaType)
Create a variable specification.
|
static VariableSpecification |
KeYJavaASTFactory.variableSpecification(IProgramVariable variable,
int dimensions,
Expression initializer,
Type type)
Create a variable specification.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<VariableSpecification> |
CcatchReturnValParameterDeclaration.getVariables() |
Modifier and Type | Method and Description |
---|---|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ImmutableArray<Modifier> modifiers,
TypeReference typeRef,
VariableSpecification specification)
Create a local variable declaration.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ImmutableArray<Modifier> modifiers,
TypeReference typeRef,
VariableSpecification[] specifications)
Create local variable declarations.
|
void |
PrettyPrinter.printVariableSpecification(VariableSpecification x) |
Modifier and Type | Class and Description |
---|---|
class |
FieldSpecification |
class |
ImplicitFieldSpecification |
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<VariableSpecification> |
ParameterDeclaration.varSpec
Var spec.
|
protected ImmutableArray<VariableSpecification> |
LocalVariableDeclaration.varSpecs
Var specs.
|
Modifier and Type | Method and Description |
---|---|
VariableSpecification |
ParameterDeclaration.getVariableSpecification() |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<VariableSpecification> |
LocalVariableDeclaration.getVariables()
This method is identical to
LocalVariableDeclaration.getVariableSpecifications() . |
abstract ImmutableArray<? extends VariableSpecification> |
VariableDeclaration.getVariables()
Get variables.
|
ImmutableArray<? extends VariableSpecification> |
FieldDeclaration.getVariables() |
ImmutableArray<VariableSpecification> |
ParameterDeclaration.getVariables() |
ImmutableArray<VariableSpecification> |
LocalVariableDeclaration.getVariableSpecifications()
This method is identical to
LocalVariableDeclaration.getVariables() . |
Constructor and Description |
---|
LocalVariableDeclaration(ImmutableArray<Modifier> mods,
TypeReference typeRef,
VariableSpecification var)
Local variable declaration.
|
LocalVariableDeclaration(ImmutableArray<Modifier> mods,
TypeReference typeRef,
VariableSpecification[] vars)
Local variable declaration.
|
LocalVariableDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification[] vars)
Local variable declaration.
|
LocalVariableDeclaration(TypeReference typeRef,
VariableSpecification var)
Local variable declaration which declared exactly
one variable.
|
ParameterDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification var,
boolean parentIsInterfaceDeclaration)
Parameter declaration.
|
ParameterDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification var,
boolean parentIsInterfaceDeclaration,
boolean parameterIsVarArg)
Parameter declaration.
|
Modifier and Type | Method and Description |
---|---|
VariableSpecification |
For.getVariableInScope(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<VariableSpecification> |
For.getVariablesInScope() |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnVariableSpecification(VariableSpecification x) |
void |
CreatingASTVisitor.performActionOnVariableSpecification(VariableSpecification x) |
void |
JavaASTVisitor.performActionOnVariableSpecification(VariableSpecification x) |
void |
DeclarationProgramVariableCollector.performActionOnVariableSpecification(VariableSpecification x) |
Modifier and Type | Method and Description |
---|---|
VariableSpecification |
ProgramMethod.getVariableSpecification(int index) |
VariableSpecification |
IProgramMethod.getVariableSpecification(int index)
Returns the variablespecification of the i-th parameterdeclaration
|
VariableSpecification |
ProgramSV.getVariableSpecification(int index) |
Copyright © 2003-2019 The KeY-Project.