public class OWLProfileReport
extends java.lang.Object
Constructor and Description |
---|
OWLProfileReport(OWLProfile profile,
java.util.Set<OWLProfileViolation> violations) |
Modifier and Type | Method and Description |
---|---|
OWLProfile |
getProfile() |
java.util.List<OWLProfileViolation> |
getViolations() |
boolean |
isInProfile() |
java.lang.String |
toString() |
public OWLProfileReport(OWLProfile profile, java.util.Set<OWLProfileViolation> violations)
profile
- the profile usedviolations
- the set of violationspublic OWLProfile getProfile()
public boolean isInProfile()
public java.util.List<OWLProfileViolation> getViolations()
public java.lang.String toString()
toString
in class java.lang.Object