record-code-vectors

Arguments: (file &key verbose) &body body

record-code-vectors combines the use of flush-codevectors and write-codevectors in a way that makes easy the recording of heap-allocated code vectors used during the evaluation of body to the file given by the file argument. Essentially, this macro calls flush-codevectors with nil as its argument, then executes body, then calls write-codevectors.

A filename must be supplied as the value of the file argument. The value of file specifies a filename to which code vectors are written by write-codevectors. (flush-codevectors is called with nil as its argument so the initial flushing of code vectors is to an anonymous file.)

If the verbose argument is specified true, information about the process is printed.

The file written by this macro can be used with the program cvdcvt to create pll files. See Creating and using pll files in miscellaneous.htm for information on pll files.

Copyright (c) 1998-2022, Franz Inc. Lafayette, CA., USA. All rights reserved.
This page was not revised from the 10.0 page.
Created 2019.8.20.