nuke ResolutionFailure
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2736 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
2fb3f17eb7
commit
2807ddb556
|
@ -27,8 +27,6 @@ import com.ibm.wala.types.MethodReference;
|
||||||
import com.ibm.wala.types.TypeName;
|
import com.ibm.wala.types.TypeName;
|
||||||
import com.ibm.wala.types.TypeReference;
|
import com.ibm.wala.types.TypeReference;
|
||||||
import com.ibm.wala.util.strings.Atom;
|
import com.ibm.wala.util.strings.Atom;
|
||||||
import com.ibm.wala.util.warnings.ResolutionFailure;
|
|
||||||
import com.ibm.wala.util.warnings.Warnings;
|
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* This class provides context selection logic for special J2EE methods.
|
* This class provides context selection logic for special J2EE methods.
|
||||||
|
@ -71,7 +69,6 @@ public class J2EEContextSelector implements ContextSelector {
|
||||||
TypeAbstraction type = R.getReceiverType(site);
|
TypeAbstraction type = R.getReceiverType(site);
|
||||||
if (type == null) {
|
if (type == null) {
|
||||||
// Type inference failed; raise a severe warning
|
// Type inference failed; raise a severe warning
|
||||||
Warnings.add(ResolutionFailure.create(caller, site));
|
|
||||||
return null;
|
return null;
|
||||||
}
|
}
|
||||||
return new JavaTypeContext(type);
|
return new JavaTypeContext(type);
|
||||||
|
|
|
@ -50,7 +50,6 @@ import com.ibm.wala.util.collections.HashMapFactory;
|
||||||
import com.ibm.wala.util.debug.Assertions;
|
import com.ibm.wala.util.debug.Assertions;
|
||||||
import com.ibm.wala.util.debug.Trace;
|
import com.ibm.wala.util.debug.Trace;
|
||||||
import com.ibm.wala.util.strings.Atom;
|
import com.ibm.wala.util.strings.Atom;
|
||||||
import com.ibm.wala.util.warnings.ResolutionFailure;
|
|
||||||
import com.ibm.wala.util.warnings.Warnings;
|
import com.ibm.wala.util.warnings.Warnings;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
@ -1100,7 +1099,6 @@ public class J2EEMethodTargetSelector implements MethodTargetSelector, BytecodeC
|
||||||
}
|
}
|
||||||
if (type == null) {
|
if (type == null) {
|
||||||
// Type inference failed; raise a severe warning
|
// Type inference failed; raise a severe warning
|
||||||
Warnings.add(ResolutionFailure.create(N, site));
|
|
||||||
return null;
|
return null;
|
||||||
} else {
|
} else {
|
||||||
// Type inference succeeded; modify m to reflect the more specific
|
// Type inference succeeded; modify m to reflect the more specific
|
||||||
|
|
Loading…
Reference in New Issue