throw_with_name

Description:

public void throw_with_name (string error_name, string error_message)

Throw an exception to this using the given error name and message.

The created Exception can be retrieved with get_exception.