Skip navigation links

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.
Skip navigation links

Copyright © 2003-2019 The KeY-Project.