DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

tweak comments 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3652 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2009-06-12 14:16:29 +00:00
parent 06d6ff8c8f
commit c004352dd9
2 changed files with 3 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
com.ibm.wala.core/src/com/ibm/wala/ipa/modref/ExtendedHeapModel.java
View File

@ -15,16 +15,12 @@ import com.ibm.wala.ipa.callgraph.propagation.InstanceKey;
import com.ibm.wala.ipa.callgraph.propagation.PointerKey; import com.ibm.wala.ipa.callgraph.propagation.PointerKey;
/** /**
* An extension of a heap model that returns a {@link PointerKey} * An extension of a heap model that returns a {@link PointerKey} to represent an array length field
* to represent an array length field
*/ */
public interface ExtendedHeapModel extends HeapModel { public interface ExtendedHeapModel extends HeapModel {
/** /**
* * @param I an InstanceKey representing an abstract array
* @param I * @return the PointerKey that acts as a representation for the arraylength field of this abstract array
* an InstanceKey representing an abstract array
* @return the PointerKey that acts as a representation for the arraylength
* field of this abstract array
*/ */
PointerKey getPointerKeyForArrayLength(InstanceKey I); PointerKey getPointerKeyForArrayLength(InstanceKey I);
} }

3
com.ibm.wala.core/src/com/ibm/wala/ipa/modref/ModRef.java
View File

@ -45,9 +45,6 @@ import com.ibm.wala.util.intset.OrdinalSet;
* *
* For each call graph node, what heap locations (as determined by a heap model) may it read or write, including it's callees * For each call graph node, what heap locations (as determined by a heap model) may it read or write, including it's callees
* transitively * transitively
*
* @author sjfink
*
*/ */
public class ModRef { public class ModRef {