		Search-engine friendly clone of the ACL2 documentation.

Vl-lucidocc

Vl-lucidocc-solo

A lone instance of an identifier.

This is a product type, introduced by deftagsum in support of vl-lucidocc.

Fields

ctx — vl-context1: The general context where the usage occurred. Knowing where the occurrence came from is useful when we need to report about multiply driven signals.
ss — vl-scopestack: Scopestack where this occurrence was found. Used in multidrive detection.

We use this to record occurrences of an identifier all by itself, e.g., in an assignment like assign ... = b + c[3:0], we would record a solo occurrence of b.

Subtopics

Vl-lucidocc-solo->ctx: Get the ctx field from a vl-lucidocc-solo.
Make-vl-lucidocc-solo: Basic constructor macro for vl-lucidocc-solo structures.
Vl-lucidocc-solo->ss: Get the ss field from a vl-lucidocc-solo.
Change-vl-lucidocc-solo: Modifying constructor for vl-lucidocc-solo structures.