Interface SyncPDSSolver.OnAddedSummaryListener<Stmt,​Fact>

    • Method Detail

      • apply

        void apply​(Stmt callSite,
                   Fact factInCallee,
                   Stmt spInCallee,
                   Stmt exitStmt,
                   Fact returnedFact)