if (partitionResult != null) {
sp = partitionResult.getFragmentForRunAsync(sp);
}
String name = runAsync.getName();
curLine = "<splitpoint id=\"" + sp + "\" location=\"" + name + "\"/>";
htmlOut.printRaw(curLine);
htmlOut.newline();
if (logger.isLoggable(TreeLogger.TRACE)) {
logger.log(TreeLogger.TRACE, "Assigning split point #" + sp + " for '" + name + "'");
}
}