Makes a query to the DRE with a user agent or subchannel.
public int doQueryWithAgent(String user, String agentOrChannel, String subChannelName, int agentType) throws RemoteException, SearchException
user – user name
agentOrChannel – name of a user agent or channel
subChannelName – name of a subchannel, or null if it is an agent
agentType – type of agent
Number of documents obtained by doing query.
