public class ProofAsstGUI.RequestThreadStuff
extends java.lang.Object
implements java.lang.Runnable
Constructor and Description |
---|
RequestThreadStuff(mmj.pa.ProofAsstGUI.Request r)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
cancelRequestThread()
Cancel the Thread used in the RequestThreadStuff object if it exists
(not null).
|
void |
run() |