tweak context for String.valueOf()

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2421 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-21 21:06:49 +00:00
parent 63e1b24f23
commit 4b36581938
1 changed files with 5 additions and 0 deletions

View File

@ -63,6 +63,8 @@ public class ContainerContextSelector implements ContextSelector {
private final static MethodReference ArraysCopyOfRange = MethodReference.findOrCreate(Arrays, "copyOfRange", "([CII)[C");
private final static MethodReference ArraysCopyOf = MethodReference.findOrCreate(Arrays, "copyOf", "([Ljava/lang/Object;I)[Ljava/lang/Object;");
private final static MethodReference ArraysCopyOf2 = MethodReference.findOrCreate(Arrays, "copyOf", "([Ljava/lang/Object;ILjava/lang/Class;)[Ljava/lang/Object;");
private final static MethodReference StringValueOf = MethodReference.findOrCreate(TypeReference.JavaLangString, "valueOf", "(Ljava/lang/Object;)Ljava/lang/String;");
/**
* The governing class hierarchy.
*/
@ -136,6 +138,9 @@ public class ContainerContextSelector implements ContextSelector {
if (m.equals(ArraysCopyOf2)) {
return true;
}
if (m.equals(StringValueOf)) {
return true;
}
return false;
}