Vl-idtoken-p
Tokens for ordinary identifiers.
(vl-idtoken-p x) is a defaggregate of the following fields.
- etext — The characters that gave rise to this token.
Invariant (and (vl-echarlist-p etext) (consp etext) (true-listp etext)).
- name — An ACL2 string with the name of this literal.
Invariant (stringp name).
Source link: vl-idtoken-p
Note that we distinguish between plain identifiers and system
identifiers, such as $display. We only generate a vl-idtoken for a
plain identifier.
Usually name matches up with etext, but note that from Section
3.7.1 of the Verilog-2005 standard that in escaped identifiers, the initial
backslash is not considered to be part of the identifier's name. So, if we
process a Verilog file which includes the identifiers \foo and foo,
the resulting tokens will have different etext but the same name.
BOZO double check that this is still how things work in SystemVerilog, give
updated references to the standard.
Subtopics
- Vl-idtoken
- Raw constructor for vl-idtoken-p structures.
- Make-vl-idtoken
- Constructor macro for vl-idtoken-p structures.
- Change-vl-idtoken
- A copying macro that lets you create new vl-idtoken-p structures, based on existing structures.
- Honsed-vl-idtoken
- Raw constructor for honsed vl-idtoken-p structures.
- Make-honsed-vl-idtoken
- Constructor macro for honsed vl-idtoken-p structures.
- Vl-idtoken->name
- Access the name field of a vl-idtoken-p structure.
- Vl-idtoken->etext
- Access the etext field of a vl-idtoken-p structure.
