Lines Matching defs:prefix
36 /** unknown prefix */
43 * matching lines. The servlet path of this link starts with this prefix. */
45 /** diff to previous version (link prefix) */
47 /** show the history for a file (link prefix) */
49 /** RSS XML Feed of latest changes (link prefix) */
51 /** Download file (link prefix) */
53 /** full blown search from main page or top bar (link prefix) */
67 private String prefix;
68 private Prefix(String prefix) {
69 this.prefix = prefix;
73 * Get the string used as prefix.
74 * @return the prefix
78 return prefix;
91 * Get the prefix of the given path.
94 * no or unknown prefix, the corresponding prefix otherwise.