hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

renamed "uniquesymboltype" to "unique_symbol_type"

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:55:06 +02:00
parent a1daf0a428
commit 174afbc0df
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/src/semmle/javascript/TypeScript.qll
View File

@@ -2149,7 +2149,7 @@ class PlainSymbolType extends SymbolType, @plain_symbol_type { }
/**
* A `unique symbol` type.
*/
class UniqueSymbolType extends SymbolType, @uniquesymboltype {
class UniqueSymbolType extends SymbolType, @unique_symbol_type {
/**
* Gets the canonical name of the variable exposing the symbol.
*/

6
javascript/ql/src/semmlecode.javascript.dbscheme
View File

@@ -627,7 +627,7 @@ case @type.kind of
| 12 = @null_type
| 13 = @never_type
| 14 = @plain_symbol_type
| 15 = @uniquesymboltype
| 15 = @unique_symbol_type
| 16 = @objectkeywordtype
| 17 = @intersectiontype
| 18 = @tupletype
@@ -641,7 +641,7 @@ case @type.kind of
;
@booleanliteraltype = @true_type | @false_type;
@symbol_type = @plain_symbol_type | @uniquesymboltype;
@symbol_type = @plain_symbol_type | @unique_symbol_type;
@union_or_intersection_type = @union_type | @intersectiontype;
@typevariable_type = @canonical_type_variable_type | @lexicaltypevariabletype;
@@ -694,7 +694,7 @@ case @symbol.kind of
| 2 = @other_symbol
;
@type_with_symbol = @type_reference | @typevariable_type | @typeof_type | @uniquesymboltype;
@type_with_symbol = @type_reference | @typevariable_type | @typeof_type | @unique_symbol_type;
@ast_node_with_symbol = @typedefinition | @namespacedefinition | @toplevel | @typeaccess | @namespace_access | @var_decl | @function | @invokeexpr | @import_declaration | @external_module_reference;
ast_node_symbol(

2
javascript/ql/src/semmlecode.javascript.dbscheme.stats
View File

@@ -1006,7 +1006,7 @@
<v>100</v>
</e>
<e>
<k>@uniquesymboltype</k>
<k>@unique_symbol_type</k>
<v>100</v>
</e>
<e>