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

Packages that use FeatureSpec

Package	Description
gov.nasa.jpf.util

Uses of FeatureSpec in gov.nasa.jpf.util

Subclasses of FeatureSpec in 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.