minor change to demand points-to interfacemaster
commit2fc776af9c65f178c07c120688f924e02c02e4c3
authormsridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Wed, 30 Apr 2008 17:18:11 +0000 (30 17:18 +0000)
committermsridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Wed, 30 Apr 2008 17:18:11 +0000 (30 17:18 +0000)
tree5262cedcac92661de71005ca8e66e924e76050ca
parent386367352ae1d3ce3012d96318203f111d30344a
minor change to demand points-to interface

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2775 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
com.ibm.wala.core.tests/src/com/ibm/wala/demandpa/driver/DemandCastChecker.java
com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/AbstractDemandPointsTo.java
com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java
com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/SimpleDemandPointsTo.java