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.

• The initializer may be inspected for its properties but no action may be taken that has side effects of any kind.
• If methods is null, then prune must do nothing.
• If methods[i] is null, then prune must do nothing to that array slot.
• If methods[i] is non-null, then either that array slot must be left as is or that array slot must be set to null.

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