Java PetriNetController.toggleAnimation示例

示例#1

文件： ToggleAnimateAction.java 项目： dcduba/PIPE

  @Override
  public void actionPerformed(ActionEvent event) {
    PetriNetController petriNetController = applicationController.getActivePetriNetController();
    boolean animated = petriNetController.toggleAnimation();

    applicationModel.setInAnimationMode(animated);

    noopAction.actionPerformed(null);

    GUIAnimator animator = petriNetController.getAnimator();
    if (animated) {
      animator.startAnimation();
    } else {
      animator.finish();
    }
  }