diff options
| author | reduz <reduzio@gmail.com> | 2021-08-23 14:53:27 -0300 |
|---|---|---|
| committer | reduz <reduzio@gmail.com> | 2021-08-23 19:58:40 -0300 |
| commit | 44d62a9f4b6ac892b1fb9b8998be4162409952e3 (patch) | |
| tree | cbc5ffa6979314def8adbc229cd94b4adf8afb1c /doc/tools | |
| parent | 679b9be9d30001e8ffc8087e412097f7394cacdd (diff) | |
Implement NativeExtension pointer arguments
* Allows calling into native extensions directly with a pointer
* Makes it easier to implement some APIs more efficiently
* Appears with a "*" in the documentation for the argument.
* Implementing the pointer handling is entirely up to the implementation, although the extension API provides some hint.
* AudioStream has been implemented as an example, allowing to create NativeExtension based AudioStreams.
Diffstat (limited to 'doc/tools')
| -rwxr-xr-x | doc/tools/makerst.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 4691b61e1b..a23324fd24 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -1007,6 +1007,8 @@ def format_table(f, data, remove_empty_columns=False): # type: (TextIO, Iterabl def make_type(klass, state): # type: (str, State) -> str + if klass.find("*") != -1: # Pointer, ignore + return klass link_type = klass if link_type.endswith("[]"): # Typed array, strip [] to link to contained type. link_type = link_type[:-2] |