Struct simics::api::simulator::hap_consumer::haps::CoreConfObjectsCreatedHap

pub struct CoreConfObjectsCreatedHap {}

Index: Indices not supported Description: Triggered if and only if at least one Core_Conf_Object_Created hap has been triggered. Automatically generated struct for the HAP

Implementations

impl CoreConfObjectsCreatedHap

pub fn add_callback<F>(callback: F) -> Result<HapHandle>

where F: FnMut(*mut conf_object_t) + 'static,

Add a callback to be called on each occurrence of this HAP. The callback may capture its environment.

Arguments

• callback - The closure to fire as a callback. The closure will be doubly boxed. Any program state accessed inside the closure must have the static lifetime. This is not enforced by the compiler, it is up to the programmer to ensure the soundness of their callback code.

pub fn add_callback_object<F>( callback: F, obj: *mut ConfObject, ) -> Result<HapHandle>

where F: FnMut(*mut conf_object_t) + 'static,

Add a callback to be called on each occurrence of this HAP for a specific object. The callback may capture its environment.

Arguments

• callback - The closure to fire as a callback. The closure will be doubly boxed. Any program state accessed inside the closure must have the static lifetime. This is not enforced by the compiler, it is up to the programmer to ensure the soundness of their callback code.
• obj - The object to fire this callback for. This HAP will not trigger the callback when firing on any object other than this one.

Trait Implementations

impl Hap for CoreConfObjectsCreatedHap

const NAME: Self::Name = crate::api::sys::CORE_CONF_OBJECTS_CREATED_HAP_NAME

The name of the HAP.

type Name = &'static [u8]

The type of the name of the HAP, must be convertible to raw C string to pass to the simulator

fn delete_callback_id(handle: HapHandle) -> Result<()>

A callback for a hap can be deleted by its handle

fn delete_callback_obj_id(obj: *mut ConfObject, handle: HapHandle) -> Result<()>

A callback for a hap can be deleted by the object it is associated with