public interface History
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
void |
addRecord(java.net.URI uri,
java.lang.String identifier) |
java.lang.String |
getIdentifier(java.net.URI uri) |
java.util.Set<java.net.URI> |
getURIs() |