1 package Analysis.SSJava;
3 import java.util.HashMap;
6 public abstract class LocationSummary {
8 Map<String, String> mapHNodeNameToLocationName;
10 public LocationSummary() {
11 mapHNodeNameToLocationName = new HashMap<String, String>();
14 public void addMapHNodeNameToLocationName(String nodeName, String locName) {
15 // System.out.println("nodeName="+nodeName+" locName="+locName);
16 mapHNodeNameToLocationName.put(nodeName, locName);
19 public String getLocationName(String nodeName) {
20 if (!mapHNodeNameToLocationName.containsKey(nodeName)) {
21 mapHNodeNameToLocationName.put(nodeName, nodeName);
23 return mapHNodeNameToLocationName.get(nodeName);
26 public Map<String, String> getMapHNodeNameToLocationName() {
27 return mapHNodeNameToLocationName;