Ejemplo n.º 1
0
        public HistoryManager(HistoryManagerData hmd)
        {
            Formatter          = new SmartHistoryFormatter();
            historyManagerData = hmd;

            Util.Init(out unusedIds);
        }
Ejemplo n.º 2
0
        public HistoryManager(ConfHistory config)
        {
            Formatter = new SmartHistoryFormatter();

            Util.Init(out unusedIds);
            this.config = config;
        }
Ejemplo n.º 3
0
 public HistoryManager(HistoryManagerData hmd)
 {
     Formatter = new SmartHistoryFormatter();
     historyFile = new HistoryFile();
     historyFile.OpenFile(hmd.historyFile);
 }