Lines Matching defs:pre
70 final HTMLElement pre = parent.pre(Styles.SOURCE + " lang-" + lang
77 renderCodeLine(pre, line, source.getLine(nr), nr);
81 private void renderCodeLine(final HTMLElement pre, final String linesrc,
83 highlight(pre, line, lineNr).text(linesrc);
84 pre.text("\n");
87 HTMLElement highlight(final HTMLElement pre, final ILine line,
101 return pre;
108 return span(pre, lineId, style, Styles.BRANCH_NOT_COVERED,
111 return span(pre, lineId, style, Styles.BRANCH_FULLY_COVERED,
114 return span(pre, lineId, style, Styles.BRANCH_PARTLY_COVERED,
117 return pre.span(style, lineId);