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.