Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 6

Portion of AnnaBot0.java.
540547.fig.006