/// <summary>
/// get document
/// </summary>
/// <returns> a ResultSequence from ResultSequenceFactory.create_new()
/// @since 1.1 </returns>
public virtual ResultSequence get_doc(URI resolved)
{
Document doc = null;
if (_loaded_documents.Contains(resolved))
{
//tried before
doc = (Document)_loaded_documents[resolved];
}
else
{
doc = retrieve_doc(resolved);
_loaded_documents[resolved] = doc;
}
if (doc == null)
{
return(null);
}
return(ResultSequenceFactory.create_new(new DocType(doc, getTypeModel(doc))));
}
/// <summary>
/// release the result sequence
/// </summary>
public virtual void release()
{
ResultSequenceFactory.release(this);
}
