Dat is
StringReplace -- de functie
het oldString -- wat u wilt vervangen
'''' -- vier kiezen citaten in een rij uit, buitendegenen om een koord, midden twee aan te duiden = 1 enig enig-citaat
„„“ -- twee buiten kiezen, één binnendubbel uit
[rfReplaceAll] -- argument aan StringReplace om alle instanties van enige gevonden citaten te veranderen
StringReplace verandert niet het bronkoord, tenzij u het resultaat terug naar het oude koord toewijst.
voorbeeld gebruik:
var oldString, die newString: koord;
begin
het oldString: = „5 '' 8“;
het newString: = StringReplace (het oldString, '''', „„“, [rfReplaceAll]);