TriggerRecorder
Title: TriggerRecorder
Author: Phylax Systems
Precompile interface for registering assertion triggers
Used within the triggers() function of assertion contracts to specify
when assertions should be executed. Supports call triggers, storage change triggers,
and balance change triggers.
Functions
registerStorageChangeTrigger
Registers storage change trigger for all slots
function registerStorageChangeTrigger(bytes4 fnSelector) external view;
Parameters
| Name | Type | Description |
|---|---|---|
fnSelector | bytes4 | The function selector of the assertion function. |
registerStorageChangeTrigger
Registers storage change trigger for a slot
function registerStorageChangeTrigger(bytes4 fnSelector, bytes32 slot) external view;
Parameters
| Name | Type | Description |
|---|---|---|
fnSelector | bytes4 | The function selector of the assertion function. |
slot | bytes32 | The storage slot to trigger on. |
registerBalanceChangeTrigger
Registers balance change trigger for the AA
function registerBalanceChangeTrigger(bytes4 fnSelector) external view;
Parameters
| Name | Type | Description |
|---|---|---|
fnSelector | bytes4 | The function selector of the assertion function. |
registerCallTrigger
Registers a call trigger for calls to the AA.
function registerCallTrigger(bytes4 fnSelector, bytes4 triggerSelector) external view;
Parameters
| Name | Type | Description |
|---|---|---|
fnSelector | bytes4 | The function selector of the assertion function. |
triggerSelector | bytes4 | The function selector of the trigger function. |
registerCallTrigger
Records a call trigger for the specified assertion function. A call trigger signifies that the assertion function should be called if the assertion adopter is called.
function registerCallTrigger(bytes4 fnSelector) external view;
Parameters
| Name | Type | Description |
|---|---|---|
fnSelector | bytes4 | The function selector of the assertion function. |