com.hp.hpl.jena.reasoner
Class ValidityReport.Report

java.lang.Object
  com.hp.hpl.jena.reasoner.ValidityReport.Report

Enclosing class:

ValidityReport

public static class ValidityReport.Report

extends java.lang.Object

Field Summary

java.lang.String	description A textual description of the error or warning.
java.lang.Object	extension Some reasoner dependent data structure giving more information on the problem.
boolean	isError True if the report is a error, false if it is just a warning.
java.lang.String	type The type of the error discovered, the range of errors types is reasoner-dependent.

Constructor Summary

ValidityReport.Report(boolean error, java.lang.String type, java.lang.String description)
Constructor.

ValidityReport.Report(boolean error, java.lang.String type, java.lang.String description, java.lang.Object extension)
Constructor

Method Summary

java.lang.String

toString() Printable form of the report

Methods inherited from class java.lang.Object

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

Field Detail

type

public java.lang.String type

The type of the error discovered, the range of errors types is reasoner-dependent.

isError

public boolean isError

True if the report is a error, false if it is just a warning.

description

public java.lang.String description

A textual description of the error or warning.

extension

public java.lang.Object extension

Some reasoner dependent data structure giving more information on the problem.

Constructor Detail

ValidityReport.Report

public ValidityReport.Report(boolean error,
                             java.lang.String type,
                             java.lang.String description)

Constructor.

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

ValidityReport.Report

public ValidityReport.Report(boolean error,
                             java.lang.String type,
                             java.lang.String description,
                             java.lang.Object extension)

Constructor

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

extension - a reasoner dependent data structure giving more information on the problem.

Method Detail

toString

public java.lang.String toString()

Printable form of the report