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