/** * Generate the appropriate HTML for pool name (redirected info if necessary) * * @param redirects * @param poolInfo * @return Pair of group and pool html */ public static PoolInfoHtml getPoolInfoHtml(Map<PoolInfo, PoolInfo> redirects, PoolInfo poolInfo) { String redirectAttributes = null; if (redirects != null) { PoolInfo destination = redirects.get(poolInfo); if (destination != null) { redirectAttributes = "Redirected to " + PoolInfo.createStringFromPoolInfo(destination); } } String spanTag = (redirectAttributes != null) ? "<span class=\"ui-state-disabled\" title=\"" + redirectAttributes + "\">" : "<span>"; String groupHtml = spanTag + poolInfo.getPoolGroupName() + "</span>"; String poolHtml = spanTag + (poolInfo.getPoolName() == null ? "-" : poolInfo.getPoolName()) + "</span>"; return new PoolInfoHtml(groupHtml, poolHtml); }