|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ch.uzh.ifi.attempto.base.Logger
public class Logger
This class is used to log the events on the server.
Constructor Summary | |
---|---|
Logger(java.lang.String fileName,
int sessionID)
Creates a new logger instance for the given file and session id. |
|
Logger(java.lang.String fileName,
java.lang.String username,
int sessionID)
Creates a new logger instance for the given file, user name, and session id. |
Method Summary | |
---|---|
void |
log(java.lang.String type,
java.lang.String text)
Writes a log entry into the log file of the respective ontology. |
void |
setUsername(java.lang.String username)
Sets the user name. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Logger(java.lang.String fileName, java.lang.String username, int sessionID)
fileName
- The name of the log file.username
- The user name.sessionID
- The session id.public Logger(java.lang.String fileName, int sessionID)
fileName
- The name of the log file.sessionID
- The session id.Method Detail |
---|
public void setUsername(java.lang.String username)
username
- The user name.public void log(java.lang.String type, java.lang.String text)
type
- The type of the log entry.text
- The text of the log entry.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |