Пример #1
0
        static void Main(string[] args)
        {
            if (args.Length != 2)
            {
                Console.WriteLine("Usage: TrainerDB.exe dbfile outfile");
                return;
            }

            AtomDictionary atoms = null;
            StubAnnotatedSummaryDictionary candidates = null;

            using (var fs = new System.IO.FileStream(args[0], System.IO.FileMode.Open, System.IO.FileAccess.Read, System.IO.FileShare.Read))
            {
                var serializer = new System.Runtime.Serialization.Formatters.Binary.BinaryFormatter();
                var obj        = serializer.Deserialize(fs);
                atoms = obj as AtomDictionary;
                if (atoms != null)
                {
                    atoms.Print(args[1]);
                }
                candidates = obj as StubAnnotatedSummaryDictionary;
                if (candidates != null)
                {
                    candidates.Print(args[1]);
                }
            }
        }
Пример #2
0
        public static AtomDictionary Merge(IEnumerable <AtomDictionary> atoms)
        {
            var ret = new HashSet <string>();

            atoms.Iter(atom => ret.UnionWith(atom.table));
            var merged = new AtomDictionary();

            merged.table.AddRange(ret);
            return(merged);
        }