src/org/cacert/gigi/output/PageMenuItem.java

   1 package org.cacert.gigi.output;
   2
   3 import java.io.PrintWriter;
   4 import java.util.Map;
   5
   6 import org.cacert.gigi.Gigi;
   7 import org.cacert.gigi.User;
   8 import org.cacert.gigi.localisation.Language;
   9 import org.cacert.gigi.pages.Page;
  10 import org.cacert.gigi.util.ServerConstants;
  11
  12
  13 public class PageMenuItem extends SimpleMenuItem {
  14
  15     private Page p;
  16
  17     public PageMenuItem(Page p) {
  18         super("https://" + ServerConstants.getWwwHostNamePort() + Gigi.getPathByPage(p), p.getTitle());
  19         this.p = p;
  20     }
  21
  22     @Override
  23     public void output(PrintWriter out, Language l, Map<String, Object> vars) {
  24         if (p.isPermitted((User) vars.get(Menu.USER_VALUE))) {
  25             super.output(out, l, vars);
  26         }
  27     }
  28 }