Package | Description |
---|---|
gov.nasa.jpf.listener | |
gov.nasa.jpf.util | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
protected void |
OOMEInjector.markMatchingInstructions(MethodInfo mi,
LocationSpec locSpec) |
Modifier and Type | Method and Description |
---|---|
protected void |
CGRemover.parseLocationSpecs(List<LocationSpec> list,
String[] specs) |
Modifier and Type | Method and Description |
---|---|
static LocationSpec |
LocationSpec.createLocationSpec(String s)
factory method that includes the parser
|
Modifier and Type | Method and Description |
---|---|
Instruction[] |
ClassInfo.getMatchingInstructions(LocationSpec lspec) |
Instruction[] |
MethodInfo.getMatchingInstructions(LocationSpec lspec) |