Uses of Interface
gov.nasa.jpf.vm.MethodLocator

Packages that use MethodLocator

Package	Description
gov.nasa.jpf.vm

Uses of MethodLocator in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm with parameters of type MethodLocator

Modifier and Type	Method and Description
void	ClassInfo.matchDeclaredMethods(MethodLocator loc) iterate over all declaredMethods declared in this class, until the provided MethodLocator tells us it's done
void	ClassInfo.matchMethods(MethodLocator loc) iterate over all declaredMethods of this class (and it's superclasses), until the provided MethodLocator tells us it's done