The plugin API is super-experimental haven't been kept up to date. The API as it once was created focused a lot on extensibility it terms of matching rather than providing usable output for other tools (the latter is probably more useful).
The API as it looks right now should most likely be deprecated in favor of a new, improved (and documented) API. I welcome contributions in this area!
The plugin API is super-experimental haven't been kept up to date. The API as it once was created focused a lot on extensibility it terms of matching rather than providing usable output for other tools (the latter is probably more useful).
The API as it looks right now should most likely be deprecated in favor of a new, improved (and documented) API. I welcome contributions in this area!