de.uka.ilkd.key.java.declaration

Interfaces

• MemberDeclaration
• TypeDeclarationContainer

Classes

• ArrayDeclaration
• ClassDeclaration
• ClassInitializer
• ConstructorDeclaration
• EnumClassDeclaration
• Extends
• FieldDeclaration
• FieldSpecification
• Implements
• ImplicitFieldSpecification
• InheritanceSpecification
• InterfaceDeclaration
• JavaDeclaration
• LocalVariableDeclaration
• MethodDeclaration
• Modifier
• ParameterDeclaration
• SuperArrayDeclaration
• Throws
• TypeDeclaration
• VariableDeclaration
• VariableSpecification