Package com.ibm.wala.ipa.cfg.exceptionpruning

Interface ExceptionFilter<Instruction>

All Known Implementing Classes:
ArrayOutOfBoundFilter, CombinedExceptionFilter, DummyFilter, IgnoreExceptionsFilter, NullPointerExceptionFilter
public interface ExceptionFilter<Instruction>
To filter exceptions you can implement this interface and use it in combination with ExceptionFilter2EdgeFilter. For more Details see package-info.
Author:
Stephan Gocht <stephan@gobro.de>

  • Method Details

    • alwaysThrowsException

      boolean alwaysThrowsException(Instruction instruction)
      Returns:
      if the instruction does always throw an exception

    • filteredExceptions

      Collection<FilteredException> filteredExceptions(Instruction instruction)
      Returns:
      a list of exceptions, which have to be filtered for the given instruction