org.daml.validator.indications
Class CardinalityIndication

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

public class CardinalityIndication
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
CardinalityIndication(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

CardinalityIndication

public CardinalityIndication(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.