VisualizationActionListenerFactory.java 文件源码

public static ActionListener interpretAtomMenuItemActionListener() {
  return new ActionListener() {

    IMarker selectedMarker;

    @Override
    public void actionPerformed(final ActionEvent e) {
      final AlloyAtom alloyAtom = (AlloyAtom) Visualization.rightClickedAnnotation;

      showWizard();
      if (selectedMarker == null) {
        return;
      }

      final String sigTypeName = alloyAtom.getType().getName();
      final String stringIndex = alloyAtom.toString().substring(sigTypeName.length());
      int index = 0;
      if (!stringIndex.isEmpty()) {
        index = Integer.parseInt(stringIndex);
      }

      AlloyUtilities.bindAtomToMarker(sigTypeName, index, selectedMarker);
      Visualization.showViz();
    }

    private void showWizard() {
      Display.getDefault().syncExec(new Runnable() {
        @Override
        public void run() {
          final InterpretationWizard wizard = new InterpretationWizard();
          final WizardDialog dialog = new WizardDialog(
              Activator.getDefault().getWorkbench().getWorkbenchWindows()[0].getShell(), wizard);
          dialog.open();
          selectedMarker = wizard.getSelectedMarker();
        }
      });
    }
  };
}