Lines Matching defs:req
149 String context = req.getContextPath();
155 String p = req.getParameter("r" + i);
257 data.reqURI = req.getRequestURI();
270 DiffType d = DiffType.get(req.getParameter("format"));
280 String val = req.getParameter("full");
405 String[] val = req.getParameterValues("also");
425 String s = req.getParameter(name);
505 queryBuilder = new QueryBuilder().setFreetext(req.getParameter("q")).setDefs(req.getParameter("defs")).setRefs(req.getParameter("refs")).setPath(req.getParameter("path")).setHist(req.getParameter("hist"));
513 String t = req.getParameter("t");
576 String tmp = req.getParameter("r");
615 && (req.getServletPath().startsWith("/json/")
616 || Boolean.parseBoolean(req.getParameter("a"))));
709 return req.getParameter("h");
766 Cookie[] cookies = req.getCookies();
785 String vals[] = req.getParameterValues(paramName);
865 return req.getContextPath() + '/' + getConfig().getWebappLAF();
918 prefix = Prefix.get(req.getServletPath());
934 path = Util.getCanonicalPath(req.getPathInfo(), '/');
953 return req.getContextPath() + req.getServletPath() + "/on"
1118 if (req.getPathInfo() != null && path.length() == 0) {
1125 return req.getContextPath() + Prefix.XREF_P
1130 return req.getContextPath() + prefix + getUriEncodedPath() + ts;
1198 sh.redirect = req.getContextPath() + '/';
1203 sh.contextPath = req.getContextPath();
1233 private HttpServletRequest req;
1235 private PageConfig(HttpServletRequest req) {
1236 this.req = req;