pyGHDL.libghdl.files_map_editor
Functions
Replace_Text(): Replace [START; END) by TEXT.Fill_Text(): Replace the content ofFilewith TEXT.Check_Buffer_Content(): Check that content ofFileis STR[1 .. STR_LEN].Copy_Source_File(): Copy content ofSrctoDest.
Functions
- pyGHDL.libghdl.files_map_editor.Replace_Text(File, Start_Line, Start_Offset, End_Line, End_Offset, Text)[source]
Replace [START; END) by TEXT.
- Parameters:
- Return type:
- Returns:
Return True in case of success, False in case of failure (the gap is too small).
- pyGHDL.libghdl.files_map_editor.Fill_Text(File, Text_Pointer, Text_Length)[source]
Replace the content of
Filewith TEXT.Todo
Replace
Text_PointerandText_Lengthwith Python string
- pyGHDL.libghdl.files_map_editor.Check_Buffer_Content(File, String_Pointer, String_Length)[source]
Check that content of
Fileis STR[1 .. STR_LEN].Todo
Replace
String_PointerandString_Lengthwith Python string
- pyGHDL.libghdl.files_map_editor.Copy_Source_File(Dest, Src)[source]
Copy content of
SrctoDest.Warning
The size of
Destmust be large enough.Clear lines table of
Dest.- Return type:
- Parameters:
Dest (SourceFileEntry)
Src (SourceFileEntry)