diff --git a/javascript/extractor/src/com/semmle/js/extractor/Main.java b/javascript/extractor/src/com/semmle/js/extractor/Main.java index b455a2c9e09..e5a4a7cad9f 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/Main.java +++ b/javascript/extractor/src/com/semmle/js/extractor/Main.java @@ -7,6 +7,7 @@ import java.nio.file.Paths; import java.util.ArrayList; import java.util.LinkedHashSet; import java.util.List; +import java.util.Map; import java.util.Set; import java.util.regex.Pattern; import java.util.stream.Collectors; @@ -179,6 +180,12 @@ public class Main { remainingTypescriptFiles.add(f); } } + for (Map.Entry entry : extractorState.getSnippets().entrySet()) { + if (!extractedFiles.contains(entry.getKey().toFile()) + && FileType.forFileExtension(entry.getKey().toFile()) == FileType.TYPESCRIPT) { + remainingTypescriptFiles.add(entry.getKey().toFile()); + } + } if (!remainingTypescriptFiles.isEmpty()) { tsParser.prepareFiles(remainingTypescriptFiles); for (File f : remainingTypescriptFiles) {