public class WaitSettings extends EvalSettings
Modifier and Type | Field and Description |
---|---|
static WaitSettings |
DEFAULT_WAIT_SETTINGS |
DEFAULT_EVAL_SETTINGS
Modifier | Constructor and Description |
---|---|
|
WaitSettings()
Default constructor
|
protected |
WaitSettings(long cptr)
C pointer constructor
|
|
WaitSettings(WaitSettings waitSettings)
Copy constructor
|
Modifier and Type | Method and Description |
---|---|
protected void |
finalize()
Cleans up underlying C resources
|
void |
free()
Deletes the C instantiation.
|
double |
getMaxWaitTime() |
double |
getPollFrequency() |
void |
setMaxWaitTime(double maxWaitTime) |
void |
setPollFrequency(double freq) |
getAlwaysOverwrite, getDefaultClockIncrement, getDelaySendingModifieds, getPostPrintStatement, getPrePrintStatement, getTreatGlobalsAsLocals, setAlwaysOverwrite, setDefaultClockIncrement, setDelaySendingModifieds, setPostPrintStatement, setPrePrintStatement, setTreatGlobalsAsLocals
public static WaitSettings DEFAULT_WAIT_SETTINGS
public WaitSettings()
public WaitSettings(WaitSettings waitSettings)
waitSettings
- settings to be copiedprotected WaitSettings(long cptr)
cptr
- the C ptr to be inheritedpublic void setPollFrequency(double freq)
freq
- Frequency to poll an expression for truth.public double getPollFrequency()
public void setMaxWaitTime(double maxWaitTime)
maxWaitTime
- Maximum time to wait for an expression to become true.public double getMaxWaitTime()
public void free()
free
in class EvalSettings
protected void finalize() throws java.lang.Throwable
finalize
in class EvalSettings
java.lang.Throwable
- necessary for override but unused