Lines Matching defs:prefix
178 * @param urlPrefix prefix to add to each url
197 * @param urlPrefix prefix to add to each url
212 * @param urlPrefix prefix to add to each url
262 String prefix = urlPrefix == null ? "" : urlPrefix;
268 * (17 + prefix.length() + postfix.length()));
279 markup.append(anchorLinkStart).append(prefix).append(pwd)
622 * @param ctxE URI encoded prefix
1159 * Make a path relative by stripping off a prefix. If the path does not have
1160 * the given prefix, return the full path unchanged.
1162 * @param prefix the prefix to strip off
1163 * @param fullPath the path from which to remove the prefix
1164 * @return a path relative to {@code prefix} if {@code prefix} is a parent
1167 public static String stripPathPrefix(String prefix, String fullPath) {
1168 // Find the length of the prefix to strip off. The prefix should
1172 int prefixLength = prefix.length();
1173 if (!prefix.endsWith("/")) {
1177 // If the full path starts with the prefix, strip off the prefix.
1178 if (fullPath.length() > prefixLength && fullPath.startsWith(prefix)