org.daml.validator.indications
Class IncorrectDomainIndication
java.lang.Object
|
+--org.daml.validator.indications.Indication
|
+--org.daml.validator.indications.IncorrectDomainIndication
- public class IncorrectDomainIndication
- extends Indication
Indication used for domain restriction violations.
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 |
defaultLevel
public static int defaultLevel
IncorrectDomainIndication
public IncorrectDomainIndication(com.hp.hpl.mesa.rdf.jena.model.Statement statement,
DAMLModelImpl.Node expected,
java.util.Collection found)
- Constuctor function.
- Parameters:
statement
- The statement that violates the domain restriction.expected
- The expected domain type (DAMLModelImpl.Node).found
- The subject types (Collection of DAMLModelImpl.Node).
IncorrectDomainIndication
public IncorrectDomainIndication(com.hp.hpl.mesa.rdf.jena.model.Statement statement,
com.hp.hpl.mesa.rdf.jena.model.Resource expected,
java.util.Collection found)
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