KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450

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

Elements of the Java syntax tree representing declarations.

See: Description

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.
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450