|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.daml.validator.URISubstitution
Store and process URI substitutions. Each original URI is associated with a replacement URI (or null) and a boolean used to signal a warning.
Constructor Summary | |
URISubstitution()
Generate a new URI Substitution set. |
Method Summary | |
boolean |
getLoad(java.lang.String originalURI)
Determine if the replacement URI should be loaded instead. |
java.lang.String |
getSubstitution(java.lang.String originalURI)
Get the substitution URI for the original URI. |
boolean |
getWarn(java.lang.String originalURI)
Determine if a warning needs to be generated for this URI. |
boolean |
hasSubstitution(java.lang.String originalURI)
Determine if a URI has a substitution. |
java.util.Iterator |
iterator()
Returns an Iterator over the URIs that have substitutions. |
void |
put(java.lang.String originalURI,
java.lang.String newURI,
boolean warn,
boolean load)
Add a substitution to the set. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public URISubstitution()
Method Detail |
public java.lang.String toString()
toString
in class java.lang.Object
public void put(java.lang.String originalURI, java.lang.String newURI, boolean warn, boolean load)
public boolean hasSubstitution(java.lang.String originalURI)
public java.lang.String getSubstitution(java.lang.String originalURI)
public boolean getWarn(java.lang.String originalURI)
public boolean getLoad(java.lang.String originalURI)
public java.util.Iterator iterator()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |