CMD: add cmd to show cil-based source code for project file

Author: sipma

chc/cmdline/c_project/cprojectutil.py

@@ -420,6 +420,55 @@ def is_included(path: Optional[str]) -> bool:
     exit(0)
 
 
+def cproject_cil_source(args: argparse.Namespace) -> NoReturn:
+    """Outputs a textual representation of the CIL AST."""
+
+    #arguments
+    tgtpath: str = args.tgtpath
+    projectname: str = args.projectname
+    filename: str = args.filename
+    loglevel: str = args.loglevel
+    logfilename: Optional[str] = args.logfilename
+    logfilemode: str = args.logfilemode
+
+    targetpath = os.path.abspath(tgtpath)
+    projectpath = targetpath
+    cfilename_c = os.path.basename(filename)
+    cfilename = cfilename_c[:-2]
+    cfilepath = os.path.dirname(filename)
+
+    set_logging(
+        loglevel,
+        targetpath,
+        logfilename=logfilename,
+        mode=logfilemode,
+        msg="Command cfile mk-headerfile was invoked")
+
+    if not UF.has_analysisresults_path(targetpath, projectname):
+        print_error(
+            f"No analysis results found for {projectname} in {targetpath}")
+        exit(1)
+
+    contractpath = os.path.join(targetpath, "chc_contracts")
+    capp = CApplication(
+        projectpath, projectname, targetpath, contractpath)
+
+    if capp.has_file(filename[:-2]):
+        cfile = capp.get_file(filename[:-2])
+    else:
+        print_error(f"File {filename} not found")
+        exit(1)
+
+    fcilsource = cfile.cil_source()
+
+    outputfilename = cfile.cfilename + ".cil.c"
+    with open(outputfilename, "w") as fp:
+        fp.write(fcilsource)
+    print("Cil source code written to " + outputfilename)
+
+    exit(0)
+
+
 def cproject_analyze_project(args: argparse.Namespace) -> NoReturn:
 
     # arguments

chc/cmdline/chkc

@@ -1527,6 +1527,29 @@ def parse() -> argparse.Namespace:
         help="file mode for log file: append (a, default), or write (w)")
     cprojectmkheader.set_defaults(func=P.cproject_mk_headerfile)
 
+    # --- cil-source
+    cprojectcilsource = cprojectparsers.add_parser("cil-source")
+    cprojectcilsource.add_argument(
+        "tgtpath", help="directory that contains the analysis results")
+    cprojectcilsource.add_argument(
+        "projectname", help="name of the project")
+    cprojectcilsource.add_argument(
+        "filename", help="filename with relative path wrt the project")
+    cprojectcilsource.add_argument(
+        "--loglevel", "-log",
+        choices=UL.LogLevel.options(),
+        default="NONE",
+        help="activate logging with given level (default to stderr)")
+    cprojectcilsource.add_argument(
+        "--logfilename",
+        help="name of file to write log messages")
+    cprojectcilsource.add_argument(
+        "--logfilemode",
+        choices=["a", "w"],
+        default="a",
+        help="file mode for log file: append (a, default), or write (w)")
+    cprojectcilsource.set_defaults(func=P.cproject_cil_source)
+
     # --- analyze
     cprojectanalyze = cprojectparsers.add_parser("analyze")
     cprojectanalyze.add_argument(