Interface InterprocAnalysisResult<I,T extends IBasicBlock<I>>

public interface InterprocAnalysisResult<I,T extends IBasicBlock<I>>
Interface to retrieve the result of the interprocedural analysis.
Author:
Juergen Graf <graf@kit.edu>

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    containsResult(CGNode n)
    Returns true iff an analysis result exists for the given call graph node.
    ExceptionPruningAnalysis<I,T>
    getResult(CGNode n)
    Returns the result of the interprocedural analysis for the given call graph node.

  • Method Details

    • getResult

      ExceptionPruningAnalysis<I,T> getResult(CGNode n)
      Returns the result of the interprocedural analysis for the given call graph node.

    • containsResult

      boolean containsResult(CGNode n)
      Returns true iff an analysis result exists for the given call graph node.