2 Why We Need Model-Based Testing

}
}
Overview 39
// ... continued
// Handlers
protected void timer_Tick(object sender, EventArgs e)
{
c.timer.Enabled = false; // Controller must restart timer
c.ReceiveEvent(ControlEvent.Timeout, null);
c.DispatchHandler();
}
#region Handlers for other buttons (code not shown)
protected void btnExit_Click(object sender, EventArgs e)
{
c.ReceiveEvent(ControlEvent.Exit, null);
Application.Exit();
}
// Run the simulation
public static void Main()
{
Application.Run(new Simulator());
}
Figure 3.6. Process control simulator application with events (2).
registers our method timer Tick (Figure 3.6) as a handler for this event. When the
timer times out, it raises its Tick event, which causes our handler method timer Tick
to execute. This machinery also ensures that events are delivered to our controller
one at a time, so each event is handled before the next is delivered.
In the Controller class, the DispatchHandler method is the dispatcher that selects
which handler to run after an event occurs. It contains the core logic of the controller:
public void DispatchHandler()
{
if (ResetEnabled()) Reset();
else if (PollEnabled()) Poll();
else if (CheckMessageEnabled()) CheckMessage();
else if (ReportLostMessageEnabled()) ReportLostMessage();
else if (CalibrateEnabled()) Calibrate();
}
more free ebooks download links at:
http://www.ebook-x.com