		Search-engine friendly clone of the ACL2 documentation.

Loader

Extended-characters

Characters with additional annotations.

Our lexer (and preprocessor) operate on lists of "extended characters", which associate regular characterp objects with their origin in the Verilog source code.

We represent these origins using vl-location-p structures, which simply have a file name, line number, and column number. We represent each extended character as an vl-echar-p, a structure that associates a character with its location.

Subtopics

Vl-location: Representation of a point in a source file.
Vl-echar-p: Representation of a single extended character.
Vl-echarlist->chars: (vl-echarlist->chars x) maps vl-echar->char across a list.
Vl-echarlist-from-chars: Transform an ordinary character list into a vl-echarlist-p.
Vl-echarlist-from-str: Transform an ordinary stringp into a vl-echarlist-p.
Vl-echarlist-unsigned-value: (vl-echarlist-unsigned-value x radix) interprets the extended character list x as a base-radix number, or returns nil if x is invalid.
Vl-change-echarlist-locations: Override the locations of characters.
Vl-echar-digit-value: (vl-echar-digit-value x radix) interprets the extended character x as a base-radix digit, or returns nil if x is not a valid digit in this base.
Vl-echarlist->string: Transform a vl-echarlist-p to a string.