/**
* Checks if this <code>QueryManagerImpl</code> instance is still usable, otherwise throws a
* {@link javax.jcr.RepositoryException}.
*
* @throws RepositoryException if this query manager is not usable anymore, e.g. the corresponding
* session is closed.
*/
private void sanityCheck() throws RepositoryException {
if (!session.isLive()) {
throw new RepositoryException("corresponding session has been closed");
}
}
