Extracted at 2014-06-26.
pike.ida.liu.se
[Top]
Tools

Method Tools.throw()


Method throw

void throw(program errtype, string|void message, mixed ... args)