public class ProofClosedNotification extends NotificationTask
Constructor and Description |
---|
ProofClosedNotification()
Creates a proof closed notification task.
|
ProofClosedNotification(javax.swing.JFrame comp) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
automodeEnabledTask()
returns if this task should be executed in auto mode
|
NotificationEventID |
getEventID() |
addNotificationAction, execute, executeActions, getNotificationActions
public ProofClosedNotification()
public ProofClosedNotification(javax.swing.JFrame comp)
protected boolean automodeEnabledTask()
automodeEnabledTask
in class NotificationTask
public NotificationEventID getEventID()
getEventID
in class NotificationTask