Robust/src/Analysis/SSJava/LocationSummary.java

   1 package Analysis.SSJava;
   2
   3 import java.util.HashMap;
   4 import java.util.Map;
   5
   6 public abstract class LocationSummary {
   7
   8   Map<String, String> mapHNodeNameToLocationName;
   9
  10   public LocationSummary() {
  11     mapHNodeNameToLocationName = new HashMap<String, String>();
  12   }
  13
  14   public void addMapHNodeNameToLocationName(String nodeName, String locName) {
  15     // System.out.println("nodeName="+nodeName+"  locName="+locName);
  16     mapHNodeNameToLocationName.put(nodeName, locName);
  17   }
  18
  19   public String getLocationName(String nodeName) {
  20     if (!mapHNodeNameToLocationName.containsKey(nodeName)) {
  21       mapHNodeNameToLocationName.put(nodeName, nodeName);
  22     }
  23     return mapHNodeNameToLocationName.get(nodeName);
  24   }
  25
  26   public Map<String, String> getMapHNodeNameToLocationName() {
  27     return mapHNodeNameToLocationName;
  28   }
  29
  30 }