Lines Matching defs:ExtendedResolver
17 public class ExtendedResolver implements Resolver {
32 Resolution(ExtendedResolver eres, Message query) {
128 ("ExtendedResolver failure");
145 System.err.println("ExtendedResolver: " +
167 System.err.println("ExtendedResolver: got " + e);
255 ExtendedResolver() throws UnknownHostException {
277 ExtendedResolver(String [] servers) throws UnknownHostException {
293 ExtendedResolver(Resolver [] res) throws UnknownHostException {
378 /** Returns the nth resolver used by this ExtendedResolver */
386 /** Returns all resolvers used by this ExtendedResolver */
392 /** Adds a new resolver to be used by this ExtendedResolver */
398 /** Deletes a resolver used by this ExtendedResolver */