Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.java.reference |
Elements of the Java syntax tree representing implicit or explicit (named)
references to other program elements.
|
de.uka.ilkd.key.logic |
provides a representation for the term and sequent
structure.
|
de.uka.ilkd.key.logic.op |
contains the operators of
Term s. |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Field and Description |
---|---|
protected MethodName |
MethodReference.name
Name.
|
Modifier and Type | Method and Description |
---|---|
MethodName |
MethodReference.getMethodName() |
Constructor and Description |
---|
MethodReference(ExtList children,
MethodName n,
ReferencePrefix p) |
MethodReference(ExtList args,
MethodName n,
ReferencePrefix p,
PositionInfo pos) |
MethodReference(ExtList children,
MethodName n,
ReferencePrefix p,
PositionInfo pos,
java.lang.String scope) |
MethodReference(ImmutableArray<? extends Expression> args,
MethodName n,
ReferencePrefix p) |
MethodReference(ImmutableArray<Expression> args,
MethodName n,
ReferencePrefix p,
PositionInfo pos) |
Modifier and Type | Interface and Description |
---|---|
interface |
ProgramConstruct
A type that implement this interface can be used in all java
programs instead of an expression or statement.
|
Modifier and Type | Class and Description |
---|---|
class |
ProgramElementName |
static class |
VariableNamer.IndProgramElementName
ProgramElementName carrying an additional index
|
Modifier and Type | Class and Description |
---|---|
class |
ProgramSV
Objects of this class are schema variables matching program constructs within
modal operators.
|
Copyright © 2003-2019 The KeY-Project.