|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use RuntimeVisibleAnnotationsAttribute | |
| org.multijava.util.classfile | Provides an editor for classfiles used by MultiJava and the Java Modeling Language. |
| Uses of RuntimeVisibleAnnotationsAttribute in org.multijava.util.classfile |
| Methods in org.multijava.util.classfile with parameters of type RuntimeVisibleAnnotationsAttribute | |
private static boolean |
MethodInfo.containsUniverseAnnotation(RuntimeVisibleAnnotationsAttribute attr)
Returns whether the given annotations attribute of the method contains Universe annotations for the purity or the return type of the method. |
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||