public interface SessionIDGenerator
| Modifier and Type | Method and Description |
|---|---|
String |
createSessionID()
Generates a new context-free session ID.
|
String |
createSessionID(Set<String> exclude)
Generates a new session ID that is different from any IRI in the
exclude set. |
org.semanticweb.owlapi.model.IRI |
getBaseIRI()
Returns the base IRI for all generated IDs to start with.
|
void |
setBaseIRI(org.semanticweb.owlapi.model.IRI baseIRI)
Sets the base IRI for all generated IDs to start with.
|
String createSessionID()
String createSessionID(Set<String> exclude)
exclude set. Whether this causes duplicate IDs (supposing
the exclude set does not include all of them), it should be
care of the object that invoked this method to check it.exclude - the set of IRIs none of which the generate ID must be equal
to.org.semanticweb.owlapi.model.IRI getBaseIRI()
createSessionID() methods, or ignore if null.baseIRI - the base IRI.void setBaseIRI(org.semanticweb.owlapi.model.IRI baseIRI)
createSessionID() methods, or ignore if null.baseIRI - the base IRI.Copyright © 2010-2014 The Apache Software Foundation. All Rights Reserved.