Class FilteredException

java.lang.Object
com.ibm.wala.ipa.cfg.exceptionpruning.FilteredException

public class FilteredException extends Object
FilteredException represents either a single exception or an exception and all its subclasses.
Author:
Stephan Gocht <stephan@gobro.de>
  • Field Details

  • Constructor Details

    • FilteredException

      public FilteredException(TypeReference exception)
    • FilteredException

      public FilteredException(TypeReference exception, boolean isSubclassFiltered)
  • Method Details

    • getException

      public TypeReference getException()
    • isSubclassFiltered

      public boolean isSubclassFiltered()