[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
PASideEffectTester.java
Hi all,
I modified method writeSet of PASideEffectTester.java to print out the
write set of every stmt.
protected RWSet writeSet( Unit u) {
ret = unitToWrite.get( u);
if (ret == null) {
unitToWrite.put( u , ret = sea.writeSet( currentMethod, (Stmt)
u));
printOut(u,ret);// print the content of u and ret
}
return ret;
}
i found out that the same unit together with the same ret are put many
times into unitToWrite.
Cheers,
Nguyen Hua Phung
University of New South Wales