gov.nasa.jpf.util

Class InstructionFactoryFilter

java.lang.Object

gov.nasa.jpf.util.InstructionFactoryFilter

public class InstructionFactoryFilter
extends 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
InstructionFactoryFilter(String[] includeCls, String[] excludeCls, ClassInfo rootCls, ClassInfo leafCls)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isInstrumentedClass(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

InstructionFactoryFilter

public InstructionFactoryFilter(String[] includeCls,
                        String[] excludeCls,
                        ClassInfo rootCls,
                        ClassInfo leafCls)

Method Detail

isInstrumentedClass

public boolean isInstrumentedClass(ClassInfo ci)