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

This package collects all Java modifiers.

See: Description

Class Summary

Class	Description
Abstract	Abstract.
AnnotationUseSpecification
Final	Final.
Ghost	The JML modifier "ghost".
Model	The JML modifier "model".
Native	Native.
NoState	The JML modifier "no_state".
Private	Private.
Protected	Protected.
Public	Public.
Static	Static.
StrictFp	Strict fp.
Synchronized	Synchronized.
Transient	Transient.
TwoState	The JML modifier "two_state".
VisibilityModifier	Visibility modifier.
Volatile	Volatile.

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

This package collects all Java modifiers. The sole abstraction beneath the parent Modifier is the VisibilityModifier.