diff options
| -rw-r--r-- | pyGHDL/libghdl/files_map.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pyGHDL/libghdl/files_map.py b/pyGHDL/libghdl/files_map.py index d57de13cc..551f13d64 100644 --- a/pyGHDL/libghdl/files_map.py +++ b/pyGHDL/libghdl/files_map.py @@ -220,6 +220,17 @@ 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__read_source_file") def Read_Source_File(Directory: NameId, Name: NameId) -> SourceFileEntry: |