Override this method to perform custom initialization steps.
Override this method to perform custom initialization steps.
Always use abstract override
and call the super method; it is recommended
to complete the initialization of this domain before calling the super method.
Handles a monitorenter
instruction.
Handles a monitorenter
instruction.
A monitor enter instruction may throw a NullPointerException
.
Handles a monitorexit
instruction.
Handles a monitorexit
instruction.
A monitor exit instruction may throw a NullPointerException
or an
IllegalMonitorStateException
.
Tracks if a monitor(enter|exit) instruction was executed.
This knowledge is of interest to decide, e.g., whether a return instruction may throw an
IllegalMonitorStateException
or not.