diff options
Diffstat (limited to 'pyGHDL/libghdl/files_map_editor.py')
| -rw-r--r-- | pyGHDL/libghdl/files_map_editor.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pyGHDL/libghdl/files_map_editor.py b/pyGHDL/libghdl/files_map_editor.py new file mode 100644 index 000000000..bf9492786 --- /dev/null +++ b/pyGHDL/libghdl/files_map_editor.py @@ -0,0 +1,12 @@ +from ctypes import c_int32, c_char_p, c_bool +from libghdl import libghdl + +Replace_Text = libghdl.files_map__editor__replace_text_ptr +Replace_Text.argstype = [c_int32, c_int32, c_int32, c_int32, c_char_p, c_int32] +Replace_Text.restype = c_bool + +Fill_Text = libghdl.files_map__editor__fill_text_ptr + +Check_Buffer_Content = libghdl.files_map__editor__check_buffer_content + +Copy_Source_File = libghdl.files_map__editor__copy_source_file |