Lines Matching defs:prefix
105 private Prefix prefix;
931 * Get the prefix for the related request.
934 * prefix, the prefix otherwise.
937 if (prefix == null) {
938 prefix = Prefix.get(req.getServletPath());
940 return prefix;
1150 if (prefix != Prefix.XREF_P && prefix != Prefix.HIST_L
1151 && prefix != Prefix.RSS_P) {
1158 return req.getContextPath() + prefix + getUriEncodedPath() + ts;