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);
}
}
};
}
VisualizationActionListenerFactory.java 文件源码
java
阅读 38
收藏 0
点赞 0
评论 0
项目:Tarski
作者:
评论列表
文章目录