DelayedBuilderRequest Type
This is a delayed request that is used to update the status of the CFG builder. This is populated only when the builder is running and is consumed after regular CFGActions are consumed.
Union cases
| Union case |
Description
|
Full Usage:
NotifyCalleeChange(callee, calleeInfo)
Parameters:
Addr
calleeInfo : CalleeInfo
|
Notify that the callee's information (e.g., its returning status) has been changed.
|
Full Usage:
NotifyCalleeSuccess(callee, calleeInfo)
Parameters:
Addr
calleeInfo : CalleeInfo
|
Notify that the callee has been successfully built.
|
Full Usage:
ResetBuilder
|
Reset the builder. |
Full Usage:
Rollback
|
Rollback the current builder and make the callers to rollback if necessary. |
Instance members
| Instance member |
Description
|
Full Usage:
this.IsNotifyCalleeChange
Returns: bool
|
|
Full Usage:
this.IsNotifyCalleeSuccess
Returns: bool
|
|
Full Usage:
this.IsResetBuilder
Returns: bool
|
|
Full Usage:
this.IsRollback
Returns: bool
|
|
B2R2