Lines Matching refs:Resolver
10 * An implementation of Resolver that can send queries to multiple servers,
12 * @see Resolver
17 public class ExtendedResolver implements Resolver {
20 Resolver [] resolvers;
34 resolvers = (Resolver []) l.toArray (new Resolver[l.size()]);
46 Resolver [] shuffle = new Resolver[nresolvers];
247 * Creates a new Extended Resolver. The default ResolverConfig is used to
260 Resolver r = new SimpleResolver(servers[i]);
270 * Creates a new Extended Resolver
280 Resolver r = new SimpleResolver(servers[i]);
287 * Creates a new Extended Resolver
293 ExtendedResolver(Resolver [] res) throws UnknownHostException {
302 ((Resolver)resolvers.get(i)).setPort(port);
308 ((Resolver)resolvers.get(i)).setTCP(flag);
314 ((Resolver)resolvers.get(i)).setIgnoreTruncation(flag);
320 ((Resolver)resolvers.get(i)).setEDNS(level);
326 ((Resolver)resolvers.get(i)).setEDNS(level, payloadSize,
333 ((Resolver)resolvers.get(i)).setTSIGKey(key);
339 ((Resolver)resolvers.get(i)).setTimeout(secs, msecs);
378 /** Returns the nth resolver used by this ExtendedResolver */
379 public Resolver
382 return (Resolver)resolvers.get(n);
387 public Resolver []
389 return (Resolver []) resolvers.toArray(new Resolver[resolvers.size()]);
392 /** Adds a new resolver to be used by this ExtendedResolver */
394 addResolver(Resolver r) {
398 /** Deletes a resolver used by this ExtendedResolver */
400 deleteResolver(Resolver r) {
