From c55a78a1bb4c86ff8784a6ce470c08797f8f02f6 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 19 Jul 2021 19:38:30 +0200
Subject: files_map.py: Add get_buffer_length

---
 pyGHDL/libghdl/files_map.py | 11 +++++++++++
 1 file changed, 11 insertions(+)

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:
-- 
cgit v1.2.3