trivial bug fix
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3585 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
f39b9cf43a
commit
0890ed0795
|
@ -130,7 +130,7 @@ public abstract class JavaSourceLoaderImpl extends ClassLoaderImpl {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
// The following computation allows the root class to reside in source
|
// The following computation allows the root class to reside in source
|
||||||
int numSuperClasses = (getName().equals(JavaSourceLoaderImpl.this.getLanguage().getRootType().getName())) ? 1 : 0; // 0 if the root class
|
int numSuperClasses = (getName().equals(JavaSourceLoaderImpl.this.getLanguage().getRootType().getName())) ? 0 : 1; // 0 if the root class
|
||||||
|
|
||||||
if (result.size() != (superTypeNames.size() - numSuperClasses)) {
|
if (result.size() != (superTypeNames.size() - numSuperClasses)) {
|
||||||
assert result.size() == superTypeNames.size() - numSuperClasses : "found " + result + " interfaces for " + superTypeNames
|
assert result.size() == superTypeNames.size() - numSuperClasses : "found " + result + " interfaces for " + superTypeNames
|
||||||
|
|
Loading…
Reference in New Issue