This module provides a simple but 100% portable implementation of the
ISystemSupport interface.
config SysBuf_bufSize // module-wide |
|
Size (in MAUs) of the output
extern const SizeT SysBuf_bufSize;
DETAILS
An internal buffer of this size is allocated. All output is stored
in this internal buffer.
If 0 is specified for the size, no buffer is created and all output
is simply dropped.
SysBuf_abort() // module-wide |
|
Backend for System.abort()
Void SysBuf_abort(String str);
ARGUMENTS
str
message to output just prior to aborting
If non-NULL, this string should be output just prior to
terminating.
DETAILS
This function is called by
System.abort() prior to calling
the ANSI C Standard library function
abort(). So, to ensure the
abort processing of the system's ANSI C Standard library completes,
this function should return to its caller.
SysBuf_exit() // module-wide |
|
Backend for System.exit()
Void SysBuf_exit(Int stat);
ARGUMENTS
stat
status value passed to all "atexit" handlers
This value is passed to all "atexit" handles bound via
System.atexit(). If the application exits via the
ANSI C Standard
exit() function rather than via System_exit(),
stat will be equal to
System.STATUS_UNKNOWN.
DETAILS
This function is called as part the normal "atexit" processing
performed by the ANSI C Standard Library's
exit() function;
System.exit() directly calls ANSI
exit().
This function is called after all "atexit" handlers bound via
System.atexit() are run and it
is always called while "inside" the the
System gate.
To ensure that all exit processing of the system's ANSI C
Standard Library completes, this function should return to its caller.
Exit handlers bound using the ANSI C Standard Library atexit()
function may run before or after this function.
SEE
SysBuf_flush() // module-wide |
|
Backend for System.flush()
DETAILS
This function is simply called by
System_flush
to output any characters buffered by the underlying
SystemSupport
module to an output device.
SysBuf_putch() // module-wide |
|
Backend for System.printf() and System.putch()
Void SysBuf_putch(Char ch);
ARGUMENTS
ch
character to output
DETAILS
Output a single character. This function is called by
System_printf() to write each character
of formated output specified by its arguments.
SysBuf_ready() // module-wide |
|
Test if character output can proceed
DETAILS
This function is called by
System prior to performing
any character output. If this function returns
FALSE, the
System
functions that would normally call
putch() simply return
(with an appropriate error status) without ever calling
putch.
Module-Wide Built-Ins |
|
// Get this module's unique id
Bool SysBuf_Module_startupDone();
// Test if this module has completed startup
// The heap from which this module allocates memory
Bool SysBuf_Module_hasMask();
// Test whether this module has a diagnostics mask
Bits16 SysBuf_Module_getMask();
// Returns the diagnostics mask for this module
Void SysBuf_Module_setMask(Bits16 mask);
// Set the diagnostics mask for this module