VisualizationActionListenerFactory.java 文件源码

public static ActionListener deleteAtomActionListener() {
  return new ActionListener() {
    @Override
    public void actionPerformed(final ActionEvent e) {
      final IMarker marker =
          Visualization.getMarker((AlloyAtom) Visualization.rightClickedAnnotation);
      final String sigTypeName = marker.getAttribute(MarkUtilities.MARKER_TYPE, "");
      final String relUri = marker.getAttribute(MarkUtilities.RELATIVE_URI, "");
      Display.getDefault().syncExec(new DeleteAtomCommand(marker));
      Visualization.showViz();
      AlloyOtherSolutionReasoning.getInstance().finish();
      for (final VisualizationChangeListener listener : VisualizationActionListenerFactory.listeners) {
        listener.onAtomRemoved(sigTypeName, relUri);
      }
    }
  };
}