		Search-engine friendly clone of the ACL2 documentation.

Elf-section-header

Change-elf-section-header

Modifying constructor for elf-section-header structures.

Syntax

(change-elf-section-header x 
                           [:name-str <name-str>] 
                           [:name <name>] 
                           [:type <type>] 
                           [:flags <flags>] 
                           [:addr <addr>] 
                           [:offset <offset>] 
                           [:size <size>] 
                           [:link <link>] 
                           [:info <info>] 
                           [:addralign <addralign>] 
                           [:entsize <entsize>])

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

We construct a new elf-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-elf-section-header

(defmacro change-elf-section-header (x &rest args)
  (std::change-aggregate
       'elf-section-header
       x args
       '((:name-str . elf-section-header->name-str)
         (:name . elf-section-header->name)
         (:type . elf-section-header->type)
         (:flags . elf-section-header->flags)
         (:addr . elf-section-header->addr)
         (:offset . elf-section-header->offset)
         (:size . elf-section-header->size)
         (:link . elf-section-header->link)
         (:info . elf-section-header->info)
         (:addralign . elf-section-header->addralign)
         (:entsize . elf-section-header->entsize))
       'change-elf-section-header
       'nil))