changes: make location an extension of type descriptor and have an additional mapping...

[IRC.git] / Robust / src / Analysis / SSJava / CompositeLocation.java

diff --git a/Robust/src/Analysis/SSJava/CompositeLocation.java b/Robust/src/Analysis/SSJava/CompositeLocation.java
index b9eb5f86bacef688f07b65043e89e4d136ee2032..1f9c6a6efb8406d4795a0e06009e9b038fa4a6e3 100644 (file)
--- a/Robust/src/Analysis/SSJava/CompositeLocation.java
+++ b/Robust/src/Analysis/SSJava/CompositeLocation.java
@@ -8,7 +8,7 @@ import java.util.Set;
 
 import IR.ClassDescriptor;
 
-public class CompositeLocation extends Location {
+public class CompositeLocation extends Location{
 
   protected NTuple<Location> locTuple;
 
@@ -72,9 +72,9 @@ public class CompositeLocation extends Location {
     return cd2loc;
 
   }
-  
+
   public NTuple<Location> getBaseLocationTuple() {
-    
+
     NTuple<Location> baseLocationTuple = new NTuple<Location>();
     int tupleSize = locTuple.size();
     for (int i = 0; i < tupleSize; i++) {
@@ -89,7 +89,7 @@ public class CompositeLocation extends Location {
       }
     }
     return baseLocationTuple;
-    
+
   }
 
   public Set<Location> getBaseLocationSet() {