hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-07 19:50:22 +01:00
Code Issues Packages Projects Releases Wiki Activity

renamed "unicodePropertyEscapeValue" to "unicode_property_escapevalue"

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:52:13 +02:00
parent 3ed310fb7b
commit a57f93b41e
7 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/extractor/src/com/semmle/js/extractor/RegExpExtractor.java
View File

@@ -287,7 +287,7 @@ public class RegExpExtractor {
public void visit(UnicodePropertyEscape nd) {
Label lbl = extractTerm(nd, parent, idx);
trapwriter.addTuple("unicode_property_escapename", lbl, nd.getName());
if (nd.hasValue()) trapwriter.addTuple("unicodePropertyEscapeValue", lbl, nd.getValue());
if (nd.hasValue()) trapwriter.addTuple("unicode_property_escapevalue", lbl, nd.getValue());
}
@Override