Top

Abstract-syntax

Transunit

Fixtype of translation units [C:6.9] [C:A.2.4].

This is a product type introduced by fty::defprod.

Fields

decls — extdecl-list
info — ACL2::any-p

This corresponds to translation-unit in the grammar in [C].

A translation unit consists of a list of external declarations. We also add a slot with additional information, e.g. from validation.

Subtopics

Transunitp: Recognizer for transunit structures.
Transunit-fix: Fixing function for transunit structures.
Transunit-equiv: Basic equivalence relation for transunit structures.
Make-transunit: Basic constructor macro for transunit structures.
Transunit->decls: Get the decls field from a transunit.
Change-transunit: Modifying constructor for transunit structures.
Transunit->info: Get the info field from a transunit.