hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 20:58:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

remove com.semmle.util.data.Option from from extractor code interface II

Browse Source 
com.semmle.util.data.Option is going away. Switch the single
cross-repo call that mentions it to use the new Option-less overload
that was introduced in semmle-code PR 44626.
This commit is contained in:
Henning Makholm
2022-12-16 19:03:20 +01:00
parent 30451ee950
commit 3e85e9f7d9
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
javascript/extractor/src/com/semmle/js/extractor/HTMLExtractor.java
View File

@@ -13,7 +13,6 @@ import com.semmle.js.extractor.ExtractorConfig.ECMAVersion;
import com.semmle.js.extractor.ExtractorConfig.Platform;
import com.semmle.js.extractor.ExtractorConfig.SourceType;
import com.semmle.js.parser.ParseError;
import com.semmle.util.data.Option;
import com.semmle.util.data.Pair;
import com.semmle.util.data.StringUtil;
import com.semmle.util.io.WholeIO;
@@ -239,7 +238,7 @@ public class HTMLExtractor implements IExtractor {
extractor.setSourceMap(textualExtractor.getSourceMap());
}
List<Label> rootNodes = extractor.doit(Option.some(eltHandler));
List<Label> rootNodes = extractor.doit(eltHandler);
return Pair.make(rootNodes, locInfo);
}