Package pascal.taie.analysis.exception

Class CatchResult

java.lang.Object
pascal.taie.analysis.exception.CatchResult
public class CatchResult extends Object

  • Constructor Details

    • CatchResult

      public CatchResult()

  • Method Details

    • getCaughtImplicitOf

      public MultiMap<Stmt,ClassType> getCaughtImplicitOf(Stmt stmt)
      Returns:
      all exception types that may be implicitly thrown by given Stmt and caught by its containing method. The result of the call is a map from Catch statements to set of exception types that are caught by the Catches.

    • getUncaughtImplicitOf

      public Set<ClassType> getUncaughtImplicitOf(Stmt stmt)
      Returns:
      the set of exception types that may be implicitly thrown by given Stmt but not caught by its containing method.

    • getCaughtExplicitOf

      public MultiMap<Stmt,ClassType> getCaughtExplicitOf(Stmt stmt)
      Returns:
      all exception types that may be explicitly thrown by given Stmt and caught by its containing method. The result of the call is a map from Catch statements to set of exception types that are caught by the Catches.

    • getUncaughtExplicitOf

      public Set<ClassType> getUncaughtExplicitOf(Stmt stmt)
      Returns:
      the set of exception types that may be explicitly thrown by given Stmt but not caught by its containing method.

    • getCaughtOf

      public MultiMap<Stmt,ClassType> getCaughtOf(Stmt stmt)
      Returns:
      all exception types that may be implicitly or explicitly thrown by given Stmt and caught by its containing method. The result of the call is a map from Catch statements to set of exception types that are caught by the Catches.

    • getUncaughtOf

      public Set<ClassType> getUncaughtOf(Stmt stmt)
      Returns:
      all exception types that may be implicitly or explicitly thrown by given Stmt and cannot be caught by its containing method.