Messages

method

com.dmdirc.addons.ui_swing.actions.UndoAction__ static_init

method	void com.dmdirc.addons.ui_swing.actions. UndoAction(UndoManager)
post	this.undoManager == undoManager
post	init'ed(this.undoManager)

method	void actionPerformed(ActionEvent)
pre	(soft) this.undoManager != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
test_vector	javax.swing.undo.UndoManager:canUndo(...)@68: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)