Package sync.pds.solver

Interface SyncPDSSolver.OnAddedSummaryListener<Stmt,Fact>

Enclosing class:

SyncPDSSolver<Stmt extends Location,Fact,Field extends Location,W extends Weight>

public static interface SyncPDSSolver.OnAddedSummaryListener<Stmt,Fact>

Method Summary

Modifier and Type	Method	Description
void	apply(Stmt callSite, Fact factInCallee, Stmt spInCallee, Stmt exitStmt, Fact returnedFact)

Method Detail

apply

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