mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-04 18:29:37 +02:00
GP-0: Deprecating TaskMonitor.isCanceled() and
TaskMonitor.clearCanceled()
This commit is contained in:
parent
54536f7c90
commit
20f018d038
1 changed files with 5 additions and 5 deletions
|
@ -116,11 +116,11 @@ public interface TaskMonitor {
|
|||
public boolean isIndeterminate();
|
||||
|
||||
/**
|
||||
* (Use {@link #checkCancelled()} instead)
|
||||
*
|
||||
* Check to see if this monitor has been cancelled.
|
||||
* Check to see if this monitor has been cancelled
|
||||
* @throws CancelledException if monitor has been cancelled
|
||||
* @deprecated Use {@link #checkCancelled()} instead
|
||||
*/
|
||||
@Deprecated(forRemoval = false, since = "10.3")
|
||||
public void checkCanceled() throws CancelledException;
|
||||
|
||||
/**
|
||||
|
@ -174,10 +174,10 @@ public interface TaskMonitor {
|
|||
public boolean isCancelEnabled();
|
||||
|
||||
/**
|
||||
* (Use {@link #clearCancelled()} instead)
|
||||
* <p>
|
||||
* Clear the cancellation so that this TaskMonitor may be reused
|
||||
* @deprecated Use {@link #clearCancelled()} instead
|
||||
*/
|
||||
@Deprecated(forRemoval = false, since = "10.3")
|
||||
public void clearCanceled();
|
||||
|
||||
/**
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue