com.hp.hpl.jena.reasoner
Class StandardValidityReport

java.lang.Object
  com.hp.hpl.jena.reasoner.StandardValidityReport

All Implemented Interfaces:

ValidityReport

public class StandardValidityReport

extends java.lang.Object

implements ValidityReport

Default implementation of ValidityReport which simply stores a list of precomputed Report records.

Version:

$Revision: 1.4 $ on $Date: 2003/05/08 15:08:16 $

Author:

Dave Reynolds

Nested Class Summary

Nested classes inherited from class com.hp.hpl.jena.reasoner.ValidityReport

ValidityReport.Report

Constructor Summary

StandardValidityReport()

Method Summary

void	add(boolean error, java.lang.String type, java.lang.String description) Add a new error report
void	add(ValidityReport.Report report) Add a new error report
java.util.Iterator	getReports() Return an iterator over the separate ValidityReport.Report records.
boolean	isValid() Return true if there are no problems reported by the validation
int	size() Return a count of the number of warning or error reports generated by the validation.

Methods inherited from class java.lang.Object

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

Constructor Detail

StandardValidityReport

public StandardValidityReport()

Method Detail

add

public void add(boolean error,
                java.lang.String type,
                java.lang.String description)

Add a new error report

Parameters:

error - true if the report is an error, false if it is just a warning

type - a string giving a reasoner-dependent classification for the report

description - a textual description of the problem

add

public void add(ValidityReport.Report report)

Add a new error report

Parameters:

report - a ValidityReport.Report to add, can be null

isValid

public boolean isValid()

Return true if there are no problems reported by the validation

Specified by:

isValid in interface ValidityReport

size

public int size()

Return a count of the number of warning or error reports generated by the validation.

getReports

public java.util.Iterator getReports()

Return an iterator over the separate ValidityReport.Report records.

Specified by:

getReports in interface ValidityReport