set_exception

Description:

public void set_exception (owned Error exception)

Sets the exception to the associated future.

Parameters:

exception

an exception