		Search-engine friendly clone of the ACL2 documentation.

Std/strings

Lines

Functions for operating on the lines of a string.

Note that these functions generally work with Unix-style newline characters, i.e., \n instead of something like \r\n. Depending on your application, this may or may not be appropriate.

One option for treating a string as lines is to just use, e.g., strtok to literally split it into a list of lines. The functions here are generally meant to be more efficient, e.g., prefix-lines can add a prefix to every line without constructing an temporary string list or doing any intermediate string concatenation.

Subtopics

Strlines: Extract a group of lines from a string by their line numbers.
Prefix-lines: Add a prefix to every line in a string.
Strline: Extract a line from a string by its line number.