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

Packages that use StringSetMatcher

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm.serialize

Uses of StringSetMatcher in gov.nasa.jpf.util

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

Modifier and Type	Field and Description
protected StringSetMatcher	InstructionFactoryFilter.excludes
protected StringSetMatcher	InstructionFactoryFilter.includes

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

Modifier and Type	Method and Description
static StringSetMatcher	StringSetMatcher.getNonEmpty(String[] set)

Methods in gov.nasa.jpf.util with parameters of type StringSetMatcher

Modifier and Type	Method and Description
static boolean	StringSetMatcher.isMatch(String s, StringSetMatcher includes, StringSetMatcher excludes) convenience method for matcher pairs containing of explicit excludes and includes

Uses of StringSetMatcher in gov.nasa.jpf.vm.serialize

Fields in gov.nasa.jpf.vm.serialize declared as StringSetMatcher

Modifier and Type	Field and Description
protected StringSetMatcher	DynamicAbstractionSerializer.excludeClasses
protected StringSetMatcher	DynamicAbstractionSerializer.excludeMethods
protected StringSetMatcher	DynamicAbstractionSerializer.includeClasses
protected StringSetMatcher	DynamicAbstractionSerializer.includeMethods