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     mapHNodeNameToLocationName.put(nodeName, locName);
  16   }
  17
  18   public String getLocationName(String nodeName) {
  19     if (!mapHNodeNameToLocationName.containsKey(nodeName)) {
  20       mapHNodeNameToLocationName.put(nodeName, nodeName);
  21     }
  22     return mapHNodeNameToLocationName.get(nodeName);
  23   }
  24
  25   public Map<String, String> getMapHNodeNameToLocationName() {
  26     return mapHNodeNameToLocationName;
  27   }
  28
  29 }