set_exception


Description:

public void set_exception (owned Error exception)