Exemple #1
0
        /// <summary>
        /// Required designer variable.
        /// </summary>
        // private Container components = null;

        internal StateBrowser(DisplayLocationDel loc_del, IThreadView t_viz, Formatter f, GuiController controller)
        {
            tviz             = t_viz;
            formatter        = f;
            converter        = f.GetIndexConverter();
            display_location = loc_del;
            table            = new List <List <TaskVarOp> >();
            max_tid          = new Dictionary <int, int>();
            focus            = -1;
            replay           = false;
            current_column   = -1;
            current_row      = -1;
            mouse_x          = mouse_y = -1;
            col_sz           = 20;
            row_sz           = 20;
            row_max          = 0;
            prev_col         = -1;
            prev_row         = -1;
            ResizeRedraw     = true;
            SetStyle(ControlStyles.UserPaint, true);
            SetStyle(ControlStyles.AllPaintingInWmPaint, true);
            SetStyle(ControlStyles.DoubleBuffer, true);
            OnResize(System.EventArgs.Empty);
            AutoScroll      = true;
            line            = new Pen(Color.Black);
            white_pen       = new Pen(Color.White, 2);
            this.controller = controller;
            // InitializeComponent();
        }
Exemple #2
0
        // this is the entry point for the gui thread
        private void RunGuiThread()
        {
            threadviz =
                (!oldDisplayStyle) ?
                (new MultiThreadView(formatter, controller) as IThreadView) :
                (new ThreadViz(formatter, controller) as IThreadView);

            // be notified of form closing
            (threadviz as Form).FormClosing += new FormClosingEventHandler(HandleFormClosing);

            // need timer callback to process updates
            timer          = new System.Windows.Forms.Timer();
            timer.Interval = TimerInterval;
            timer.Tick    += new System.EventHandler(HandleTimerTick);
            timer.Start();

            // register as observer for model events
            lock (model)
            {
                model.Complete         += new CompleteHandler(HandleComplete);
                model.EntryUpdate      += new EntryUpdateHandler(HandleUpdate);
                model.NewEntry         += new NewEntryHandler(HandleNewEntry);
                model.ThreadnameUpdate += new ThreadnameUpdateHandler(HandleThreadnameUpdate);
                model.SelectionUpdate  += new SelectionUpdateHandler(HandleSelectionUpdate);
            }

            // run form
            System.Windows.Forms.Application.Run((Form)threadviz);

            //System.Console.WriteLine("guithread done");

            // unregister observers
            lock (model)
            {
                model.Complete         -= new CompleteHandler(HandleComplete);
                model.EntryUpdate      -= new EntryUpdateHandler(HandleUpdate);
                model.NewEntry         -= new NewEntryHandler(HandleNewEntry);
                model.ThreadnameUpdate -= new ThreadnameUpdateHandler(HandleThreadnameUpdate);
                model.SelectionUpdate  -= new SelectionUpdateHandler(HandleSelectionUpdate);
            }

            // notify controller
            controller.ViewHasClosed(this);
        }