Package de.uka.ilkd.key.java.declaration

Elements of the Java syntax tree representing declarations.

See: Description

Interface Summary

Interface	Description
MemberDeclaration	Member declaration.
TypeDeclarationContainer	Type declaration container.

Class Summary

Class	Description
ArrayDeclaration	KeY used to model arrays using only the ArrayType.
ClassDeclaration	There are several types of class declarations: package-less outer classes getClassContainer() == null getStatementContainer() == null getName() !
ClassInitializer
ConstructorDeclaration	The getTypeReference method returns null - constructors do not have explicite return types.
EnumClassDeclaration	This class is used for wrapping an enum into a standard class type.
Extends	Extends.
FieldDeclaration	Field declaration.
FieldSpecification
Implements	Implements.
ImplicitFieldSpecification
InheritanceSpecification	Inheritance specification.
InterfaceDeclaration	Interface declaration.
JavaDeclaration	Java declaration.
LocalVariableDeclaration	Local variable declaration.
MethodDeclaration	Method declaration.
Modifier	Modifier.
ParameterDeclaration	Formal parameters require a VariableSpecificationList of size() <= 1 (size() == 0 for abstract methods) without initializer (for Java).
SuperArrayDeclaration	At the moment the mere purpose of this Class is to provide an encapsulation for the length attribute.
Throws	Throws.
TypeDeclaration	Type declaration.
VariableDeclaration	Variable declaration.
VariableSpecification	Variable specification that defines a variable name.

Package de.uka.ilkd.key.java.declaration Description

Elements of the Java syntax tree representing declarations. For each declaration, there exists a corresponding Reference in the recoder.java.reference package. Each Declaration provides some convenience methods that query the possible modifiers. The modifiers themselves are collected in the subpackage recoder.java.declaration.modifier.