org.daml.validator.indications
Class RestrictionIndication

java.lang.Object
  |
  +--org.daml.validator.indications.Indication
        |
        +--org.daml.validator.indications.RestrictionIndication
Direct Known Subclasses:
CardinalityIndication, CardinalityQIndication, HasClassIndication, HasValueIndication

public class RestrictionIndication
extends Indication

Indication used for general restriction violations.


Field Summary
static int defaultLevel
           
 DAMLModelImpl.Node instance
          The instance that violates the restriction
 DAMLModelImpl.Node onClass
          The instance type to which this restriction applies
 DAMLModelImpl.Restriction restriction
          The restriction being violated
 java.util.Collection statements
          The collection of statements for this class and property;
 
Fields inherited from class org.daml.validator.indications.Indication
ERROR, INFORMATION, totalIndications, WARNING
 
Constructor Summary
RestrictionIndication(DAMLModelImpl.Node instance, DAMLModelImpl.Node onClass, DAMLModelImpl.Restriction restriction, java.util.Collection statements)
           
 
Method Summary
 java.lang.String getLocation()
          Generate a location string for the indication.
 java.lang.String getLocationXML()
          Generate XML for the location of an exception without any location.
 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
 

Field Detail

restriction

public DAMLModelImpl.Restriction restriction
The restriction being violated


instance

public DAMLModelImpl.Node instance
The instance that violates the restriction


onClass

public DAMLModelImpl.Node onClass
The instance type to which this restriction applies


statements

public java.util.Collection statements
The collection of statements for this class and property;


defaultLevel

public static int defaultLevel
Constructor Detail

RestrictionIndication

public RestrictionIndication(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 Indication
Returns:
A message describing the indication.

getLocation

public java.lang.String getLocation()
Description copied from class: Indication
Generate a location string for the indication.

Overrides:
getLocation in class Indication
Returns:
Location string

getLocationXML

public java.lang.String getLocationXML()
                                throws com.hp.hpl.mesa.rdf.jena.model.RDFException
Description copied from class: Indication
Generate XML for the location of an exception without any location.

Overrides:
getLocationXML in class Indication
Returns:
Location as XML
com.hp.hpl.mesa.rdf.jena.model.RDFException