Print the JSON encoding of a vl-module-p to ps.
(vl-jp-module x &key (ps 'ps)) → ps
Function:
(defun vl-jp-module-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-module-p x))) (let ((__function__ 'vl-jp-module)) (declare (ignorable __function__)) (vl-ps-seq (vl-print "{\"tag\": ") (jp-sym ':vl-module) (vl-print ", ") (vl-print-str "\"name\": ") (jp-str (vl-module->name x)) (vl-println? ", ") (vl-print-str "\"minloc\": ") (vl-jp-location (vl-module->minloc x)) (vl-println? ", ") (vl-print-str "\"maxloc\": ") (vl-jp-location (vl-module->maxloc x)) (vl-println? ", ") (vl-print-str "\"origname\": ") (jp-str (vl-module->origname x)) (vl-println? ", ") (vl-print-str "\"ports\": ") (vl-jp-portlist (vl-module->ports x)) (vl-println? ", ") (vl-print-str "\"portdecls\": ") (vl-jp-portdecllist (vl-module->portdecls x)) (vl-println? ", ") (vl-print-str "\"vardecls\": ") (vl-jp-vardecllist (vl-module->vardecls x)) (vl-println? ", ") (vl-print-str "\"modinsts\": ") (vl-jp-modinstlist (vl-module->modinsts x)) (vl-println? ", ") (vl-print-str "\"assigns\": ") (vl-jp-assignlist (vl-module->assigns x)) (vl-println? ", ") (vl-print-str "\"gateinsts\": ") (vl-jp-gateinstlist (vl-module->gateinsts x)) (vl-println? ", ") (vl-print-str "\"paramdecls\": ") (vl-jp-paramdecllist (vl-module->paramdecls x)) (vl-println? ", ") (vl-print-str "\"imports\": ") (vl-jp-importlist (vl-module->imports x)) (vl-println? ", ") (vl-print-str "\"atts\": ") (vl-jp-atts (vl-module->atts x)) (vl-println? ", ") (vl-print-str "\"warnings\": ") (vl-jp-warninglist (vl-module->warnings x)) (vl-println? ", ") (vl-print-str "\"comments\": ") (vl-jp-commentmap (vl-module->comments x)) (vl-println? ", ") (vl-print-str "\"timeunit\": ") (vl-jp-maybe-timeunitdecl (vl-module->timeunit x)) (vl-println? ", ") (vl-print-str "\"timeprecision\": ") (vl-jp-maybe-timeprecisiondecl (vl-module->timeprecision x)) (vl-println? ", ") (vl-print-str "\"alwayses\": ") (vl-jp-alwayslist (vl-module->alwayses x)) (vl-println? ", ") (vl-print-str "\"genvars\": ") (vl-jp-genvarlist (vl-module->genvars x)) (vl-println? ", ") (vl-print-str "\"generates\": ") (vl-jp-genelementlist (vl-module->generates x)) (vl-println? ", ") (vl-print-str "\"fundecls\": ") (vl-jp-fundecllist (vl-module->fundecls x)) (vl-println? ", ") (vl-print-str "\"taskdecls\": ") (vl-jp-taskdecllist (vl-module->taskdecls x)) (vl-println? ", ") (vl-print-str "\"typedefs\": ") (vl-jp-typedeflist (vl-module->typedefs x)) (vl-println? ", ") (vl-print-str "\"initials\": ") (vl-jp-initiallist (vl-module->initials x)) (vl-println? ", ") (vl-print-str "\"finals\": ") (vl-jp-finallist (vl-module->finals x)) (vl-println? ", ") (vl-print-str "\"aliases\": ") (vl-jp-aliaslist (vl-module->aliases x)) (vl-println? ", ") (vl-print-str "\"assertions\": ") (vl-jp-assertionlist (vl-module->assertions x)) (vl-println? ", ") (vl-print-str "\"cassertions\": ") (vl-jp-cassertionlist (vl-module->cassertions x)) (vl-println? ", ") (vl-print-str "\"properties\": ") (vl-jp-propertylist (vl-module->properties x)) (vl-println? ", ") (vl-print-str "\"sequences\": ") (vl-jp-sequencelist (vl-module->sequences x)) (vl-println? ", ") (vl-print-str "\"clkdecls\": ") (vl-jp-clkdecllist (vl-module->clkdecls x)) (vl-println? ", ") (vl-print-str "\"gclkdecls\": ") (vl-jp-gclkdecllist (vl-module->gclkdecls x)) (vl-println? ", ") (vl-print-str "\"defaultdisables\": ") (vl-jp-defaultdisablelist (vl-module->defaultdisables x)) (vl-println? ", ") (vl-print-str "\"dpiimports\": ") (vl-jp-dpiimportlist (vl-module->dpiimports x)) (vl-println? ", ") (vl-print-str "\"dpiexports\": ") (vl-jp-dpiexportlist (vl-module->dpiexports x)) (vl-println? ", ") (vl-print-str "\"binds\": ") (vl-jp-bindlist (vl-module->binds x)) (vl-println? ", ") (vl-print-str "\"classes\": ") (vl-jp-classlist (vl-module->classes x)) (vl-println? ", ") (vl-print-str "\"covergroups\": ") (vl-jp-covergrouplist (vl-module->covergroups x)) (vl-println? ", ") (vl-print-str "\"elabtasks\": ") (vl-jp-elabtasklist (vl-module->elabtasks x)) (vl-println? ", ") (vl-print-str "\"parse-temps\": ") (vl-jp-maybe-parse-temps (vl-module->parse-temps x)) (vl-println? "}"))))