Searched refs:CodepointBegin (Results 1 – 1 of 1) sorted by relevance
824 const unsigned char *CodepointBegin = Begin; in pushEscapedString() local837 OutStr.append(CodepointBegin, CodepointEnd); in pushEscapedString()