ShowModelChecker_Action.java

package jetbrains.mps.ide.modelchecker.actions;

/*Generated by MPS */

import jetbrains.mps.workbench.action.BaseAction;
import javax.swing.Icon;
import com.intellij.openapi.actionSystem.AnActionEvent;
import java.util.Map;
import jetbrains.mps.ide.modelchecker.platform.actions.ModelCheckerTool;
import com.intellij.openapi.actionSystem.CommonDataKeys;
import org.jetbrains.annotations.NotNull;
import com.intellij.openapi.project.Project;

public class ShowModelChecker_Action extends BaseAction {
  private static final Icon ICON = null;

  public ShowModelChecker_Action() {
    super("Model Checker...", "", ICON);
    this.setIsAlwaysVisible(true);
    this.setExecuteOutsideCommand(false);
  }
  @Override
  public boolean isDumbAware() {
    return true;
  }
  @Override
  public boolean isApplicable(AnActionEvent event, final Map<String, Object> _params) {
    return ModelCheckerTool.getInstance(event.getData(CommonDataKeys.PROJECT)).isAvailable();
  }
  @Override
  public void doUpdate(@NotNull AnActionEvent event, final Map<String, Object> _params) {
    this.setEnabledState(event.getPresentation(), this.isApplicable(event, _params));
  }
  @Override
  protected boolean collectActionData(AnActionEvent event, final Map<String, Object> _params) {
    if (!(super.collectActionData(event, _params))) {
      return false;
    }
    {
      Project p = event.getData(CommonDataKeys.PROJECT);
      if (p == null) {
        return false;
      }
    }
    return true;
  }
  @Override
  public void doExecute(@NotNull final AnActionEvent event, final Map<String, Object> _params) {
    ModelCheckerTool tool = ModelCheckerTool.getInstance(event.getData(CommonDataKeys.PROJECT));
    if (!(tool.isAvailable()) || !(tool.toolIsOpened())) {
      // Not visible: open 
      tool.openToolLater(true);
    } else if (tool.getToolWindow().isActive()) {
      // Visible and active: hide 
      tool.getToolWindow().hide(null);
    } else {
      // Visible and not active: activate 
      tool.getToolWindow().activate(null);
    }
  }
}