com.sun.electric.database.change
Class Undo.UndoJob

java.lang.Object
  com.sun.electric.tool.Job
      com.sun.electric.database.change.Undo.UndoJob

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

Undo

public static class Undo.UndoJob
extends Job

Class to schedule an undo in a separate Job.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class com.sun.electric.tool.Job

Job.Inform, Job.Key, Job.Priority, Job.Type

Field Summary

Fields inherited from class com.sun.electric.tool.Job

endTime, finished, LOCALDEBUGFLAG, MIN_NUM_SECONDS, reportExecution, startTime

Constructor Summary

Undo.UndoJob(java.lang.String jobName, int snapshotId)

Method Summary

boolean	doIt() This is the main work method.
int	getSnapshotId()
void	terminateFail(java.lang.Throwable e) This method executes in the Client side after exceptional termination of doIt method.

Methods inherited from class com.sun.electric.tool.Job

abort, checkAbort, fieldVariableChanged, getAllJobs, getDatabase, getDebug, getDeleteWhenDone, getEditingPreferences, getEnvironment, getExtendedUserInterface, getInfo, getInform, getKey, getRunningJob, getScheduledToAbort, getStatus, getTechPool, getTool, getUserInterface, initJobManager, inServerThread, isClientThread, isFinished, pipeClient, pipeServer, remove, setCurrentLibraryInJob, setDebug, setProgress, setReportExecutionFlag, socketClient, startJob, startJob, startJobOnMyResult, terminateIt, terminateOK, toString, updateIncrementalDRCErrors, updateNetworkErrors

Methods inherited from class java.lang.Object

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

Constructor Detail

Undo.UndoJob

public Undo.UndoJob(java.lang.String jobName,
                    int snapshotId)

Method Detail

getSnapshotId

public int getSnapshotId()

doIt

public boolean doIt()
             throws JobException

Description copied from class: Job

This is the main work method. This method should perform all needed tasks.

Specified by:

doIt in class Job

Throws:

JobException - TODO

terminateFail

public void terminateFail(java.lang.Throwable e)

Description copied from class: Job

This method executes in the Client side after exceptional termination of doIt method.

Overrides:

terminateFail in class Job

Parameters:

e - null exception thrown by doIt.