def format_string(self, val):
return '<STR_LIT:">' + val.replace('<STR_LIT:\\>', '<STR_LIT>').replace('<STR_LIT:">', '<STR_LIT>').replace('<STR_LIT:\n>', '<STR_LIT>') + '<STR_LIT:">'<EOL>
Helper function to format a string.