org.daml.validator.indications
Class OutdatedURIIndication
java.lang.Object
|
+--org.daml.validator.indications.Indication
|
+--org.daml.validator.indications.URIIndication
|
+--org.daml.validator.indications.OutdatedURIIndication
- public class OutdatedURIIndication
- extends URIIndication
Indication used when a namespace or imports URI is out of date.
Outdated URIs and their replacement URIs are defined in the preference file.
Constructor Summary |
OutdatedURIIndication(java.lang.String uri,
java.util.Stack stack,
java.lang.String substitute)
|
Method Summary |
java.lang.String |
getMessage()
Generate a message describing the indication. |
Methods inherited from class org.daml.validator.indications.Indication |
getLocation, getLocation, getLocation, getLocationXML, getLocationXML, getLocationXML, getLocationXML, getStatementXML, indicationCount, resetIdCounter, setLevel, toComparableString, toString, toXML |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
defaultLevel
public static int defaultLevel
substitute
public java.lang.String substitute
- The file extension that was found.
OutdatedURIIndication
public OutdatedURIIndication(java.lang.String uri,
java.util.Stack stack,
java.lang.String substitute)
getMessage
public java.lang.String getMessage()
- Description copied from class:
Indication
- Generate a message describing the indication.
This method should be customized by subClasses.
- Overrides:
getMessage
in class URIIndication
- Returns:
- A message describing the indication.