		Search-engine friendly clone of the ACL2 documentation.

Preprocessor-lexer

Lexer component of the preprocessor.

This is similar to the parser's lexer, but for the preprocessor.

Plex-lexeme: Lex a lexeme during preprocessing.
Plex-block-comment: Lex a block comment during preprocessing.
Plex-pp-number: Lex a preprocessing number during preprocessing.
Plex-line-comment: Lex a line comment during preprocessing.
Plex-identifier: Lex an identifier during preprocessing.
Plex-escape-sequence: Lex an escape sequence during preprocessing.
Plex-spaces: Lex consecutive spaces during preprocessing.
Plex-*-hexadecimal-digit: Lex zero or more hexadecimal digits, as many as available, during preprocessing.
Plex-*-s-char: Lex zero or more characters and escape sequences in a string literal, during preprocessing.
Plex-*-c-char: Lex zero or more characters and escape sequences in a character constant, during preprocessing.
Plex-header-name: Lex a header name during preprocessing.
Plex-*-q-char: Lex zero or more characters in a header name between double quotes, during preprocessing.
Plex-*-h-char: Lex zero or more characters in a header name between angle brackets, during preprocessing.
Plex-character-constant: Lex a character constant during preprocessing.
Plex-hexadecimal-digit: Lex a hexadecimal digit during preprocessing.
Plex-string-literal: Lex a string literal during preprocessing.
Plex-hex-quad: Lex a quadruple of hexadecimal digits during preprocessing.