heros.fieldsens

Interface SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt>

Enclosing class:

SourceStmtAnnotatedMethodAnalyzer<Field,Fact,Stmt,Method>

public static interface SourceStmtAnnotatedMethodAnalyzer.Synchronizer<Stmt>

Method Summary

Modifier and Type	Method and Description
void	synchronizeOnStmt(Stmt stmt, java.lang.Runnable job)

Method Detail

synchronizeOnStmt

void synchronizeOnStmt(Stmt stmt,
                       java.lang.Runnable job)