edu.neu.ccs.jpf
Interface MethodFilter


public interface MethodFilter

This interface describes an object that can prune an array of Method objects to remove those that fail to meet some criterion.

The enclosed static class Factory defines some useful tools for defining or working with MethodFilter objects.

Since:
2.7.0
Version:
2.7.0

Nested Class Summary
static class MethodFilter.Factory
          The inner class Factory contains useful methods for defining working with MethodFilter objects.
 
Method Summary
 void prune(Object initializer, Method[] methods)
          A MethodFilter must define a prune method that accepts an initializer and an array of methods to prune.
 

Method Detail

prune

public void prune(Object initializer,
                  Method[] methods)

A MethodFilter must define a prune method that accepts an initializer and an array of methods to prune.

An implementation of prune must satisfy the following contract.

Note that an implementation may ignore the initializer object if there is no need to examine its properties.

The caller of prune is responsible for ensuring that the non-static methods in the array methods are invokable on the initializer object.

Parameters:
initializer - the object initializer associated with the methods
methods - the methods array to prune