Previous: Extension Other Design Decisions, Up: Extension Design [Contents][Index]
The API can later be expanded, in at least the following way:
gawk
passes an “extension id” into the extension when it
first loads the extension. The extension then passes this id back
to gawk
with each function call. This mechanism allows
gawk
to identify the extension calling into it, should it need
to know.
Of course, as of this writing, no decisions have been made with respect to the above.