ASSERT (to != null && type == to[0].getType ());
SASSERT (to != null && type == to[0].getType ());
    public static void duplicateOneData (Channel from, Channel [] to)    {        Class type = from.getType ();        ASSERT (to != null && type == to[0].getType ());        if (type == Integer.TYPE)        {            int data = from.popInt ();            int indx;            for (indx = to.length - 1; indx >= 0; indx--)            {                to [indx] .pushInt (data);            }        } else        if (type == Character.TYPE)        {            char data = from.popChar ();            int indx;            for (indx = to.length - 1; indx >= 0; indx--)            {                to [indx] .pushChar (data);            }        } else        if (type == Float.TYPE)        {            float data = from.popFloat ();            int indx;            for (indx = to.length - 1; indx >= 0; indx--)            {                to [indx] .pushFloat (data);            }        } else        if (type == Double.TYPE)        {            double data = from.popDouble ();            int indx;            for (indx = to.length - 1; indx >= 0; indx--)            {                to [indx] .pushDouble (data);            }        } else {            Object data = from.pop ();            int indx;            for (indx = to.length - 1; indx >= 0; indx--)            {                to [indx] .push (data);            }        }    }