Top

Abstract-syntax

Attrib-name

Fixtype of attribute names.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:ident → attrib-name-ident
:keyword → attrib-name-keyword

Attributes are a GCC extension. An attribute name is an identifier or a keyword: see the ABNF grammar. We use an ACL2 string to represent a keyword.

Subtopics

Attrib-name-fix: Fixing function for attrib-name structures.
Attrib-name-case: Case macro for the different kinds of attrib-name structures.
Attrib-name-equiv: Basic equivalence relation for attrib-name structures.
Attrib-namep: Recognizer for attrib-name structures.
Attrib-name-keyword
Attrib-name-ident
Attrib-name-kind: Get the kind (tag) of a attrib-name structure.