From b786f20bbab5a59046aa78a2c6c2a11536497202 Mon Sep 17 00:00:00 2001 From: bhgv Date: Thu, 1 Mar 2018 16:54:45 +0200 Subject: inferno-os tree was separated from the inferno-os-android (separated from the Android driver) --- module/exception.m | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 module/exception.m (limited to 'module/exception.m') diff --git a/module/exception.m b/module/exception.m new file mode 100644 index 0000000..c5cf01e --- /dev/null +++ b/module/exception.m @@ -0,0 +1,18 @@ +Exception: module{ + + PATH: con "/dis/lib/exception.dis"; + + # returns the last exception in the form pc, module, exception + # on the process with the given pid (-1 gives current process) + # returns (0, nil, nil) if no exception + getexc: fn(pid: int): (int, string, string); + + NOTIFYLEADER, PROPAGATE: con iota; + + # set the exception mode(NOTIFYLEADER or PROPAGATE) + # on the current process + # it is assumed that the process is a group leader (see Sys->NEWPGRP) + # returns -1 on failure, 0 on success + setexcmode: fn(mode: int): int; + +}; -- cgit v1.2.3