|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.jena.OWLSpeciesReport
public class OWLSpeciesReport
Class that stores the messages about OWL species validation. Each message added to the report contains the level it belong so level of docuemnt is simply found by the level of messages. The report supports printing in HTML format, i.e. URI's are printed as hyperlinks.
Field Summary | |
---|---|
static int |
NUM_CODES
|
Constructor Summary | |
---|---|
OWLSpeciesReport()
|
Method Summary | |
---|---|
void |
addMessage(int code,
OWLSpeciesMessage msg)
Add a message addMessage |
void |
addMessage(int code,
java.lang.String header,
java.lang.String msg)
|
void |
addMessage(int code,
java.lang.String header,
java.lang.String msg,
aterm.ATermAppl term)
|
void |
addMessage(int code,
java.lang.String header,
java.lang.String msg,
aterm.ATermAppl[] terms)
|
void |
addMessage(int code,
java.lang.String header,
java.lang.String msg,
aterm.ATermAppl term1,
aterm.ATermAppl term2)
|
int |
getLevel()
Return the level of the document. |
void |
print()
Print the report on standard output. |
void |
print(OutputFormatter out)
Print the report on specified output. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final int NUM_CODES
Constructor Detail |
---|
public OWLSpeciesReport()
Method Detail |
---|
public void addMessage(int code, OWLSpeciesMessage msg)
code
- msg
- public void addMessage(int code, java.lang.String header, java.lang.String msg)
public void addMessage(int code, java.lang.String header, java.lang.String msg, aterm.ATermAppl term)
public void addMessage(int code, java.lang.String header, java.lang.String msg, aterm.ATermAppl term1, aterm.ATermAppl term2)
public void addMessage(int code, java.lang.String header, java.lang.String msg, aterm.ATermAppl[] terms)
public int getLevel()
public void print()
public void print(OutputFormatter out)
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |