Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Field and Description |
---|---|
protected StringSetMatcher |
InstructionFactoryFilter.excludes |
protected StringSetMatcher |
InstructionFactoryFilter.includes |
Modifier and Type | Method and Description |
---|---|
static StringSetMatcher |
StringSetMatcher.getNonEmpty(String[] set) |
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
|
Modifier and Type | Field and Description |
---|---|
protected StringSetMatcher |
DynamicAbstractionSerializer.excludeClasses |
protected StringSetMatcher |
DynamicAbstractionSerializer.excludeMethods |
protected StringSetMatcher |
DynamicAbstractionSerializer.includeClasses |
protected StringSetMatcher |
DynamicAbstractionSerializer.includeMethods |