public class ProofSaverEvent
extends java.util.EventObject
ProofSaver
.Modifier and Type | Field and Description |
---|---|
private java.lang.String |
errorMsg
The error message.
|
private java.lang.String |
filename
The file name.
|
private static long |
serialVersionUID
Generated UID.
|
Constructor and Description |
---|
ProofSaverEvent(ProofSaver source,
java.lang.String filename,
java.lang.String errorMsg)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getErrorMsg()
Returns the error message.
|
java.lang.String |
getFilename()
Returns the file name.
|
ProofSaver |
getSource() |
private static final long serialVersionUID
private final java.lang.String filename
private final java.lang.String errorMsg
public ProofSaverEvent(ProofSaver source, java.lang.String filename, java.lang.String errorMsg)
source
- The ProofSaver
which throws this event.filename
- The file name.errorMsg
- The error message.public java.lang.String getFilename()
public java.lang.String getErrorMsg()
public ProofSaver getSource()
getSource
in class java.util.EventObject