		Search-engine friendly clone of the ACL2 documentation.

Wrap-fn

Wrap-fn-implementation

Implementation of wrap-fn.

Subtopics

Initdeclor-list-wrap-fn-add-wrapper-def: Check if a initializer declarator matches the target, and create the function wrapper if so.
Declor-wrap-fn-add-wrapper-def: Check if a declarator matches the target, and create the function wrapper if so.
Fundef-wrap-fn-add-wrapper-def: Check if a function definition matches the target, and create the function wrapper if so.
Extdecl-wrap-fn-add-wrapper-def: Check if an external declaration matches the target, and create the function wrapper if so.
Decl-wrap-fn-add-wrapper-def: Check if a declaration matches the target, and create the function wrapper if so.
Extdecl-list-wrap-fn: Transform an external declaration list.
Wrap-fn-process-param-declon-list-loop
Filepath-transunit-map-wrap-fn: Transform an omap of file paths to translation units.
Wrap-fn-process-param-declon-list: Check that the parameter list is supported and add parameter names as necessary.
Transunit-wrap-fn: Transform a translation unit.
Transunit-ensemble-wrap-fn: Transform a translation unit ensemble.
Code-ensemble-wrap-fn: Transform a code ensemble.
Code-ensemble-wrap-fn-multiple: Transform a code ensemble.
Declor-wrap-fn-make-wrapper: Make the wrapper function declarator if the parameter list is supported.
Dirdeclor-wrap-fn-make-wrapper: Make the wrapper function direct declarator if the parameter list is supported.
Wrap-fn-input-processing: Input processing performed by wrap-fn.
Wrap-fn-event-generation: Event generation performed by wrap-fn.