public class HistoryLogger extends Object implements WindowListener
Logs are supposed to be JSon objects that hold current BOA state. Logger is updated only when window is visible. Closing and then opening window causes erasing its content. Method addEntry(String, SnakePluginList) should be used after every activity in QuimP, where first parameter is description of this activity and next parameters define QuimP state.
Constructor and Description |
---|
HistoryLogger()
Deprecated.
Construct main window.
|
Modifier and Type | Method and Description |
---|---|
void |
addEntry(String m,
BOAState bs)
Deprecated.
Add entry to log.
|
void |
closeHistory()
Deprecated.
Close window and call windowClosing() and windowClosed() methods.
|
boolean |
isOpened()
Deprecated.
Check if window is opened.
|
void |
openHistory()
Deprecated.
Make window visible.
|
void |
windowActivated(WindowEvent e)
Deprecated.
|
void |
windowClosed(WindowEvent e)
Deprecated.
|
void |
windowClosing(WindowEvent e)
Deprecated.
|
void |
windowDeactivated(WindowEvent e)
Deprecated.
|
void |
windowDeiconified(WindowEvent e)
Deprecated.
|
void |
windowIconified(WindowEvent e)
Deprecated.
|
void |
windowOpened(WindowEvent e)
Deprecated.
|
public void openHistory()
public void closeHistory()
public void addEntry(String m, BOAState bs)
Gather all BOA state and include in log. Uses \c Entry class to pack these information to JSon object. Particular entries can be null if they may not be logged
m
- General message to be included in logbs
- BOA state machine objectpublic boolean isOpened()
public void windowOpened(WindowEvent e)
windowOpened
in interface WindowListener
public void windowClosing(WindowEvent e)
windowClosing
in interface WindowListener
public void windowClosed(WindowEvent e)
windowClosed
in interface WindowListener
public void windowIconified(WindowEvent e)
windowIconified
in interface WindowListener
public void windowDeiconified(WindowEvent e)
windowDeiconified
in interface WindowListener
public void windowActivated(WindowEvent e)
windowActivated
in interface WindowListener
public void windowDeactivated(WindowEvent e)
windowDeactivated
in interface WindowListener
Copyright © 2002–2019 Department of Computer Science, Warwick University. All rights reserved.