Valid-struct-declon-list
Validate a list of structure declarators.
- Signature
(valid-struct-declon-list structdeclons previous table ienv)
→
(mv erp new-structdeclons return-types new-table)
- Arguments
- structdeclons — Guard (struct-declon-listp structdeclons).
- previous — Guard (ident-listp previous).
- table — Guard (valid-tablep table).
- ienv — Guard (ienvp ienv).
- Returns
- erp — Type (maybe-msgp erp).
- new-structdeclons — Type (struct-declon-listp new-structdeclons).
- return-types — Type (type-setp return-types).
- new-table — Type (valid-tablep new-table).
The previous input consists of
the names of the members that precede these structure declarations
(which declare more members)
in the structure or union specifier being validated.
This list is used to ensure uniqueness of member names.
