src/club/wpia/gigi/output/PageMenuItem.java

   1 package club.wpia.gigi.output;
   2
   3 import club.wpia.gigi.pages.Page;
   4 import club.wpia.gigi.util.AuthorizationContext;
   5
   6 public class PageMenuItem extends SimpleMenuItem {
   7
   8     private Page p;
   9
  10     public PageMenuItem(Page p, String path) {
  11         // "https://" + ServerConstants.getWwwHostNamePortSecure() +
  12         super(path, p.getTitle());
  13         this.p = p;
  14     }
  15
  16     @Override
  17     public boolean isPermitted(AuthorizationContext ac) {
  18         return p.isPermitted(ac);
  19     }
  20 }