projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes: building field/method hierarchy graph + inserting combination nodes at the...
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
Location.java
diff --git
a/Robust/src/Analysis/SSJava/Location.java
b/Robust/src/Analysis/SSJava/Location.java
index 1c90d577e1ce714ef9f82b4a9dfb7341cad5bfd3..98a05497131af40d7898f5fd74b086067678750f 100644
(file)
--- a/
Robust/src/Analysis/SSJava/Location.java
+++ b/
Robust/src/Analysis/SSJava/Location.java
@@
-17,7
+17,15
@@
public class Location implements TypeExtension {
public Location(Descriptor d, String loc) {
this.d = d;
this.loc = loc;
public Location(Descriptor d, String loc) {
this.d = d;
this.loc = loc;
- this.type = NORMAL;
+
+ if (loc.equals(SSJavaAnalysis.TOP)) {
+ type = TOP;
+ } else if (loc.equals(SSJavaAnalysis.BOTTOM)) {
+ type = BOTTOM;
+ } else {
+ type = NORMAL;
+ }
+
}
public Location(Descriptor d, int type) {
}
public Location(Descriptor d, int type) {