Skip to content

Commit ca31984

Browse files
committed
Swift: Autogenerate files.
1 parent 273053c commit ca31984

File tree

6 files changed

+35
-0
lines changed

6 files changed

+35
-0
lines changed

swift/ql/lib/codeql/swift/generated/Callable.qll

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,17 @@ class CallableBase extends Synth::TCallable, Element {
1919

2020
final int getNumberOfParams() { result = count(getAParam()) }
2121

22+
ParamDecl getImmediateSelfParam() {
23+
result =
24+
Synth::convertParamDeclFromRaw(Synth::convertCallableToRaw(this)
25+
.(Raw::Callable)
26+
.getSelfParam())
27+
}
28+
29+
final ParamDecl getSelfParam() { result = getImmediateSelfParam().resolve() }
30+
31+
final predicate hasSelfParam() { exists(getSelfParam()) }
32+
2233
BraceStmt getImmediateBody() {
2334
result =
2435
Synth::convertBraceStmtFromRaw(Synth::convertCallableToRaw(this).(Raw::Callable).getBody())

swift/ql/lib/codeql/swift/generated/GetImmediateParent.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,8 @@ Element getAnImmediateChild(Element e) {
1515
or
1616
result = e.(Callable).getImmediateParam(_)
1717
or
18+
result = e.(Callable).getImmediateSelfParam()
19+
or
1820
result = e.(Callable).getImmediateBody()
1921
or
2022
result = e.(AbstractStorageDecl).getImmediateAccessorDecl(_)

swift/ql/lib/codeql/swift/generated/Raw.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,8 @@ module Raw {
88
class Callable extends @callable, Element {
99
ParamDecl getParam(int index) { callable_params(this, index, result) }
1010

11+
ParamDecl getSelfParam() { callable_self_params(this, result) }
12+
1113
BraceStmt getBody() { callable_bodies(this, result) }
1214
}
1315

swift/ql/lib/swift.dbscheme

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -173,6 +173,12 @@ callable_params(
173173
int param: @param_decl ref
174174
);
175175

176+
#keyset[id]
177+
callable_self_params(
178+
int id: @callable ref,
179+
int self_param: @param_decl ref
180+
);
181+
176182
#keyset[id]
177183
callable_bodies(
178184
int id: @callable ref,
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// generated by codegen/codegen.py
2+
import codeql.swift.elements
3+
import TestUtils
4+
5+
from AccessorDecl x
6+
where toBeTested(x) and not x.isUnknown()
7+
select x, x.getSelfParam()
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
// generated by codegen/codegen.py
2+
import codeql.swift.elements
3+
import TestUtils
4+
5+
from ConcreteFuncDecl x
6+
where toBeTested(x) and not x.isUnknown()
7+
select x, x.getSelfParam()

0 commit comments

Comments
 (0)