Skip to main content

Mojo function

abort

abort[result: AnyType = None]() -> result

Calls a target dependent trap instruction if available.

Parameters:

  • result (AnyType): The result type.

Returns:

result: A null result type.

abort[result: AnyType = None, *, prefix: StringSlice[StaticConstantOrigin] = "ABORT:"](message: String) -> result

Calls a target dependent trap instruction if available.

Parameters:

  • result (AnyType): The result type.
  • prefix (StringSlice): A static string prefix to include before the message.

Args:

  • message (String): The message to include when aborting.

Returns:

result: A null result type.

Was this page helpful?