public interface CanonicalSetStorage extends RepositoryStorage
Modifier and Type | Method and Description |
---|---|
void |
addElementsToSet(int start,
java.util.Vector elems) |
void |
addElementToSet(int j,
RepositoryElement elem) |
boolean |
addElementToSet(RepositoryElement elem) |
void |
clearSet() |
RepositoryElement |
getElement(int j) |
java.util.Vector |
getElementsFromSet(int i,
int j)
Return the elements of a trace from index i to index j inclusive.
|
void |
offer(RepositoryElement elem)
Inserts the specified RepositoryElement at the end of this trace.
|
RepositoryElement |
poll()
Retrieves and removes the first RepositoryElement in this trace, or null if this queue is empty.
|
RepositoryElement |
removeElement(int k) |
RepositoryElement |
setElement(int k,
RepositoryElement elem) |
int |
sizeOfSet() |
addRepositoryListener, getComment, getCreatedBy, getCreatedOn, getDefaultGraphicalEditorClass, getEnabled, getNickname, removeRepositoryListener, setComment, setCreatedBy, setCreatedOn, setEnabled, setNickname
afterCopyStorage, afterTransferStorage, beforeCopyStorage, beforeTransferStorage, copyStorage, copyStorageCommands, transferStorage, transferStorageCommands
getDOMStorageClass
void addElementToSet(int j, RepositoryElement elem)
RepositoryElement getElement(int j)
RepositoryElement removeElement(int k)
int sizeOfSet()
RepositoryElement setElement(int k, RepositoryElement elem)
boolean addElementToSet(RepositoryElement elem)
void addElementsToSet(int start, java.util.Vector elems)
void clearSet()
RepositoryElement poll()
void offer(RepositoryElement elem)
java.util.Vector getElementsFromSet(int i, int j)
Copyright © 2011, 2013. Daniel P. Dougherty