Lines Matching defs:def
154 * @param def symbol in question.
155 * @return a string like <a href="$prefix?defs=$def">$def</a>
157 protected String linkDef(String def) {
158 return "<a href=\"" + urlPrefix + "defs=" + Util.uriEncodeQueryValue(def)
159 + "\">" + Util.htmlize(def) + "</a>";
164 * @param def symbol in question.
165 * @return a string like <a class="d" name="$def"
166 * href="$prefix?defs=$def">$def</a>
168 protected String tagDef(String def) {
169 return "<a class=\"d\" name=\"" + Util.formQuoteEscape(def)
170 + "\" href=\"" + urlPrefix + "defs=" + Util.uriEncodeQueryValue(def)
171 + "\">" + Util.htmlize(def) + "</a>";