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