---

Logger Class Reference

List of all members.

Static Public Methods
void	dump (Session s)
void	keep ()
void	off ()
void	on ()
Static Private Methods
void	renameCurrentLog () throws RuntimeException
Static Private Attributes
PrintStream	stdout = null
PrintStream	stderr = null
boolean	keepLog = true
BanderaLog	theLog = null
File	logDir = new File(Preferences.getUserPrefDir() + File.separator + "log")
String	logPath = logDir.getAbsolutePath() + File.separator

---

Detailed Description

This is a logging and bug-reporting tool. Creates log files under (USER_HOME_DIR)/.bandera/log/*.log.

Definition at line 43 of file Logger.java.

---

The documentation for this class was generated from the following file:

• Logger.java

---