异常抛出

函数 throw(Reason) 的行为可以描述如下:

if(within the scope of a “catch”)then
    Value of “catch” = Reason
else
    broadcast(nocatch)
    die
endif