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.


Field Summary
static int defaultLevel
           
 java.lang.String substitute
          The file extension that was found.
 
Fields inherited from class org.daml.validator.indications.URIIndication
stack, uri
 
Fields inherited from class org.daml.validator.indications.Indication
ERROR, INFORMATION, totalIndications, WARNING
 
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.URIIndication
getLocation, getLocationXML, getLocationXMLStack
 
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
 

Field Detail

defaultLevel

public static int defaultLevel

substitute

public java.lang.String substitute
The file extension that was found.

Constructor Detail

OutdatedURIIndication

public OutdatedURIIndication(java.lang.String uri,
                             java.util.Stack stack,
                             java.lang.String substitute)
Method Detail

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.