|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.daml.validator.indications.Indication | +--org.daml.validator.indications.RestrictionIndication
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 |
public DAMLModelImpl.Restriction restriction
public DAMLModelImpl.Node instance
public DAMLModelImpl.Node onClass
public java.util.Collection statements
public static int defaultLevel
Constructor Detail |
public RestrictionIndication(DAMLModelImpl.Node instance, DAMLModelImpl.Node onClass, DAMLModelImpl.Restriction restriction, java.util.Collection statements)
Method Detail |
public java.lang.String getMessage()
Indication
getMessage
in class Indication
public java.lang.String getLocation()
Indication
getLocation
in class Indication
public java.lang.String getLocationXML() throws com.hp.hpl.mesa.rdf.jena.model.RDFException
Indication
getLocationXML
in class Indication
com.hp.hpl.mesa.rdf.jena.model.RDFException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |