/**
  * Mapping to the controller servlet. By default it is Controller, but in case there is friendly
  * url, can be replaced by workspace/<friendly_url> It is NOT preceded by "/"
  *
  * @return Mapping to the controller servlet.
  */
 public String getBaseURI() {
   // Avoid an extra Controller in URL when it is already friendly
   Panel panel = RequestContext.lookup().getActivePanel();
   if (panel != null) { // There will be a friendly url here
     return getLinkToPage(panel.getSection(), true);
   }
   return getServletMapping();
 }
 /**
  * Get an url that leads to a given panel action
  *
  * @param panel Page to take to
  * @param allowFriendly allow friendly url
  * @param action action to perform on panel
  * @param extraParams Aditional parameters
  * @return an url that leads to a given panel
  */
 public String getLinkToPanelAction(
     Panel panel, String action, String extraParams, boolean allowFriendly) {
   StringBuffer sb = new StringBuffer();
   Map paramsMap = new HashMap();
   paramsMap.put(Parameters.DISPATCH_IDPANEL, panel.getPanelId());
   paramsMap.put(Parameters.DISPATCH_ACTION, action);
   sb.append(
       getRelativeLinkToPage(panel.getSection(), allowFriendly, LocaleManager.currentLang()));
   sb.append("?");
   String paramsMarkup = getParamsMarkup(paramsMap);
   sb.append(paramsMarkup);
   if (extraParams != null) {
     sb.append(PARAM_SEPARATOR).append(extraParams);
   }
   return postProcessURL(sb).toString();
 }
  /**
   * Perform the required logic for this Formatter. Inside, the methods setAttribute and
   * renderFragment are intended to be used to generate the output and set parameters for this
   * output. Method getParameter is intended to retrieve input parameters by name.
   *
   * <p>Exceptions are to be catched inside the method, and not to be thrown, normally, formatters
   * could use a error fragment to be displayed when an error happens in displaying. But if the
   * error is unexpected, it can be wrapped inside a FormatterException.
   *
   * @param request user request
   * @param response response to the user
   * @throws org.jboss.dashboard.ui.taglib.formatter.FormatterException in case of an unexpected
   *     exception.
   */
  public void service(HttpServletRequest request, HttpServletResponse response)
      throws FormatterException {
    Panel panel = (Panel) getParameter("panel");
    PanelSession status = panel.getPanelSession();
    SectionRegion sectionRegion = panel.getSection().getSectionRegion(panel.getRegion().getId());
    boolean columnRegion = panel.getRegion().isColumnRegion();
    WorkspaceImpl workspace = NavigationManager.lookup().getCurrentWorkspace();
    boolean userIsAdmin = false;
    if (workspace != null) {
      WorkspacePermission permToCheck =
          WorkspacePermission.newInstance(workspace, WorkspacePermission.ACTION_ADMIN);
      userIsAdmin = UserStatus.lookup().hasPermission(permToCheck);
    }

    if (!userIsAdmin) return;

    PanelPermission editPanelPerm = PanelPermission.newInstance(panel, PanelPermission.ACTION_EDIT);
    boolean userCanEditPanel = UserStatus.lookup().hasPermission(editPanelPerm);

    renderFragment("movePanel");

    setAttribute("cursorStyle", "move");
    setAttribute(
        "title",
        StringEscapeUtils.escapeHtml((String) LocaleManager.lookup().localize(panel.getTitle())));
    renderFragment("menuLink");
    renderFragment("menuStart");

    setAttribute("title", LocalizeTag.getLocalizedValue(panel.getTitle(), getLang(), true));
    renderFragment("menuTitle");

    // Invalidate cache button.
    if (panel.getCacheTime() > 0)
      renderMenuOption(
          "ui.panel.refresh",
          getPanelActionLink(request, response, panel, "_invalidate-cache"),
          refreshIco,
          "R",
          panel.getCacheTime() > 0);

    if (status.isShowMode()) {
      boolean isEditModeEnabled =
          !status.isEditMode() && panel.supportsEditMode() && userCanEditPanel;
      // Edit button.
      if (isEditModeEnabled)
        renderMenuOption(
            "ui.panel.editMode",
            getPanelActionLink(request, response, panel, "_edit-mode"),
            editModeIco,
            "L",
            isEditModeEnabled);
    } else {
      // Show mode.
      renderMenuOption(
          "ui.panel.showMode",
          getPanelActionLink(request, response, panel, "_show-mode"),
          showModeIco,
          "S",
          !status.isShowMode());
    }
    // Properties mode
    renderMenuOption(
        "ui.panel.editProperties",
        getPanelActionLink(request, response, panel, "_start-config"),
        propertiesModeIco,
        "P",
        true);

    // Close button
    renderFragment("menuSeparator");
    renderMenuOption(
        "ui.panel.close",
        getPanelActionLink(request, response, panel, "_close"),
        eraseIco,
        "D",
        true,
        false);

    // Help mode
    renderMenuOption(
        "ui.panel.helpMode",
        getPanelActionLink(request, response, panel, "_help-mode"),
        helpModeIco,
        "?",
        !status.isHelpMode() && panel.supportsHelpMode());

    setAttribute("imageKey", closeIco);
    renderFragment("menuEnd");
  }