set_exception

Description:

public void set_exception (owned Error exception)

Sets the exception.

Parameters:

exception

Exception thrown