318319320321322323324325326327328
node = parent; height++; } lNew.add(new PBLoc(terminalId, height, ",")); ids.removeAll(node.getSubTerminalIdSet()); } if (lNew.size() < arg.getLocSize()) { lNew.get(0).type = "";