Lines Matching refs:PR_TokenEnd
95 function PR_TokenEnd(end, style) { class
101 PR_TokenEnd.prototype.toString = function () {
542 tokenEnds.push(new PR_TokenEnd(tokenStart, PR_PLAIN));
543 tokenEnds.push(new PR_TokenEnd(k + next, tokenStyle));
549 tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN));
575 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));
581 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));
587 tokenEnds.push(new PR_TokenEnd(k + i + 1, PR_STRING));
596 tokenEnds.push(new PR_TokenEnd(k + i - 1, PR_PLAIN));
599 tokenEnds.push(new PR_TokenEnd(k + i - 1, PR_PLAIN));
609 tokenEnds.push(new PR_TokenEnd(k + i, PR_COMMENT));
618 tokenEnds.push(new PR_TokenEnd(k + i + 1, PR_COMMENT));
627 tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN)); // a token ends at the end