Lines Matching refs:prefix
36 /** unknown prefix */
46 * lines. The servlet path of this link starts with this prefix. */
50 /** diff to previous version (link prefix) */
58 /** show the history for a file (link prefix) */
60 /** RSS XML Feed of latest changes (link prefix) */
62 /** Download file (link prefix) */
64 /** full blown search from main page or top bar (link prefix) */
76 private String prefix;
77 private Prefix(String prefix) {
78 this.prefix = prefix;
82 * Get the string used as prefix.
83 * @return the prefix
87 return prefix;
100 * Get the prefix of the given path.
103 * no or unknown prefix, the corresponding prefix otherwise.