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

renamed "hasDefiniteAssignmentAssertion" to "has_definite_assignment_assertion"

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-09-04 11:52:01 +02:00
parent 8ae48bbf8b
commit 3f3b4d65bd
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/ast/DeclarationFlags.java
View File

@@ -45,7 +45,7 @@ public class DeclarationFlags {
"has_private_keyword",
"has_protected_keyword",
"is_optional_member",
"hasDefiniteAssignmentAssertion",
"has_definite_assignment_assertion",
"has_declare_keyword");
public static boolean isComputed(int flags) {

5
javascript/ql/src/semmle/javascript/Aliases.qll
View File

@@ -200,3 +200,8 @@ deprecated predicate hasTypeKeyword(ASTNode id) { has_type_keyword(id) }
* Use `FieldDeclaration#isOptional()` instead.
*/
deprecated predicate isOptionalMember(Property id) { is_optional_member(id) }
/**
* Alias for the predicate `has_definite_assignment_assertion` defined in the .dbscheme.
* Use the `hasDefiniteAssignmentAssertion` method on the `FieldDeclaration`/`VariableDeclarator` classes instead.
*/
deprecated predicate hasDefiniteAssignmentAssertion(ASTNode id) { has_definite_assignment_assertion(id) }

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

@@ -1046,7 +1046,7 @@ class FieldDeclaration extends MemberDeclaration, @field {
predicate isOptional() { is_optional_member(this) }
/** Holds if this is a TypeScript field marked as definitely assigned with the `!` operator. */
predicate hasDefiniteAssignmentAssertion() { hasDefiniteAssignmentAssertion(this) }
predicate hasDefiniteAssignmentAssertion() { has_definite_assignment_assertion(this) }
}
/**

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

@@ -645,7 +645,7 @@ class VariableDeclarator extends Expr, @vardeclarator {
}
/** Holds if this is a TypeScript variable marked as definitely assigned with the `!` operator. */
predicate hasDefiniteAssignmentAssertion() { hasDefiniteAssignmentAssertion(this) }
predicate hasDefiniteAssignmentAssertion() { has_definite_assignment_assertion(this) }
/** Gets the declaration statement this declarator belongs to, if any. */
DeclStmt getDeclStmt() { this = result.getADecl() }

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

@@ -526,7 +526,7 @@ has_protected_keyword (int id: @property ref);
has_readonly_keyword (int id: @property ref);
has_type_keyword (int id: @import_or_export_declaration ref);
is_optional_member (int id: @property ref);
hasDefiniteAssignmentAssertion (int id: @field_or_vardeclarator ref);
has_definite_assignment_assertion (int id: @field_or_vardeclarator ref);
isOptionalParameterDeclaration (unique int parameter: @pattern ref);
#keyset[constructor, param_index]

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

@@ -8018,7 +8018,7 @@
<dependencies/>
</relation>
<relation>
<name>hasDefiniteAssignmentAssertion</name>
<name>has_definite_assignment_assertion</name>
<cardinality>100</cardinality>
<columnsizes>
<e>

2
javascript/upgrades/c73fbfca57f3d593b9ff50c6aa3a886d6888efec/upgrade.properties
View File

@@ -54,3 +54,5 @@ has_type_keyword.rel: reorder hasTypeKeyword.rel(int id) id
hasTypeKeyword.rel: delete
is_optional_member.rel: reorder isOptionalMember.rel(int id) id
isOptionalMember.rel: delete
has_definite_assignment_assertion.rel: reorder hasDefiniteAssignmentAssertion.rel(int id) id
hasDefiniteAssignmentAssertion.rel: delete