Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
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.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
Modifier and Type | Method and Description |
---|---|
LocalVariableDeclaration |
Recoder2KeYConverter.convert(LocalVariableDeclaration arg) |
LocalVariableDeclaration |
SchemaRecoder2KeYConverter.convert(LocalVariableDeclaration lvd)
local variable declarations have to be treated differently if they have
schema vars in them.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ExtList parameters)
Create a local variable declaration without initialization.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ImmutableArray<Modifier> modifiers,
IProgramVariable variable,
Expression init,
KeYJavaType type)
Create a local variable declaration with an arbitrary number of
modifiers.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ImmutableArray<Modifier> modifiers,
IProgramVariable variable,
Expression init,
TypeReference typeRef)
Create a local variable declaration with an arbitrary number of
modifiers.
|
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.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(IProgramVariable variable)
Create a local variable declaration without initialization.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(IProgramVariable variable,
Expression init)
Create a local variable declaration.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(IProgramVariable var,
Expression init,
KeYJavaType type)
Create a local variable declaration.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(IProgramVariable var,
KeYJavaType type)
Create a local variable declaration without initialization.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(Modifier[] modifiers,
IProgramVariable variable,
Expression init,
KeYJavaType type)
Create a local variable declaration with an arbitrary number of
modifiers.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(Modifier modifier,
IProgramVariable variable,
Expression init,
KeYJavaType type)
Create a local variable declaration with a single modifier.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ProgramElementName name,
Expression init,
KeYJavaType type)
create a local variable declaration
type name = init; |
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ProgramElementName name,
KeYJavaType type)
Create a local variable declaration without initialization.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(ProgramElementName name,
TypeReference typeRef)
creates a local variable declaration
typeRef name; |
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(Services services,
java.lang.String name,
Expression initializer,
KeYJavaType type)
Create a local variable declaration with a unique name.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declare(java.lang.String name,
KeYJavaType type)
create a local variable declaration
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declareMethodCall(IProgramVariable variable,
ReferencePrefix reference,
java.lang.String method)
Create a local variable declaration that assigns a method's return value
initially.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declareMethodCall(KeYJavaType type,
IProgramVariable variable,
ReferencePrefix reference,
java.lang.String method)
Create a local variable declaration that assigns a method's return value
initially.
|
static LocalVariableDeclaration |
KeYJavaASTFactory.declareZero(KeYJavaType type,
IProgramVariable variable)
Create a local variable declaration that assigns zero initially.
|
Modifier and Type | Method and Description |
---|---|
void |
PrettyPrinter.printLocalVariableDeclaration(LocalVariableDeclaration x) |
Modifier and Type | Method and Description |
---|---|
LocalVariableDeclaration |
EnhancedFor.getVariableDeclaration()
get the local variable declaration of the enhanced for-loop
for(type var : exp) gives type var . |
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
void |
OuterBreakContinueAndReturnReplacer.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
void |
InnerBreakAndContinueReplacer.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
void |
CreatingASTVisitor.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
void |
JavaASTVisitor.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
void |
UndeclaredProgramVariableCollector.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
Modifier and Type | Method and Description |
---|---|
void |
WhileLoopTransformation.performActionOnLocalVariableDeclaration(LocalVariableDeclaration x) |
Modifier and Type | Method and Description |
---|---|
static ProgramVariable |
EvaluateArgs.evaluate(Expression e,
java.util.List<? super LocalVariableDeclaration> l,
Services services,
ExecutionContext ec)
TODO Comment.
|
Copyright © 2003-2019 The KeY-Project.