de.uka.ilkd.key.proof.io.event

Class ProofSaverEvent

java.lang.Object

java.util.EventObject

de.uka.ilkd.key.proof.io.event.ProofSaverEvent

All Implemented Interfaces:

java.io.Serializable

public class ProofSaverEvent
extends java.util.EventObject

An event thrown by a ProofSaver.

Author:

Martin Hentschel

See Also:

Serialized Form

Field Summary

Fields

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.

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
ProofSaverEvent(ProofSaver source, java.lang.String filename, java.lang.String errorMsg) Constructor.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getErrorMsg() Returns the error message.
java.lang.String	getFilename() Returns the file name.
ProofSaver	getSource()

Methods inherited from class java.util.EventObject

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

Generated UID.

See Also:

Constant Field Values

filename

private final java.lang.String filename

The file name.

errorMsg

private final java.lang.String errorMsg

The error message.

Constructor Detail

ProofSaverEvent

public ProofSaverEvent(ProofSaver source,
                       java.lang.String filename,
                       java.lang.String errorMsg)

Constructor.

Parameters:

source - The ProofSaver which throws this event.

filename - The file name.

errorMsg - The error message.

Method Detail

getFilename

public java.lang.String getFilename()

Returns the file name.

Returns:

The file name.

getErrorMsg

public java.lang.String getErrorMsg()

Returns the error message.

Returns:

The error message.

getSource

public ProofSaver getSource()

Overrides:

getSource in class java.util.EventObject