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.proof_references.analyst | |
de.uka.ilkd.key.rule.metaconstruct |
contains classes representing the meta constructs of
Taclet s. |
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model | |
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Method and Description |
---|---|
MethodReference |
Recoder2KeYConverter.convert(MethodReference mr)
converts a recoder method reference.
|
MethodReference |
SchemaRecoder2KeYConverter.convert(MethodReference mr) |
static MethodReference |
KeYJavaASTFactory.methodCall(KeYJavaType type,
java.lang.String name)
Create a method call on a type with no arguments.
|
static MethodReference |
KeYJavaASTFactory.methodCall(KeYJavaType type,
java.lang.String name,
Expression... args)
Create a method call on a type.
|
static MethodReference |
KeYJavaASTFactory.methodCall(KeYJavaType type,
java.lang.String name,
ImmutableArray<? extends Expression> args)
Create a method call on a type.
|
static MethodReference |
KeYJavaASTFactory.methodCall(ReferencePrefix reference,
MethodName name,
Expression... args)
Create a method call.
|
static MethodReference |
KeYJavaASTFactory.methodCall(ReferencePrefix reference,
MethodName name,
ImmutableArray<? extends Expression> args)
Create a method call.
|
static MethodReference |
KeYJavaASTFactory.methodCall(ReferencePrefix reference,
java.lang.String name)
Create a method call with no arguments.
|
static MethodReference |
KeYJavaASTFactory.methodCall(ReferencePrefix reference,
java.lang.String name,
Expression... args)
Create a method call.
|
static MethodReference |
KeYJavaASTFactory.methodCall(ReferencePrefix reference,
java.lang.String name,
ImmutableArray<? extends Expression> args)
Create a method call.
|
Modifier and Type | Method and Description |
---|---|
Term |
TypeConverter.convertMethodReference(MethodReference mr,
ExecutionContext ec) |
void |
PrettyPrinter.printMethodReference(MethodReference x) |
protected void |
PrettyPrinter.printMethodReference(MethodReference x,
boolean withSemicolon) |
Modifier and Type | Method and Description |
---|---|
MethodReference |
MethodBodyStatement.getMethodReference() |
Constructor and Description |
---|
MethodBodyStatement(TypeReference bodySource,
IProgramVariable resultVar,
MethodReference methodReference)
Construct a method body shortcut
|
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnMethodReference(MethodReference x) |
void |
CreatingASTVisitor.performActionOnMethodReference(MethodReference x) |
void |
JavaASTVisitor.performActionOnMethodReference(MethodReference x) |
Modifier and Type | Method and Description |
---|---|
protected IProofReference<IProgramMethod> |
MethodCallProofReferencesAnalyst.createReference(Node node,
Services services,
ExecutionContext context,
MethodReference mr)
Creates an
IProofReference to the called IProgramMethod . |
Modifier and Type | Field and Description |
---|---|
protected MethodReference |
MethodCall.methRef |
Modifier and Type | Method and Description |
---|---|
protected IProgramMethod |
MethodCall.getMethod(KeYJavaType prefixType,
MethodReference mr,
Services services)
Returns the method.
|
Modifier and Type | Method and Description |
---|---|
MethodReference |
ExecutionNodeReader.KeYlessMethodCall.getExplicitConstructorMethodReference()
Returns a copy of the
MethodReference which calls the
explicit constructor instead of the implicit constructor. |
MethodReference |
ExecutionNodeReader.KeYlessMethodCall.getMethodReference()
Returns the
MethodReference instance of the called method. |
Modifier and Type | Method and Description |
---|---|
MethodReference |
IExecutionMethodCall.getExplicitConstructorMethodReference()
Returns a copy of the
MethodReference which calls the
explicit constructor instead of the implicit constructor. |
MethodReference |
IExecutionMethodCall.getMethodReference()
Returns the
MethodReference instance of the called method. |
Modifier and Type | Method and Description |
---|---|
MethodReference |
ExecutionMethodCall.getExplicitConstructorMethodReference()
Returns a copy of the
MethodReference which calls the
explicit constructor instead of the implicit constructor. |
MethodReference |
ExecutionMethodCall.getMethodReference()
Returns the
MethodReference instance of the called method. |
Copyright © 2003-2019 The KeY-Project.