From 9d94165c115ba44012f1bd9f488d3d3475c937ab Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 22 Jul 2021 18:22:01 +0200 Subject: files_map.py: Add get_buffer_length --- pyGHDL/libghdl/files_map.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/pyGHDL/libghdl/files_map.py b/pyGHDL/libghdl/files_map.py index 551f13d64..b20641866 100644 --- a/pyGHDL/libghdl/files_map.py +++ b/pyGHDL/libghdl/files_map.py @@ -219,6 +219,15 @@ def Set_File_Length(File: SourceFileEntry, Length: int) -> None: """ return 0 +@export +@BindToLibGHDL("files_map__get_buffer_length") +def Get_Buffer_Length(File: SourceFileEntry) -> int: + """ + Get the length of the buffer, including the gap and the two EOT. + + :param File: Source file + :return: Type: ``Source_Ptr`` + """ @export @BindToLibGHDL("files_map__get_buffer_length") -- cgit v1.2.3