public class BlockingDocuments extends Object
Modifier and Type | Field and Description |
---|---|
static String |
_rcsid |
protected 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 String _rcsid
protected HashMap docsInNeed
public void addBlockingDocument(DocumentDescription dd)
public DocumentDescription getBlockingDocument()