Searched refs:setCatcode (Results 1 – 3 of 3) sorted by relevance
13916 _proto.setCatcode = function setCatcode(char, code) {16851 this.gullet.lexer.setCatcode("%", 13); // active character16855 this.gullet.lexer.setCatcode("%", 14); // comment character
1 …setCatcode=function(t,e){this.catcodes[t]=e},e.lex=function(){var t=this.input,e=this.tokenRegex.l… function
13616 setCatcode(char, code) { method in Lexer16484 this.gullet.lexer.setCatcode("%", 13); // active character16488 this.gullet.lexer.setCatcode("%", 14); // comment character