Searched refs:PR_TokenEnd (Results 1 – 2 of 2) sorted by relevance
| /plugin/code3/src/ |
| H A D | tz.js | 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));
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));
[all …]
|
| /plugin/code3/ |
| H A D | script.js | 11 …PR_TokenEnd(i,I){if(undefined===I){throw new Error('BAD');}if('number'!=typeof(i)){throw new Error… class
|