joeq.Compiler.Quad
Class FilteredCallGraph.PackageFilter

java.lang.Object
  joeq.Compiler.Quad.FilteredCallGraph.PackageFilter

All Implemented Interfaces:

FilteredCallGraph.Filter

Enclosing class:

FilteredCallGraph

public static class FilteredCallGraph.PackageFilter
extends Object
implements FilteredCallGraph.Filter

Constructor Summary

FilteredCallGraph.PackageFilter()

Method Summary

boolean	acceptTargetMethod(Object context, ProgramLocation callSite, Object targetMethod)
void	excludePackage(String packageName)

Methods inherited from class java.lang.Object

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

Constructor Detail

FilteredCallGraph.PackageFilter

public FilteredCallGraph.PackageFilter()

Method Detail

excludePackage

public void excludePackage(String packageName)

acceptTargetMethod

public boolean acceptTargetMethod(Object context,
                                  ProgramLocation callSite,
                                  Object targetMethod)

Specified by:

acceptTargetMethod in interface FilteredCallGraph.Filter