private char Escape()
{
Match('\\');
switch (currentChar)
{
case 'b':
return '\b';
case 't':
return '\t';
case 'n':
return '\n';
case 'f':
return '\f';
case 'r':
return '\r';
case '\'':
return '\'';
case '\"':
return '"';
case '\\':
return '\\';
default:
throw Error("Invalid escape character " + currentChar);
}
}