• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Community
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
        • Warnings
        • Primitives
        • Use-set
        • Syntax
        • Getting-started
        • Utilities
        • Loader
          • Preprocessor
          • Vl-loadconfig
          • Lexer
            • Lex-strings
            • Lex-identifiers
            • Vl-typo-uppercase-p
            • Vl-typo-number-p
            • Vl-typo-lowercase-p
            • Lex-numbers
            • Chartypes
            • Vl-lex
            • Defchar
            • Tokens
              • Vl-inttoken-p
              • Vl-plaintoken-p
                • *vl-plaintoken-fal*
                • *vl-plaintoken-types*
                • Vl-plaintoken
                • Make-vl-plaintoken
                • Change-vl-plaintoken
                • *vl-2012-plain-nonkeywords*
                  • Vl-plaintokentype-p
                  • *vl-2005-plain-nonkeywords*
                  • Make-honsed-vl-plaintoken
                  • Honsed-vl-plaintoken
                  • Vl-plaintoken->type
                  • Vl-plaintoken->etext
                • Vl-token->etext
                • Vl-token->type
                • Vl-token-p
                • Vl-idtoken-p
                • Vl-timetoken-p
                • Vl-stringtoken-p
                • Vl-kill-whitespace-and-comments
                • Vl-tokenlist->etext
                • Vl-extinttoken-p
                • Vl-sysidtoken-p
                • Vl-realtoken-p
                • Vl-tokenlist-p
                • Vl-tokenlist->string-with-spaces
                • Vl-idtoken-list-p
                • Vl-token->loc
                • Vl-plaintokentypelist-p
                • Vl-tokenlistlist-p
                • Vl-token->string
              • Lex-keywords
              • Lexstate
              • Make-test-tokens
              • Lexer-utils
              • Lex-comments
              • Vl-typo-uppercase-list-p
              • Vl-typo-lowercase-list-p
              • Vl-typo-number-list-p
            • Vl-loadstate
            • Parser
            • Vl-load-merge-descriptions
            • Scope-of-defines
            • Vl-load-file
            • Vl-flush-out-descriptions
            • Vl-description
            • Vl-loadresult
            • Vl-read-file
            • Vl-find-basename/extension
            • Vl-find-file
            • Vl-read-files
            • Extended-characters
            • Vl-load
            • Vl-load-main
            • Vl-load-description
            • Vl-descriptions-left-to-load
            • Inject-warnings
            • Vl-load-descriptions
            • Vl-load-files
            • Vl-load-summary
            • Vl-collect-modules-from-descriptions
            • Vl-descriptionlist
          • Transforms
          • Lint
          • Mlib
          • Server
          • Kit
          • Printer
          • Esim-vl
          • Well-formedness
        • Sv
        • Fgl
        • Vwsim
        • Vl
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Vl-plaintoken-p

    *vl-2012-plain-nonkeywords*

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

    Definition: *vl-2012-plain-nonkeywords*

    (defconst *vl-2012-plain-nonkeywords*
      (append *vl-2005-plain-nonkeywords*
              '(:vl-eqarrow :vl-arrowgt :vl-stararrow
                            :vl-bararrow :vl-bareqarrow
                            :vl-equiv :vl-wildeq
                            :vl-wildneq :vl-dotstar
                            :vl-coloneq :vl-colonslash
                            :vl-scope :vl-pounddash
                            :vl-poundequal :vl-poundpound
                            :vl-plusplus :vl-minusminus
                            :vl-pluseq :vl-minuseq
                            :vl-timeseq :vl-diveq
                            :vl-remeq :vl-andeq
                            :vl-oreq :vl-xoreq
                            :vl-shleq :vl-shreq
                            :vl-ashleq :vl-ashreq
                            :vl-quote :vl-$
                            :vl-$root :vl-$unit)))

    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 :vl-eqarrow
            :vl-arrowgt :vl-stararrow
            :vl-bararrow :vl-bareqarrow
            :vl-equiv :vl-wildeq
            :vl-wildneq :vl-dotstar
            :vl-coloneq :vl-colonslash
            :vl-scope :vl-pounddash
            :vl-poundequal :vl-poundpound
            :vl-plusplus :vl-minusminus
            :vl-pluseq :vl-minuseq
            :vl-timeseq :vl-diveq
            :vl-remeq :vl-andeq
            :vl-oreq :vl-xoreq
            :vl-shleq :vl-shreq
            :vl-ashleq :vl-ashreq
            :vl-quote :vl-$
            :vl-$root :vl-$unit)