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.declaration.modifier |
This package collects all Java modifiers.
|
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 |
---|---|
ImmutableArray<Modifier> |
Declaration.getModifiers()
Get the modifiers.
|
protected ImmutableArray<Modifier> |
PrettyPrinter.removeFinal(ImmutableArray<Modifier> ma) |
protected ImmutableArray<Modifier> |
PrettyPrinter.replacePrivateByPublic(ImmutableArray<Modifier> ma) |
Modifier and Type | Method and Description |
---|---|
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.
|
void |
PrettyPrinter.printModifier(Modifier x) |
Modifier and Type | Method and Description |
---|---|
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 ProgramElement |
KeYJavaASTFactory.declare(ImmutableArray<Modifier> modifiers,
IProgramVariable variable,
Expression init,
ProgramElementName typeName,
int dimensions,
ReferencePrefix typePrefix,
KeYJavaType baseType)
Create a local array 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.
|
protected ImmutableArray<Modifier> |
PrettyPrinter.removeFinal(ImmutableArray<Modifier> ma) |
protected ImmutableArray<Modifier> |
PrettyPrinter.replacePrivateByPublic(ImmutableArray<Modifier> ma) |
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<Modifier> |
JavaDeclaration.modArray
Modifiers.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<Modifier> |
JavaDeclaration.getModifiers()
Get modifiers.
|
Constructor and Description |
---|
ClassDeclaration(Modifier[] mods,
ProgramElementName name,
Extends extended,
ProgramElementName fullName,
Implements implemented,
MemberDeclaration[] members,
boolean parentIsInterfaceDeclaration,
boolean isLibrary)
Class declaration.
|
ConstructorDeclaration(Modifier[] modifiers,
ProgramElementName name,
ParameterDeclaration[] parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Deprecated.
|
FieldDeclaration(Modifier[] mods,
TypeReference typeRef,
FieldSpecification[] vars,
boolean parentIsInterfaceDeclaration)
Field declaration.
|
InterfaceDeclaration(Modifier[] modifiers,
ProgramElementName name,
Extends extended,
MemberDeclaration[] members,
boolean isLibrary)
Construct a new outer or member interface class.
|
InterfaceDeclaration(Modifier[] modifiers,
ProgramElementName name,
ProgramElementName fullName,
Extends extended,
MemberDeclaration[] members,
boolean isLibrary)
Construct a new outer or member interface class.
|
JavaDeclaration(Modifier[] mods) |
LocalVariableDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification[] vars)
Local variable declaration.
|
MethodDeclaration(Modifier[] modifiers,
TypeReference returnType,
ProgramElementName name,
ImmutableArray<ParameterDeclaration> parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Method declaration.
|
MethodDeclaration(Modifier[] modifiers,
TypeReference returnType,
ProgramElementName name,
ParameterDeclaration[] parameters,
Throws exceptions,
StatementBlock body,
boolean parentIsInterfaceDeclaration)
Method declaration.
|
ParameterDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification var,
boolean parentIsInterfaceDeclaration)
Parameter declaration.
|
ParameterDeclaration(Modifier[] mods,
TypeReference typeRef,
VariableSpecification var,
boolean parentIsInterfaceDeclaration,
boolean parameterIsVarArg)
Parameter declaration.
|
TypeDeclaration(Modifier[] mods,
ProgramElementName name,
ProgramElementName fullName,
MemberDeclaration[] members,
boolean parentIsInterfaceDeclaration,
boolean isLibrary)
Type declaration.
|
VariableDeclaration(Modifier[] mods,
TypeReference typeRef,
boolean parentIsInterfaceDeclaration)
Variable declaration.
|
Constructor and Description |
---|
JavaDeclaration(ImmutableArray<Modifier> mods) |
LocalVariableDeclaration(ImmutableArray<Modifier> mods,
TypeReference typeRef,
VariableSpecification var)
Local variable declaration.
|
LocalVariableDeclaration(ImmutableArray<Modifier> mods,
TypeReference typeRef,
VariableSpecification[] vars)
Local variable declaration.
|
VariableDeclaration(ImmutableArray<Modifier> mods,
TypeReference typeRef,
boolean parentIsInterfaceDeclaration)
Variable declaration.
|
Modifier and Type | Class and Description |
---|---|
class |
Abstract
Abstract.
|
class |
AnnotationUseSpecification |
class |
Final
Final.
|
class |
Ghost
The JML modifier "ghost".
|
class |
Model
The JML modifier "model".
|
class |
Native
Native.
|
class |
NoState
The JML modifier "no_state".
|
class |
Private
Private.
|
class |
Protected
Protected.
|
class |
Public
Public.
|
class |
Static
Static.
|
class |
StrictFp
Strict fp.
|
class |
Synchronized
Synchronized.
|
class |
Transient
Transient.
|
class |
TwoState
The JML modifier "two_state".
|
class |
VisibilityModifier
Visibility modifier.
|
class |
Volatile
Volatile.
|
Modifier and Type | Method and Description |
---|---|
void |
Visitor.performActionOnModifier(Modifier x) |
void |
JavaASTVisitor.performActionOnModifier(Modifier x) |
Modifier and Type | Method and Description |
---|---|
ImmutableArray<Modifier> |
ProgramMethod.getModifiers() |
ImmutableArray<Modifier> |
ProgramSV.getModifiers() |
Copyright © 2003-2019 The KeY-Project.