Package org.semanticweb.owlapi.profiles

Class OWLProfileReport

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileReport

Direct Known Subclasses:

OWL2ProfileReport

public class OWLProfileReport
extends Object

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor	Description
OWLProfileReport(OWLProfile profile, Set<OWLProfileViolation> violations)

Method Summary

Modifier and Type	Method	Description
OWLProfile	getProfile()
List<OWLProfileViolation>	getViolations()
boolean	isInProfile()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLProfileReport

public OWLProfileReport(OWLProfile profile,
                        Set<OWLProfileViolation> violations)

Parameters:

profile - the profile used

violations - the set of violations

Method Detail

getProfile

public OWLProfile getProfile()

Returns:

the profile used

isInProfile

public boolean isInProfile()

Returns:

true if there are no violations

getViolations

public List<OWLProfileViolation> getViolations()

Returns:

the violations found

toString

public String toString()

Overrides:

toString in class Object