org.semanticweb.owlapi.profiles
Class OWLProfileReport

java.lang.Object
  extended by org.semanticweb.owlapi.profiles.OWLProfileReport
Direct Known Subclasses:
OWL2ProfileReport

public class OWLProfileReport
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008


Constructor Summary
OWLProfileReport(OWLProfile profile, java.util.Set<OWLProfileViolation> violations)
           
 
Method Summary
 OWLProfile getProfile()
           
 java.util.Set<OWLProfileViolation> getViolations()
           
 boolean isInProfile()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OWLProfileReport

public OWLProfileReport(OWLProfile profile,
                        java.util.Set<OWLProfileViolation> violations)
Method Detail

getProfile

public OWLProfile getProfile()

isInProfile

public boolean isInProfile()

getViolations

public java.util.Set<OWLProfileViolation> getViolations()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object