		Search-engine friendly clone of the ACL2 documentation.

Vl-plaintoken-p

vl-2005-plain-nonkeywords

Simple token types other than keywords (e.g., whitespace, comments, operators, and other kinds of separators and punctuation.) for use with Verilog-2005 source code.

Definition: *vl-2005-plain-nonkeywords*

(defconst *vl-2005-plain-nonkeywords*
  '(:vl-ws :vl-comment
           :vl-arrow :vl-lbrack
           :vl-rbrack :vl-lparen
           :vl-rparen :vl-lcurly
           :vl-rcurly :vl-colon
           :vl-pluscolon :vl-minuscolon
           :vl-semi :vl-pound
           :vl-comma :vl-dot
           :vl-atsign :vl-beginattr
           :vl-endattr :vl-equalsign
           :vl-plus :vl-minus
           :vl-times :vl-div
           :vl-rem :vl-power
           :vl-xor :vl-qmark
           :vl-lt :vl-lte
           :vl-shl :vl-ashl
           :vl-gt :vl-gte
           :vl-shr :vl-ashr
           :vl-cne :vl-neq
           :vl-lognot :vl-nand
           :vl-nor :vl-xnor
           :vl-bitnot :vl-logor
           :vl-bitor :vl-logand
           :vl-bitand :vl-ceq
           :vl-eq :vl-andandand))

Value:

(:vl-ws :vl-comment
        :vl-arrow :vl-lbrack
        :vl-rbrack :vl-lparen
        :vl-rparen :vl-lcurly
        :vl-rcurly :vl-colon
        :vl-pluscolon :vl-minuscolon
        :vl-semi :vl-pound
        :vl-comma :vl-dot
        :vl-atsign :vl-beginattr
        :vl-endattr :vl-equalsign
        :vl-plus :vl-minus
        :vl-times :vl-div
        :vl-rem :vl-power
        :vl-xor :vl-qmark
        :vl-lt :vl-lte
        :vl-shl :vl-ashl
        :vl-gt :vl-gte
        :vl-shr :vl-ashr
        :vl-cne :vl-neq
        :vl-lognot :vl-nand
        :vl-nor :vl-xnor
        :vl-bitnot :vl-logor
        :vl-bitor :vl-logand
        :vl-bitand :vl-ceq
        :vl-eq :vl-andandand)