Mojo function
get_safe_task_id
get_safe_task_id(ctx: DeviceContextPtr) -> OptionalReg[Int]
Safely extract task_id from DeviceContextPtr, returning None if null/invalid.
Args:
- ctx (
DeviceContextPtr): The device context pointer to extract the task ID from.
Returns:
OptionalReg: An OptionalReg containing the task ID if valid, None otherwise.
get_safe_task_id(ctx: DeviceContext) -> OptionalReg[Int]
Safely extract task_id from DeviceContext, returning None if null/invalid.
Args:
- ctx (
DeviceContext): The device context to extract the task ID from.
Returns:
OptionalReg: An OptionalReg containing the task ID if valid, None otherwise.
Was this page helpful?
Thank you! We'll create more content like this.
Thank you for helping us improve!