Searched refs:PR_Token (Results 1 – 2 of 2) sorted by relevance
| /plugin/code3/src/ |
| D | tz.js | 145 function PR_Token(token, style) { class
151 PR_Token.prototype.toString = function () {
439 chunksOut.push(new PR_Token(out.join(''), chunk.style));
476 lastChunk = new PR_Token(chunkText, style);
497 var chunk = new PR_Token('', null);
508 new PR_Token(chunk.token.substring(posChunk, chunk.token.length),
523 new PR_Token(chunk.token.substring(posChunk, posChunk + tokLen),
892 outlist.push(new PR_Token(t, PR_PLAIN));
971 outlist.push(new PR_Token(t, style));
1091 new PR_Token(s.substring(start, emitEnd), stateStyle));
[all …]
|
| /plugin/code3/ |
| D | script.js | 11 …PR_Token(i,I){if(undefined===I){throw new Error('BAD');}this.token=i;this.style=I}PR_Token.prototy… class
|