org.daml.validator.indications
Class HasValueIndication

java.lang.Object
  |
  +--org.daml.validator.indications.Indication
        |
        +--org.daml.validator.indications.RestrictionIndication
              |
              +--org.daml.validator.indications.HasValueIndication

public class HasValueIndication
extends RestrictionIndication

Indication used for cardinality restriction violations.


Field Summary
static int defaultLevel
           
 
Fields inherited from class org.daml.validator.indications.RestrictionIndication
instance, onClass, restriction, statements
 
Fields inherited from class org.daml.validator.indications.Indication
ERROR, INFORMATION, totalIndications, WARNING
 
Constructor Summary
HasValueIndication(DAMLModelImpl.Node instance, DAMLModelImpl.Node onClass, DAMLModelImpl.Restriction restriction, java.util.Collection statements)
           
 
Method Summary
 java.lang.String getMessage()
          Generate a message describing the indication.
 
Methods inherited from class org.daml.validator.indications.RestrictionIndication
getLocation, getLocationXML
 
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
Constructor Detail

HasValueIndication

public HasValueIndication(DAMLModelImpl.Node instance,
                          DAMLModelImpl.Node onClass,
                          DAMLModelImpl.Restriction restriction,
                          java.util.Collection statements)
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 RestrictionIndication
Returns:
A message describing the indication.