} // /////////////// //////////////////////////////////////////////////////////////// public void Push(string key, bool know, bool unknow) { if (db == null) { db = new Dictionary <string, int>(); } int val = KnownUnknown.GetN(know, unknow); if (db.ContainsKey(key)) { db[key] = val; } else { db.Add(key, val); } } // //////////////////////////////////////////////////////////////////////////////
public void Load(string fname = "") { if (fname == null) { fname = defFName; } if (fname.Length == 0) { fname = defFName; } string dbfname = fname; if (!File.Exists(dbfname)) { dbfname = @"..\" + dbfname; if (!File.Exists(dbfname)) { dbfname = @"..\" + dbfname; if (!File.Exists(dbfname)) { dbfname = @"..\" + dbfname; if (!File.Exists(dbfname)) { Console.WriteLine("No DB file '" + fname + "' !"); return; } } } } db = new Dictionary <string, int>(); using (StreamReader sr = new StreamReader(dbfname, Encoding.Default)) { string line; while ((line = sr.ReadLine()) != null) { string sval = line.Substring(0, 1); string skey = line.Substring(1, line.Length - 1); try { db.Add(skey, KnownUnknown.GetN(sval)); } catch (ArgumentException) { Console.WriteLine("An element with Key = " + skey + " already exists."); } } } } // ///////////////////////////////////////////////////////////////////////////////