		Search-engine friendly clone of the ACL2 documentation.

Dirabsdeclor

Fixtype of direct abstract declarators [C17:6.7.7] [C17:A.2.2].

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

Member Tags → Types

:dummy-base → dirabsdeclor-dummy-base
:paren → dirabsdeclor-paren
:array → dirabsdeclor-array
:array-static1 → dirabsdeclor-array-static1
:array-static2 → dirabsdeclor-array-static2
:array-star → dirabsdeclor-array-star
:function → dirabsdeclor-function

This corresponds to direct-abstract-declarator in the grammar in [C17]. This fixtype is similar to dirdeclor, with the differences that the nested direct abstract declarators are optional, the ...[*] form has no type qualifiers just before the *, and there is just the parameter form for functions. Furthermore, as explained in exprs/decls/stmts, there is a dummy base case.

Subtopics

Dirabsdeclor-case: Case macro for the different kinds of dirabsdeclor structures.
Dirabsdeclorp: Recognizer for dirabsdeclor structures.
Dirabsdeclor-equiv: Basic equivalence relation for dirabsdeclor structures.
Dirabsdeclor-array-static2
Dirabsdeclor-array-static1
Dirabsdeclor-array
Dirabsdeclor-function
Dirabsdeclor-paren
Dirabsdeclor-array-star
Dirabsdeclor-kind: Get the kind (tag) of a dirabsdeclor structure.
Dirabsdeclor-dummy-base
Dirabsdeclor-fix: Fixing function for dirabsdeclor structures.
Dirabsdeclor-count: Measure for recurring over dirabsdeclor structures.