Lines Matching refs:prefix
90 private Prefix prefix;
877 * Get the prefix for the related request.
880 * prefix, the prefix otherwise.
883 if (prefix == null) {
884 prefix = Prefix.get(req.getServletPath());
886 return prefix;
1093 if (prefix != Prefix.XREF_P && prefix != Prefix.HIST_L) {
1100 return req.getContextPath() + prefix + getUriEncodedPath() + ts;