• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Community
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
          • Scopestack
            • Vl-interfaceportlist->ifnames
            • Vl-blockscope
            • Vl-scope-find-item
            • Vl-scopestack-find-item/ss/package
            • Vl-importlist-find-explicit-item
            • Vl-scopestack-find-item/context
            • Vl-importlist-find-implicit-item
            • Vl-import-stars-find-item
            • Vl-scopeinfo
            • Vl-importlist->explicit-item-alist
            • Vl-scopestack-find-definition/ss
            • Vl-scopeitem
            • Vl-scopestack-find-package/ss
            • Vl-scopestack
            • Vl-scopeinfo-find-item
            • Vl-scopestack-find-item/ss
            • Vl-scopestack-find-class/ss
            • Scopestack-constants
              • *vl-scopes->items*
                • *vl-scopes->pkgs*
                • *vl-scopes->defs*
                • *vl-scopes->classes*
                • *vl-scopes->portdecls*
              • Vl-scope-namespace
              • Vl-maybe-scope
              • Vl-importresult
              • Vl-scopestack-push
              • Vl-import-stars-itemnames
              • Vl-scope->scopeinfo
              • Vl-scope-find-item-fast
              • Vl-interface-scope-find-item
              • Vl-genblob-scope-find-item
              • Vl-module-scope-find-item
              • Vl-design-scope-find-definition
              • Vl-scopestack-find-item
              • Vl-scopestack-find-definition
              • Vl-scopeinfo->itemnames
              • Vl-scope-find-portdecl
              • Vl-scope-find-definition
              • Vl-package-scope-find-item
              • Vl-interface-scope-find-portdecl
              • Vl-genblob-scope-find-portdecl
              • Vl-design-scope-find-item
              • Vl-blockscope-scope-find-item
              • Vl-scopestack-find-package
              • Vl-scope-find-package
              • Vl-module-scope-find-portdecl
              • Vl-design-scope-find-package
              • Vl-design-scope-find-class
              • Vl-class-scope-find-item
              • Vl-scopestack-find-class
              • Vl-scope-find-class
              • Vl-scopestack->hashkey
              • Vl-scope-find-portdecl-fast
              • Vl-package-scope-item-alist-top
              • Vl-scopestack->path-aux
              • Vl-scopedef
              • Vl-scope-portdecl-alist
              • Vl-scope-package-alist
              • Vl-scope-find-definition-fast
              • Vl-scope-definition-alist
              • Vl-scope-find-package-fast
              • Vl-scope-find-class-fast
              • Vl-scope-class-alist
              • Vl-scopestack->path
              • Vl-scopestack->design
              • Vl-scopeitem->name
              • Vl-scope
              • Vl-scopestack-init
              • Vl-importlist->star-packages
              • Vl-scopestack-pop
              • Vl-scopestack-nesting-level
              • Vl-scopestack->toplevel
              • Vl-scope->scopetype
              • Vl-scope->id
              • Vl-design-scope-package-alist-top
              • Vl-bindlist->modinsts
              • Vl-scopestack-toplevel-p
              • Vl-scopestacks-free
              • Vl-importresult-alist
            • Hid-tools
            • Filtering-by-name
            • Vl-interface-mocktype
            • Stripping-functions
            • Genblob
            • Expr-tools
            • Extract-vl-types
            • Hierarchy
            • Range-tools
            • Finding-by-name
            • Stmt-tools
            • Modnamespace
            • Flat-warnings
            • Reordering-by-name
            • Datatype-tools
            • Syscalls
            • Allexprs
            • Lvalues
            • Port-tools
          • Transforms
        • X86isa
        • Svl
        • Rtl
      • Software-verification
      • Math
      • Testing-utilities
    • Scopestack-constants

    *vl-scopes->items*

    Information about the kinds of items in each scope.

    Note that this is only for items, i.e., it's not for definitions, ports, packages, etc.

    Definition: *vl-scopes->items*

    (defconst *vl-scopes->items*
      '((interface (:import)
                   paramdecl vardecl
                   fundecl taskdecl typedef dpiimport
                   (modinst :name instname
                            :maybe-stringp t)
                   genvar
                   (genelement :name blockname
                               :maybe-stringp t
                               :sum-type t
                               :acc generates)
                   (interfaceport :acc ifports)
                   modport)
        (module (:import)
                paramdecl vardecl
                fundecl taskdecl typedef dpiimport
                (modinst :name instname
                         :maybe-stringp t)
                (gateinst :maybe-stringp t)
                genvar
                (genelement :name blockname
                            :maybe-stringp t
                            :sum-type t
                            :acc generates)
                (interfaceport :acc ifports))
        (class (:import)
               paramdecl
               vardecl fundecl taskdecl typedef)
        (genblob (:import)
                 vardecl paramdecl
                 fundecl taskdecl typedef dpiimport
                 (modinst :name instname
                          :maybe-stringp t)
                 (gateinst :maybe-stringp t)
                 genvar
                 (genelement :name blockname
                             :maybe-stringp t
                             :sum-type t
                             :acc generates)
                 (interfaceport :acc ifports)
                 modport)
        (blockscope (:import)
                    vardecl paramdecl typedef)
        (design (:import)
                paramdecl vardecl
                fundecl taskdecl typedef dpiimport)
        (package (:import)
                 paramdecl vardecl
                 fundecl taskdecl typedef dpiimport)))