Uses of Class
gov.nasa.jpf.vm.AnnotationInfo.Entry

Packages that use AnnotationInfo.Entry

Package	Description
gov.nasa.jpf.vm

Uses of AnnotationInfo.Entry in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as AnnotationInfo.Entry

Modifier and Type	Field and Description
protected AnnotationInfo.Entry[]	AnnotationInfo.entries

Methods in gov.nasa.jpf.vm that return AnnotationInfo.Entry

Modifier and Type	Method and Description
AnnotationInfo.Entry	AnnotationInfo.Entry.clone()
AnnotationInfo.Entry[]	AnnotationInfo.getEntries()

Methods in gov.nasa.jpf.vm with parameters of type AnnotationInfo.Entry

Modifier and Type	Method and Description
void	AnnotationInfo.setEntries(AnnotationInfo.Entry[] entries)

Constructors in gov.nasa.jpf.vm with parameters of type AnnotationInfo.Entry

Constructor and Description
AnnotationInfo(String name, AnnotationInfo.Entry[] entries, boolean isInherited)