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










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










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









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