string->insert_character

string ->insert_character: char=char, at=[0..], times=[0..]

Insert the given character times times at the given location. If at is @default, the character(s) is/are appended at the end of the string.

If a string is to be created from a list of character codes, it is advised to create a string of the necessary length first using this method. The following illustrates this making a string with all characters between 0 and 255:

new(S, string),
send(S, insert_character, 0, 0, 256),
forall(between(0, 255, I),
           send(S, character, I, I)).