Assessment reports>Initia>Threat Model>Module event.move

Module event.move

This module implements functions that can be used to emit events. A module can emit an event by invoking the emit function with an instance of any structure defined by the same module. This invariant is checked by the event_validation verifier.

Function: emit

This function can be used by a module by to emit an event. It cannot be used by scripts (this invariant is enforced by the event_validation verifier).

Inputs

  • Type T<store + drop>

    • Validation: No additional validation required (verifier guarantees this is a struct / struct instantiation defined by the caller).

    • Impact: The type of the emitted event.

  • msg: T

    • Validation: No additional validation required.

    • Impact: The event to emit.

Zellic © 2024Back to top ↑