		Search-engine friendly clone of the ACL2 documentation.

Mach-o-section-header

Change-mach-o-section-header

Modifying constructor for mach-o-section-header structures.

Syntax

(change-mach-o-section-header x 
                              [:sectname <sectname>] 
                              [:segname <segname>] 
                              [:addr <addr>] 
                              [:size <size>] 
                              [:offset <offset>] 
                              [:align <align>] 
                              [:reloff <reloff>] 
                              [:nreloc <nreloc>] 
                              [:flags <flags>] 
                              [:reserved1 <reserved1>] 
                              [:reserved2 <reserved2>] 
                              [:reserved3 <reserved3>])

This is an often useful alternative to make-mach-o-section-header.

We construct a new mach-o-section-header structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defprod.

Macro: change-mach-o-section-header

(defmacro change-mach-o-section-header (x &rest args)
  (std::change-aggregate
       'mach-o-section-header
       x args
       '((:sectname . mach-o-section-header->sectname)
         (:segname . mach-o-section-header->segname)
         (:addr . mach-o-section-header->addr)
         (:size . mach-o-section-header->size)
         (:offset . mach-o-section-header->offset)
         (:align . mach-o-section-header->align)
         (:reloff . mach-o-section-header->reloff)
         (:nreloc . mach-o-section-header->nreloc)
         (:flags . mach-o-section-header->flags)
         (:reserved1 . mach-o-section-header->reserved1)
         (:reserved2 . mach-o-section-header->reserved2)
         (:reserved3 . mach-o-section-header->reserved3))
       'change-mach-o-section-header
       'nil))