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);
    }