Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
ConfigAttributor
A configuration file-driven attributor so that we can tailor JPF's
attributor based on the application under test.
|
class |
DefaultAttributor
default Attributor implementation to set method and fiel attributes
at class load time.
|
Modifier and Type | Field and Description |
---|---|
protected static Attributor |
ClassInfo.attributor
optionally used to determine atomic declaredMethods of a class (during class loading)
|