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.