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

java.lang.Object
  extended by com.sun.electric.tool.Job
      extended by 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.