Package pascal.taie.analysis

Interface StmtResult<R>

Type Parameters:
R - type of analysis results
All Known Subinterfaces:
CallGraph<CallSite,Method>, NodeResult<Node,Fact>
All Known Implementing Classes:
AbstractCallGraph, CSCallGraph, DataflowResult, DefaultCallGraph, DefUse
public interface StmtResult<R>
An interface for querying analysis results of Stmt.

  • Method Summary

    Modifier and Type
    Method
    Description
    R
    getResult(Stmt stmt)
     
    boolean
    isRelevant(Stmt stmt)
     

  • Method Details

    • isRelevant

      boolean isRelevant(Stmt stmt)
      Returns:
      if stmt is relevant in this result.

    • getResult

      R getResult(Stmt stmt)
      Returns:
      analysis result of given stmt.