Lines Matching defs:prefix
93 private Prefix prefix;
307 || prefix == Prefix.DIFF_P
308 || ((prefix == Prefix.XREF_P || prefix == Prefix.RAW_P) && !isDir()
332 if (path.isEmpty() && prefix == Prefix.XREF_P) {
335 if ((prefix == Prefix.HIST_L && !hasHistory()) ||
336 (prefix == Prefix.XREF_P && getResourcePath().equals("/")
344 if (prefix == Prefix.XREF_P) {
912 * Get the prefix for the related request.
914 * prefix, the prefix otherwise.
917 if (prefix == null) {
918 prefix = Prefix.get(req.getServletPath());
920 return prefix;
1041 } else if ((prefix == Prefix.HIST_L || prefix == Prefix.XREF_P
1042 || prefix == Prefix.RAW_P)
1119 // => /, but not /$prefix without trailing slash
1123 if (prefix != Prefix.XREF_P && prefix != Prefix.HIST_L) {
1130 return req.getContextPath() + prefix + getUriEncodedPath() + ts;