hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-31 16:16:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

JavaScript: Make name of hasLocation relation in location manager configurable.

Browse Source
This commit is contained in:
Max Schaefer
2019-07-24 11:29:01 +01:00
parent f70e7d774f
commit 2df41c43e2
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
javascript/extractor/src/com/semmle/js/extractor/LocationManager.java
View File

@@ -20,6 +20,7 @@ public class LocationManager {
private int startColumn;
private int startLine;
private final Set<String> locationDefaultEmitted = new LinkedHashSet<String>();
private String hasLocation = "hasLocation";
public LocationManager(File sourceFile, TrapWriter trapWriter, Label fileLabel) {
this.sourceFile = sourceFile;
@@ -58,6 +59,10 @@ public class LocationManager {
startColumn = column;
}
public void setHasLocationTable(String hasLocation) {
this.hasLocation = hasLocation;
}
/**
* Emit location information for an AST node. The node's location is translated from the parser's
* 0-based column numbering scheme into our 1-based scheme and then emitted as a snippet location.
@@ -91,7 +96,7 @@ public class LocationManager {
/** Emit an absolute location in the current file. No line or column adjustment is performed. */
public void emitFileLocation(Label lbl, int sl, int sc, int el, int ec) {
Label locLabel = emitLocationsDefault(sl, sc, el, ec);
trapWriter.addTuple("hasLocation", lbl, locLabel);
trapWriter.addTuple(hasLocation, lbl, locLabel);
}
/**