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

Packages that use StringMatcher

Package	Description
gov.nasa.jpf.util

Uses of StringMatcher in gov.nasa.jpf.util

Fields in gov.nasa.jpf.util declared as StringMatcher

Modifier and Type	Field and Description
protected StringMatcher	FeatureSpec.clsSpec
protected StringMatcher	LocationSpec.fileSpec
protected StringMatcher	FeatureSpec.nameSpec
protected StringMatcher	LocationSpec.pathSpec

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

Modifier and Type	Method and Description
StringMatcher	FeatureSpec.getClassSpec()
StringMatcher	FeatureSpec.getNameSpec()