import java.util.ArrayList;
import java.util.List;
import java.util.Map;
+import java.util.Set;
import java.util.TreeMap;
import java.util.Vector;
buf.append(" executedPaths=").append(executedPaths);
return buf.toString();
}
+
+ public Set getDynamicRefKeys() {
+ return dynamicRefs.keySet();
+ }
}