org.pageseeder.schematron.svrl

Class AssertOrReport

java.lang.Object

org.pageseeder.schematron.svrl.AssertOrReport

All Implemented Interfaces:

XMLStreamable

public final class AssertOrReport
extends java.lang.Object
implements XMLStreamable

  # only failed assertions are reported
  failed-assert =
     element failed-assert {
        attlist.assert-and-report, diagnostic-reference*, property-reference*, human-text
     }

  # only successful asserts are reported
  successful-report =
     element successful-report {
         attlist.assert-and-report, diagnostic-reference*, property-reference*, human-text
     }

  attlist.assert-and-report =
     attribute id { xsd:ID }?,
     attribute location { text },
     attribute test { text },
     attribute role { xsd:NMTOKEN }?,
     attribute flag { xsd:NMTOKEN }?
 

Since:

2.0

Constructor Summary

Constructors

Constructor and Description
AssertOrReport()

Method Summary

Modifier and Type	Method and Description
DiagnosticReference	getDiagnosticReference(java.lang.String diagnostic)
java.util.List<DiagnosticReference>	getDiagnosticReferences()
java.lang.String	getDiagnosticText(java.lang.String diagnostic)
java.lang.String	getFlag()
java.lang.String	getId()
java.lang.String	getLocation()
PropertyReference	getPropertyReference(java.lang.String property)
java.util.List<PropertyReference>	getPropertyReferences()
java.lang.String	getPropertyText(java.lang.String property)
java.lang.String	getRole()
java.lang.String	getTest()
HumanText	getText()
boolean	isFailedAssert()
java.lang.String	toMessageString()
java.lang.String	toMessageString(boolean includeDiagnostics)
void	toXMLStream(javax.xml.stream.XMLStreamWriter xml)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AssertOrReport

public AssertOrReport()

Method Detail

isFailedAssert

public boolean isFailedAssert()

getId

public java.lang.String getId()

getLocation

public java.lang.String getLocation()

getTest

public java.lang.String getTest()

getRole

public java.lang.String getRole()

getFlag

public java.lang.String getFlag()

getDiagnosticReferences

public java.util.List<DiagnosticReference> getDiagnosticReferences()

getPropertyReferences

public java.util.List<PropertyReference> getPropertyReferences()

getPropertyReference

public PropertyReference getPropertyReference(java.lang.String property)

getDiagnosticReference

public DiagnosticReference getDiagnosticReference(java.lang.String diagnostic)

getPropertyText

public java.lang.String getPropertyText(java.lang.String property)

getDiagnosticText

public java.lang.String getDiagnosticText(java.lang.String diagnostic)

getText

public HumanText getText()

toMessageString

public java.lang.String toMessageString()

Returns:

a message string for the console including location and text

toMessageString

public java.lang.String toMessageString(boolean includeDiagnostics)

Returns:

a message string for the console including location and text

toXMLStream

public void toXMLStream(javax.xml.stream.XMLStreamWriter xml)
                 throws javax.xml.stream.XMLStreamException

Specified by:

toXMLStream in interface XMLStreamable

Throws:

javax.xml.stream.XMLStreamException