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

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

Enclosing interface:

ValidityReport

public static class ValidityReport.Report
extends Object

Field Summary

String	description A textual description of the error or warning.
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.
String	type The type of the error discovered, the range of errors types is reasoner-dependent.

Constructor Summary

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

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

Method Summary

String	getDescription()
Object	getExtension()
String	getType()
boolean	isError()
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 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 String description

A textual description of the error or warning.

extension

public Object extension

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

Constructor Detail

ValidityReport.Report

public ValidityReport.Report(boolean error,
                             String type,
                             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,
                             String type,
                             String description,
                             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

getDescription

public String getDescription()

Returns:

a textual description of the problem

getExtension

public Object getExtension()

Returns:

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

isError

public boolean isError()

Returns:

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

getType

public String getType()

Returns:

a string giving a reasoner-dependent classification for the report

toString

public String toString()

Printable form of the report

Overrides:

toString in class Object