Do Not Write JSON for Error Files (#15)

Excludes writing the JSON for files that failed to parse.
joernio · Dec 5, 2023 · 9fe1443 · 9fe1443
1 parent 059f8c8
commit 9fe1443
Showing 1 changed file with 18 additions and 19 deletions.
diff --git a/DotNetAstGen/Program.cs b/DotNetAstGen/Program.cs
@@ -122,28 +122,27 @@ private static void _AstForFile(
                 else
                 {
                     _logger?.LogInformation("Successfully parsed: {filePath}", fullPath);
-                }
-
-                var astGenResult = new AstGenWrapper(fullPath, tree);
-                var jsonString = JsonConvert.SerializeObject(astGenResult, Formatting.Indented,
-                    new JsonSerializerSettings
+                    var astGenResult = new AstGenWrapper(fullPath, tree);
+                    var jsonString = JsonConvert.SerializeObject(astGenResult, Formatting.Indented,
+                        new JsonSerializerSettings
+                        {
+                            ReferenceLoopHandling = ReferenceLoopHandling.Ignore,
+                            ContractResolver =
+                                new SyntaxNodePropertiesResolver() // Comment this to see the unfiltered parser output
+                        });
+                    var outputName = Path.Combine(filePath.DirectoryName ?? "./",
+                            $"{Path.GetFileNameWithoutExtension(fullPath)}.json")
+                        .Replace(rootInputPath.FullName, rootOutputPath.FullName);
+
+                    // Create dirs if they do not exist
+                    var outputParentDir = Path.GetDirectoryName(outputName);
+                    if (outputParentDir != null)
                     {
-                        ReferenceLoopHandling = ReferenceLoopHandling.Ignore,
-                        ContractResolver =
-                            new SyntaxNodePropertiesResolver() // Comment this to see the unfiltered parser output
-                    });
-                var outputName = Path.Combine(filePath.DirectoryName ?? "./",
-                        $"{Path.GetFileNameWithoutExtension(fullPath)}.json")
-                    .Replace(rootInputPath.FullName, rootOutputPath.FullName);
+                        Directory.CreateDirectory(outputParentDir);
+                    }
 
-                // Create dirs if they do not exist
-                var outputParentDir = Path.GetDirectoryName(outputName);
-                if (outputParentDir != null)
-                {
-                    Directory.CreateDirectory(outputParentDir);
+                    File.WriteAllText(outputName, jsonString);
                 }
-
-                File.WriteAllText(outputName, jsonString);
             }
             catch (Exception e)
             {