chc.cmdline.jsonresultutil module

chc.cmdline.jsonresultutil.csource_to_json_result(csrc: CSrcFile) → chc.jsoninterface.JSONResult.JSONResult[source]

chc.cmdline.jsonresultutil.file_proofobligations_to_json_result(cfile: CFile) → chc.jsoninterface.JSONResult.JSONResult[source]

chc.cmdline.jsonresultutil.fn_proofobligations_to_json_result(fn: CFunction) → chc.jsoninterface.JSONResult.JSONResult[source]

chc.cmdline.jsonresultutil.jsondate() → Tuple[str, str][source]

chc.cmdline.jsonresultutil.jsonfail(msg: Optional[str]) → Dict[str, Any][source]

chc.cmdline.jsonresultutil.jsonfiledata(cfile: CFile) → Dict[str, str][source]

chc.cmdline.jsonresultutil.jsonfunctiondata(cfunction: CFunction) → Dict[str, str][source]

chc.cmdline.jsonresultutil.jsonok(schemaname: str, content: Dict[str, Any]) → Dict[str, Any][source]

chc.cmdline.jsonresultutil.ppo_to_json_result(po: CFunctionPO) → chc.jsoninterface.JSONResult.JSONResult[source]