Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Class and Description |
---|---|
class |
FieldSpec
utility class that can match FieldInfos against specs.
|
class |
MethodSpec
utility class that can match methods/args against specs.
|
class |
TypeSpec
wildcard supporting type specification to be used for JPF configuration.
|