Re: [Gawkextlib-users] New API

[Manuel C. <mco...@gm...>]

El 28/06/2021 a las 9:40, Vinícius dos Santos Oliveira escribió:
> Em seg., 28 de jun. de 2021 às 04:27, Manuel Collado
> <mco...@gm...> escreveu:
>> ...
>> I.e., instead of expecting the user to write some "JSONRECORDERROR"
>> rule, expect the user to write some "JsonRecordError()" function. If
>> there is such function the extension will invoke it. If not, the
>> extension will execute a default error handling action.
>
> Maybe that'd do. Can such a function use the statement next? How'd
> that work, the plugin calling the function triggering next?

The idea was to let the plugin invoke the user function. But I was a bit 
wrong. The current API doesn't provide such facility. It would be 
necessary to extend the API in order to allow an extension to call a 
gawk user function.

>
> Thanks for the idea anyway. It does seem simpler (to implement).

You are welcome.
-- 
Manuel Collado - http://mcollado.z15.es