projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove unnecessary annotations to calculate evalution numbers.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
SSJavaAnalysis.java
diff --git
a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 61a90d09f568181f3f316473aee9077a10a74120..2d1f8ffc800af698eea65210c47079e7926dadc2 100644
(file)
--- a/
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@
-244,7
+244,7
@@
public class SSJavaAnalysis {
SSJavaLattice<String> completeLattice = buildLattice.buildLattice(hierarchyGraph);
SSJavaLattice<String> completeLattice = buildLattice.buildLattice(hierarchyGraph);
- int numLocs = completeLattice.getKeySet().size()
+ 1
;
+ int numLocs = completeLattice.getKeySet().size();
LocationInference.numLocationsSInfer += numLocs;
mapNumLocsMapManual.put(desc, new Integer(numLocs));
LocationInference.numLocationsSInfer += numLocs;
mapNumLocsMapManual.put(desc, new Integer(numLocs));