Uses of Class
gov.nasa.jpf.util.LocationSpec

Packages that use LocationSpec

Package	Description
gov.nasa.jpf.listener
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of LocationSpec in gov.nasa.jpf.listener

Methods in gov.nasa.jpf.listener with parameters of type LocationSpec

Modifier and Type	Method and Description
protected void	OOMEInjector.markMatchingInstructions(MethodInfo mi, LocationSpec locSpec)

Method parameters in gov.nasa.jpf.listener with type arguments of type LocationSpec

Modifier and Type	Method and Description
protected void	CGRemover.parseLocationSpecs(List<LocationSpec> list, String[] specs)

Uses of LocationSpec in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return LocationSpec

Modifier and Type	Method and Description
static LocationSpec	LocationSpec.createLocationSpec(String s) factory method that includes the parser

Uses of LocationSpec in gov.nasa.jpf.vm

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

Modifier and Type	Method and Description
Instruction[]	ClassInfo.getMatchingInstructions(LocationSpec lspec)
Instruction[]	MethodInfo.getMatchingInstructions(LocationSpec lspec)