} // /////////////// ////////////////////////////////////////////////////////////////
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.");
}
}
}
} // ///////////////////////////////////////////////////////////////////////////////
