Print the JSON encoding of a vl-assign-p to ps.
(vl-jp-assign x &key (ps 'ps)) → ps
Function:
(defun vl-jp-assign-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-assign-p x))) (let ((__function__ 'vl-jp-assign)) (declare (ignorable __function__)) (vl-ps-seq (vl-print "{\"tag\": ") (jp-sym ':vl-assign) (vl-print ", ") (vl-print-str "\"lvalue\": ") (vl-jp-expr (vl-assign->lvalue x)) (vl-println? ", ") (vl-print-str "\"expr\": ") (vl-jp-expr (vl-assign->expr x)) (vl-println? ", ") (vl-print-str "\"loc\": ") (vl-jp-location (vl-assign->loc x)) (vl-println? ", ") (vl-print-str "\"atts\": ") (vl-jp-atts (vl-assign->atts x)) (vl-println? ", ") (vl-print-str "\"strength\": ") (vl-jp-maybe-gatestrength (vl-assign->strength x)) (vl-println? ", ") (vl-print-str "\"delay\": ") (vl-jp-maybe-gatedelay (vl-assign->delay x)) (vl-println? "}"))))