void () { doTest("'\\u005c\\u005c'", "CHARACTER_LITERAL (''\\u005c\\u005c'')"); // unicode escaped escaped slash '\\' doTest("\\u0027\\u005c\\u005c'", "CHARACTER_LITERAL ('\\u0027\\u005c\\u005c'')"); // unicode escaped escaped slash '\\' doTest("'\\u1234' ", "CHARACTER_LITERAL (''\\u1234'')\nWHITE_SPACE (' ')"); doTest("'\\u1234\\u0027 ", "CHARACTER_LITERAL (''\\u1234\\u0027')\nWHITE_SPACE (' ')"); doTest("'x' ", "CHARACTER_LITERAL (''x'')\nWHITE_SPACE (' ')"); doTest("'", "CHARACTER_LITERAL (''')"); doTest("\\u0027", "CHARACTER_LITERAL ('\\u0027')"); doTest("' ", "CHARACTER_LITERAL ('' ')"); doTest("'\\u0020", "CHARACTER_LITERAL (''\\u0020')"); doTest("''", "CHARACTER_LITERAL ('''')"); doTest("'\\u0027", "CHARACTER_LITERAL (''\\u0027')"); doTest("\\u0027\\u0027", "CHARACTER_LITERAL ('\\u0027\\u0027')"); doTest("'\\u007F' 'F' ", "CHARACTER_LITERAL (''\\u007F'')\nWHITE_SPACE (' ')\nCHARACTER_LITERAL (''F'')\nWHITE_SPACE (' ')"); doTest("'\\u005C' ", "CHARACTER_LITERAL (''\\u005C' ')"); // closing quote is escaped with unicode escaped backslash }