| An iterator which returns RDF Resources.
RDF iterators are standard Java iterators, except that they
have an extra method that returns a specifically typed object,
in this case RDF Resource, and have a close() method
that should be called to free resources if the caller does not
complete the iteration.
author: bwm version: Release='$Name: $' Revision='$Revision: 1.8 $' Date='$Date: 2008/01/02 12:05:48 $' |