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

make it easier to identify ArgumentInstanceContexts 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4507 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2012-02-17 20:25:49 +00:00
parent a840e068d6
commit 1dfacdfe4c
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/ArgumentInstanceContext.java
View File

@ -11,6 +11,9 @@ public class ArgumentInstanceContext implements Context {
private final int index;
private final InstanceKey instanceKey;
// to easily identify when an ArgumentInstanceContext is present
public static final ContextKey ID_KEY = new ContextKey() {};
public ArgumentInstanceContext(Context base, int index, InstanceKey instanceKey) {
this.base = base;
this.index = index;
@ -20,7 +23,7 @@ public class ArgumentInstanceContext implements Context {
public ContextItem get(ContextKey name) {
/*if(name == ContextKey.RECEIVER && index == 1)
return instanceKey;*/
if(name == ContextKey.PARAMETERS[index])
if(name.equals(ContextKey.PARAMETERS[index]) || name.equals(ID_KEY))
return new FilteredPointerKey.SingleInstanceFilter(instanceKey);
return base.get(name);
}