pyGHDL.libghdl.files_map_editor
#
Functions
Replace_Text()
: Replace [START; END) by TEXT.Fill_Text()
: Replace the content ofFile
with TEXT.Check_Buffer_Content()
: Check that content ofFile
is STR[1 .. STR_LEN].Copy_Source_File()
: Copy content ofSrc
toDest
.
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
File
with TEXT.Todo
Replace
Text_Pointer
andText_Length
with Python string