dev • api • name • gb.propagate

GB.Propagate

void GB.Propagate ( void )

Raises the error previously defined by GB.Error.

The code executed by the component is interrupted, and the exception handling routines of the interpreter take things in hand.

See also