private void getPathIdNames(ArrayList<String> pins) {
if (parentTN != null) parentTN.getPathIdNames(pins);
pins.add(this.id_name);
}
public ArrayList<String> getPathIdNames() {
ArrayList<String> rets = new ArrayList<String>();
getPathIdNames(rets);
return rets;
}
