if (schedule instanceof Filter)
if (schedule instanceof Operator)
    void runSchedule (Object schedule)    {        if (schedule instanceof Filter)        {            numExecutions ++;            if (numExecutions == 10000)            {                if (printdot) System.out.print (".");                numExecutions = 0;            }            ((Operator) schedule).work ();        } else        if (schedule instanceof List)        {            List list = (List) schedule;            ListIterator iter = list.listIterator ();            while (iter.hasNext ())            {                Object child = iter.next ();                ASSERT (child);                runSchedule (child);            }        } else        if (schedule instanceof SchedRepSchedule)        {            SchedRepSchedule repSchedule = (SchedRepSchedule) schedule;            int nTimes = repSchedule.getTotalExecutions ().intValue ();            for ( ; nTimes > 0; nTimes--)            {                runSchedule (repSchedule.getOriginalSchedule ());            }        } else ASSERT (false);    }