static private string HandleEscapeChar(char c, string buffer)
{
if (c == '\\')
{
buffer = buffer + '\\';
}
else if (c == '"')
{
buffer = buffer + '"';
}
else
{
throw new System.Exception("Invalid escape character \\" + c + " at line " + lineNumber.ToString());
}
state.pop();
return(buffer);
}