gov.nasa.jpf.util

Class ClassInfoFilter

java.lang.Object

gov.nasa.jpf.util.ClassInfoFilter

public class ClassInfoFilter
extends java.lang.Object

utility class that can be used by InstructionFactory implementations to selectively replace bytecodes for specified class sets. Filtering is based on include/exclude name patterns (e.g. for packages) and/or on inheritance (both down- and upwards)

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
ClassInfoFilter(java.lang.String[] includeCls, java.lang.String[] excludeCls, ClassInfo rootCls, ClassInfo leafCls)

Method Summary

Modifier and Type	Method and Description
boolean	isPassing(ClassInfo ci)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

includes

protected StringSetMatcher includes

excludes

protected StringSetMatcher excludes

Constructor Detail

ClassInfoFilter

public ClassInfoFilter(java.lang.String[] includeCls,
                       java.lang.String[] excludeCls,
                       ClassInfo rootCls,
                       ClassInfo leafCls)

Method Detail

isPassing

public boolean isPassing(ClassInfo ci)