ecmascript:

function initialize ()
{
    bindView5 = true;
    Browser.println ('Timing script initialized and ready for activation');
}
function set_timeEvent (inputValue)
{
    if (inputValue == priorInputvalue)
    {
        return; // ignore repeated inputs
    }
    // new value provided
    priorInputvalue = inputValue;
    // Browser.println ('timeEvent inputValue=' + inputValue);
        
    // mimics user execution of Figure 4.1 steps t_0 through t_8
    if (inputValue == 0)
    {
        Browser.println ('===========');
        Browser.println ('time t0');
        bindView1 = true;
    }
    else if (inputValue == 1)
    {
        Browser.println ('===========');
        Browser.println ('time t1');
        bindView2 = true;
    }
    else if (inputValue == 2)
    {
        Browser.println ('===========');
        Browser.println ('time t2');
        bindView3 = true;
    }
    else if (inputValue == 3)
    {
        Browser.println ('===========');
        Browser.println ('time t3');
        bindView3 = false;
    }
    else if (inputValue == 4)
    {
        Browser.println ('===========');
        Browser.println ('time t4');
        bindView1 = true;
    }
    else if (inputValue == 5)
    {
        Browser.println ('===========');
        Browser.println ('time t5');
        bindView2 = false;
    }
    else if (inputValue == 6)
    {
        Browser.println ('===========');
        Browser.println ('time t6');
        bindView1 = false;
    }
    else if (inputValue == 7)
    {
        Browser.println ('===========');
        Browser.println ('time t7');
        bindView4 = true;

    }
    else if (inputValue == 8)
    {
        Browser.println ();
        Browser.println ('===========');
        Browser.println ('time t8, no action, all done');
    }
}

function view1Bound (inputValue)
{
    Browser.println (', view1Bound ' + (inputValue));
    if (priorInputvalue == -1) Browser.println ();
}
function view2Bound (inputValue)
{
    Browser.println (', view2Bound ' + (inputValue));
}
function view3Bound (inputValue)
{
    Browser.println (', view3Bound ' + (inputValue));
}
function view4Bound (inputValue)
{
    Browser.println (', view4Bound ' + (inputValue));
}
function view5Bound (inputValue)
{
    Browser.println (', view5Bound ' + (inputValue));
}