Package pascal.taie.analysis.pta.plugin.util

Interface IRModel

All Known Implementing Classes:
AbstractIRModel
@Deprecated public interface IRModel
Deprecated.
Use IRModelPlugin instead.
Models specific APIs by generating corresponding IR.

  • Method Details

    • getModeledAPIs

      Set<JMethod> getModeledAPIs()
      Deprecated.

    • handleNewMethod

      void handleNewMethod(JMethod method)
      Deprecated.

    • handleNewCSMethod

      void handleNewCSMethod(CSMethod csMethod)
      Deprecated.