/** Pauses the animation if it is being played. */ private void interruptAnimation() { if (state == STATE_PLAYING) { svgAnimator.pause(); state = STATE_INTERRUPTED; } // Otherwise, the animation is paused or stopped. }
public void keyPressed(int keyCode) { if ((keyCode == KEY_PLAY) && (state != STATE_PLAYING)) { svgAnimator.play(); state = STATE_PLAYING; System.err.println("PLAYING..."); } if ((keyCode == KEY_PAUSE) && (state == STATE_PLAYING)) { svgAnimator.pause(); state = STATE_PAUSED; System.err.println("PAUSED..."); } if ((keyCode == KEY_STOP) && (state != STATE_STOPPED)) { svgAnimator.stop(); svg.setCurrentTime(0); state = STATE_STOPPED; System.err.println("STOPPED..."); } }