Skip to content

Commit 5a214af

Browse files
authored
QL: Use more precise type for getParameter
1 parent 81e4110 commit 5a214af

File tree

5 files changed

+5
-7
lines changed

5 files changed

+5
-7
lines changed

ql/Cargo.lock

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

ql/extractor/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ edition = "2018"
1010
flate2 = "1.0"
1111
node-types = { path = "../node-types" }
1212
tree-sitter = "0.19"
13-
tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "91cdab850c2b6d97d1211da0423adb53c67fef3e" }
13+
tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "67f75344593b90c40201c6f895207fe9ddb4442b" }
1414
clap = "2.33"
1515
tracing = "0.1"
1616
tracing-subscriber = { version = "0.3.3", features = ["env-filter"] }

ql/generator/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,4 +11,4 @@ clap = "2.33"
1111
node-types = { path = "../node-types" }
1212
tracing = "0.1"
1313
tracing-subscriber = { version = "0.3.3", features = ["env-filter"] }
14-
tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "91cdab850c2b6d97d1211da0423adb53c67fef3e" }
14+
tree-sitter-ql = { git = "https://github.com/tausbn/tree-sitter-ql.git", rev = "67f75344593b90c40201c6f895207fe9ddb4442b" }

ql/ql/src/codeql_ql/ast/internal/TreeSitter.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -951,7 +951,7 @@ module QL {
951951
final ModuleName getName() { ql_module_def(this, result) }
952952

953953
/** Gets the node corresponding to the field `parameter`. */
954-
final AstNode getParameter(int i) { ql_module_parameter(this, i, result) }
954+
final ModuleParam getParameter(int i) { ql_module_parameter(this, i, result) }
955955

956956
/** Gets the `i`th child of this node. */
957957
final AstNode getChild(int i) { ql_module_child(this, i, result) }

ql/ql/src/ql.dbscheme

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -610,13 +610,11 @@ ql_module_implements(
610610
unique int implements: @ql_module_implements_type ref
611611
);
612612

613-
@ql_module_parameter_type = @ql_module_param | @ql_reserved_word
614-
615613
#keyset[ql_module, index]
616614
ql_module_parameter(
617615
int ql_module: @ql_module ref,
618616
int index: int ref,
619-
unique int parameter: @ql_module_parameter_type ref
617+
unique int parameter: @ql_module_param ref
620618
);
621619

622620
@ql_module_child_type = @ql_module_alias_body | @ql_module_member

0 commit comments

Comments
 (0)