public class BlockingDocuments
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
_rcsid |
protected java.util.HashMap |
docsInNeed |
Constructor and Description |
---|
BlockingDocuments()
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addBlockingDocument(DocumentDescription dd)
Add a document to the set
|
DocumentDescription |
getBlockingDocument()
Pop a document from the set.
|
public static final java.lang.String _rcsid
protected java.util.HashMap docsInNeed
public void addBlockingDocument(DocumentDescription dd)
public DocumentDescription getBlockingDocument()