Lines Matching refs:PR_TokenEnd
125 function PR_TokenEnd(end, style) { class
131 PR_TokenEnd.prototype.toString = function () {
718 tokenEnds.push(new PR_TokenEnd(tokenStart, PR_PLAIN));
721 tokenEnds.push(new PR_TokenEnd(k + next, tokenStyle));
727 tokenEnds.push(new PR_TokenEnd(k, PR_PLAIN));
761 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));
768 tokenEnds.push(new PR_TokenEnd(k + i, PR_PLAIN));
773 tokenEnds.push(new PR_TokenEnd(k + next, '/'==ch?PR_REGEX:PR_STRING));
782 tokenEnds.push(new PR_TokenEnd(k + last, PR_PLAIN));
785 tokenEnds.push(new PR_TokenEnd(k + last, PR_PLAIN));
794 tokenEnds.push(new PR_TokenEnd(k + last, PR_PLAIN));
806 tokenEnds.push(new PR_TokenEnd(k + i, PR_COMMENT));
815 tokenEnds.push(new PR_TokenEnd(k + next, PR_COMMENT));
850 tokenEnds.push(new PR_TokenEnd(k, endTokenType)); // a token ends at the end