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, setTreatGlobalsAsLocalspublic 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 EvalSettingsprotected void finalize()
throws java.lang.Throwable
finalize in class EvalSettingsjava.lang.Throwable - necessary for override but unused