Top

Vl-lucidstate

Vl-lucidctx

Info about a usage/setting of an identifier

This is a product type introduced by defprod.

Fields

modname — stringp: Name of the module or other top-level construct in which the use/set occurred
elem — vl-ctxelement: Element in which it occurred
ss — vl-scopestack: Scopestack under which the element was found
portname — maybe-string: If passed to an instance port argument, which port?

Subtopics

Vl-lucidctx-p: Recognizer for vl-lucidctx structures.
Vl-lucidctx-fix: Fixing function for vl-lucidctx structures.
Vl-lucidctx-equiv: Basic equivalence relation for vl-lucidctx structures.
Make-vl-lucidctx: Basic constructor macro for vl-lucidctx structures.
Vl-lucidctx->portname: Get the portname field from a vl-lucidctx.
Change-vl-lucidctx: Modifying constructor for vl-lucidctx structures.
Vl-lucidctx->ss: Get the ss field from a vl-lucidctx.
Vl-lucidctx->modname: Get the modname field from a vl-lucidctx.
Vl-lucidctx->elem: Get the elem field from a vl-lucidctx.