mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
renamed "isExterns" to "is_externs"
This commit is contained in:
@@ -136,7 +136,7 @@ public class JSExtractor {
|
||||
lexicalExtractor.extractLines(source, toplevelLabel);
|
||||
}
|
||||
|
||||
if (config.isExterns()) textualExtractor.getTrapwriter().addTuple("isExterns", toplevelLabel);
|
||||
if (config.isExterns()) textualExtractor.getTrapwriter().addTuple("is_externs", toplevelLabel);
|
||||
if (platform == Platform.NODE && sourceType == SourceType.COMMONJS_MODULE)
|
||||
textualExtractor.getTrapwriter().addTuple("isNodejs", toplevelLabel);
|
||||
|
||||
|
||||
@@ -951,6 +951,6 @@ successor(#20188,#20190)
|
||||
successor(#20283,#20188)
|
||||
successor(#20185,#20184)
|
||||
successor(#20272,#20185)
|
||||
isExterns(#20001)
|
||||
is_externs(#20001)
|
||||
numlines(#10000,17,10,1)
|
||||
filetype(#10000,"javascript")
|
||||
|
||||
@@ -221,7 +221,7 @@ class TopLevel extends @toplevel, StmtContainer {
|
||||
/** Holds if this toplevel is an externs definitions file. */
|
||||
predicate isExterns() {
|
||||
// either it was explicitly extracted as an externs file...
|
||||
isExterns(this)
|
||||
is_externs(this)
|
||||
or
|
||||
// ...or it has a comment with an `@externs` tag in it
|
||||
exists(JSDocTag externs |
|
||||
|
||||
@@ -67,3 +67,8 @@ class XorBitwiseExpr = XOrExpr;
|
||||
|
||||
// Aliases for deprecated predicates from the dbscheme
|
||||
|
||||
/**
|
||||
* Alias for the predicate `is_externs` defined in the .dbscheme.
|
||||
* Use `TopLevel#isExterns()` instead.
|
||||
*/
|
||||
deprecated predicate isExterns(TopLevel toplevel) { is_externs(toplevel) }
|
||||
|
||||
@@ -118,7 +118,7 @@ filetype(
|
||||
toplevels (unique int id: @toplevel,
|
||||
int kind: int ref);
|
||||
|
||||
isExterns (int toplevel: @toplevel ref);
|
||||
is_externs (int toplevel: @toplevel ref);
|
||||
|
||||
case @toplevel.kind of
|
||||
0 = @script
|
||||
|
||||
@@ -7897,7 +7897,7 @@
|
||||
</dependencies>
|
||||
</relation>
|
||||
<relation>
|
||||
<name>isExterns</name>
|
||||
<name>is_externs</name>
|
||||
<cardinality>44</cardinality>
|
||||
<columnsizes>
|
||||
<e>
|
||||
|
||||
@@ -1,2 +1,4 @@
|
||||
description: Rename multiple relation names.
|
||||
compatibility: backwards
|
||||
is_externs.rel: reorder isExterns.rel(int toplevel) toplevel
|
||||
isExterns.rel: delete
|
||||
|
||||
Reference in New Issue
Block a user