示例#1
0
  /** kreiert das Menü oben */
  private JToolBar createMenu() {
    JToolBar toolbar = new JToolBar();
    toolbar.setOrientation(SwingConstants.HORIZONTAL);
    toolbar.setFloatable(false);
    toolbar.setMargin(new Insets(2, 35, 2, 0));
    toolbar.setBackground(new Color(219, 255, 179));

    zoomIn = FsmUtils.createButton(zoomInImg);
    zoomIn.setToolTipText("Vergr��ern");
    zoomIn.addMouseListener(new ZoomInHandler(this));

    zoomOut = FsmUtils.createButton(zoomOutImg);
    zoomOut.setToolTipText("Verkleinern");
    zoomOut.addMouseListener(new ZoomOutHandler(this));

    layout = FsmUtils.createButton(layoutImg);
    layout.setToolTipText("Automatisch layouten");
    layout.addMouseListener(new LayoutHandler(this));

    deterministic = new JRadioButton("deterministisch");
    deterministic.setToolTipText("Der endliche Automat wird deterministisch");
    deterministic.setBackground(new Color(219, 255, 179));
    deterministic.addMouseListener(new TypeOfFsmHandler(this, false));

    nondeterministic = new JRadioButton("nichtdeterministisch");
    nondeterministic.setToolTipText("Der endliche Automat wird nichtdeterministisch");
    nondeterministic.setBackground(new Color(219, 255, 179));
    nondeterministic.addMouseListener(new TypeOfFsmHandler(this, true));

    ButtonGroup group = new ButtonGroup();
    group.add(deterministic);
    group.add(nondeterministic);
    if (this.getFsmProgram().isNondeterministic()) {
      group.setSelected(nondeterministic.getModel(), true);
    } else {
      group.setSelected(deterministic.getModel(), true);
    }

    toolbar.add(zoomIn);
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(zoomOut);
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(Box.createHorizontalStrut(2));
    toolbar.add(layout);
    toolbar.addSeparator();
    toolbar.add(deterministic);
    toolbar.add(nondeterministic);

    return toolbar;
  }
示例#2
0
  /** Erstellt das Menü auf der linken Seite */
  private JToolBar createFSMMenu() {
    JToolBar toolbar = new JToolBar();
    toolbar.setOrientation(SwingConstants.VERTICAL);
    toolbar.setFloatable(false);
    toolbar.setMargin(new Insets(5, -3, 0, 2));
    toolbar.setBackground(new Color(219, 255, 179));

    editMode = FsmUtils.createToggleButton(editImg);
    editMode.setToolTipText("Editieren");
    editMode.addMouseListener(new EditModeHandler(this.automataPanel));

    deleteMode = FsmUtils.createToggleButton(deleteImg);
    deleteMode.setToolTipText("L�schen");
    deleteMode.addMouseListener(new DeleteModeHandler(this.automataPanel));

    createState = FsmUtils.createToggleButton(createStateImg);
    createState.setToolTipText("Zustand erzeugen");
    createState.addMouseListener(new CreateStateHandler(this.automataPanel));

    markStartState = FsmUtils.createToggleButton(markStartStateImg);
    markStartState.setToolTipText("Startzustand markieren");
    markStartState.addMouseListener(new MarkStartStateHandler(this.automataPanel));

    markFinalState = FsmUtils.createToggleButton(markFinalStateImg);
    markFinalState.setToolTipText("Endzustand markieren");
    markFinalState.addMouseListener(new MarkFinalStateHandler(this.automataPanel));

    createTransistion = FsmUtils.createToggleButton(createTransistionImg);
    createTransistion.setToolTipText("Transition erzeugen");
    createTransistion.addMouseListener(new CreateTransistionHandler(this.automataPanel));

    createComment = FsmUtils.createToggleButton(createCommentImg);
    createComment.setToolTipText("Kommentar erzeugen");
    createComment.addMouseListener(new CreateCommentHandler(this.automataPanel));

    // Nur ein Button darf aktiv sein
    ButtonGroup group = new ButtonGroup();
    group.add(editMode);
    group.add(deleteMode);
    group.add(createState);
    group.add(markStartState);
    group.add(markFinalState);
    group.add(createTransistion);
    group.add(createComment);
    group.setSelected(editMode.getModel(), true);

    toolbar.add(editMode);
    toolbar.add(Box.createVerticalStrut(2));
    toolbar.add(deleteMode);

    toolbar.addSeparator();
    toolbar.add(createState);
    toolbar.add(Box.createVerticalStrut(2));
    toolbar.add(markStartState);
    toolbar.add(Box.createVerticalStrut(2));
    toolbar.add(markFinalState);
    toolbar.add(Box.createVerticalStrut(2));
    toolbar.add(createTransistion);
    toolbar.add(Box.createVerticalStrut(2));
    toolbar.add(createComment);

    return toolbar;
  }