} /* update() */
/***********************************************************
*
* Method:
* add_frame
*
* Description:
* Adds a new frame to the given animation.
*
***********************************************************/
static private void add_frame(animation_type a, int sprite_id, int frame_cnt)
{
a.add_frame(new animation_frame_type(sprite_id, frame_cnt));
} /* add_frame() */
