Basic constructor macro for vl-propactual-event structures.
(make-vl-propactual-event [:name <name>] [:evatoms <evatoms>])
This is the usual way to construct vl-propactual-event structures. It simply conses together a structure with the specified fields.
This macro generates a new vl-propactual-event structure from scratch. See also change-vl-propactual-event, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-vl-propactual-event (&rest args) (std::make-aggregate 'vl-propactual-event args '((:name) (:evatoms)) 'make-vl-propactual-event nil))
Function:
(defun vl-propactual-event (name evatoms) (declare (xargs :guard (and (maybe-stringp name) (vl-evatomlist-p evatoms)))) (declare (xargs :guard t)) (let ((__function__ 'vl-propactual-event)) (declare (ignorable __function__)) (b* ((name (mbe :logic (maybe-string-fix name) :exec name)) (evatoms (mbe :logic (vl-evatomlist-fix evatoms) :exec evatoms))) (cons :event (list name evatoms)))))