public ReadSymbolEventArgs(string mapname, string filename) { this._mapname = mapname; this._filename = filename; }