|
||||||||||
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.URIIndication
Generic Indication for URI based Indications.
Field Summary | |
static int |
defaultLevel
|
java.lang.String[] |
stack
The call stack as an array, from the indication URI to the file being verified. |
java.lang.String |
uri
URI the indication applies to. |
Fields inherited from class org.daml.validator.indications.Indication |
ERROR, INFORMATION, totalIndications, WARNING |
Constructor Summary | |
URIIndication(java.lang.String uri,
java.util.Stack callStack)
|
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 |
getLocationXMLStack(java.lang.String[] stack,
java.lang.String uri)
|
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 java.lang.String uri
public java.lang.String[] stack
public static int defaultLevel
Constructor Detail |
public URIIndication(java.lang.String uri, java.util.Stack callStack)
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
public java.lang.String getLocationXMLStack(java.lang.String[] stack, java.lang.String uri)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |