edu.stanford.smi.protegex.owl.testing
Interface OWLTestResult

All Known Implementing Classes:

DefaultOWLTestResult, WarningMessageTestResult

public interface OWLTestResult

Author:

Holger Knublauch

Field Summary

static int	TYPE_ERROR
static int	TYPE_OWL_FULL
static int	TYPE_WARNING

Method Summary

RDFResource	getHost()
Icon	getIcon() Gets an Icon to represent this type of OWLTestResult.
String	getMessage()
OWLTest	getOWLTest()
int	getType() Gets the type of result.
Object	getUserObject() Gets the (optional) user object attached to this OWLTestResult.

Field Detail

TYPE_ERROR

public static final int TYPE_ERROR

See Also:

Constant Field Values

TYPE_WARNING

public static final int TYPE_WARNING

See Also:

Constant Field Values

TYPE_OWL_FULL

public static final int TYPE_OWL_FULL

See Also:

Constant Field Values

Method Detail

getHost

public RDFResource getHost()

getIcon

public Icon getIcon()

Gets an Icon to represent this type of OWLTestResult.

Returns:

an Icon (not null)

getMessage

public String getMessage()

getOWLTest

public OWLTest getOWLTest()

getType

public int getType()

Gets the type of result.

Returns:

one of TYPE_xxx

getUserObject

public Object getUserObject()

Gets the (optional) user object attached to this OWLTestResult.

Returns:

the user object (e.g. to provide more info on how to repair this)