Nora Dimitrijević
a831456e94
Swift: make BraceStmt's variable a synth property
2023-06-06 16:54:47 +02:00
Nora Dimitrijević
387cde5972
Swift: add BraceStmt.getVariable(_) child with logic in QL.
2023-06-06 16:54:46 +02:00
Geoffrey White
edfdddb24a
Swift: Tweak and update the qldoc string.
2023-06-01 11:47:05 +01:00
Geoffrey White
d68f602124
Merge branch 'main' into sharedsensitive
2023-06-01 11:11:42 +01:00
Geoffrey White
caf250cc1b
Swift: Update the QLdoc on Callable.
2023-05-31 13:01:20 +01:00
Arthur Baars
490d22d123
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
2023-05-30 21:31:28 +02:00
Paolo Tranquilli
51f1a5dcc8
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
09ce29b79f
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-hidden-ast
2023-05-23 16:12:54 +02:00
Paolo Tranquilli
fce33d369b
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-hidden-ast
2023-05-23 15:31:29 +02:00
Paolo Tranquilli
aca85d76ee
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-remove-props-from-interpolated-strings
2023-05-23 14:42:00 +02:00
Paolo Tranquilli
b4edc92079
Swift: make hideability spread upward in the hierarchy
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
b19194bd06
Swift: make only Expr, Pattern and Type hideable
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
a087fef335
Swift: implement @ql.hideable
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
9a0f87434e
Swift: remove unneeded properties from InterpolatedStringLiteralExpr
...
These properties were unused in the QL library (hence the full
upgrade/downgrade compatibility).
2023-05-22 15:28:54 +02:00
Geoffrey White
881134a6f5
Swift: Add warning note to Decl.getMember.
2023-05-19 16:12:09 +01:00
Nora Dimitrijević
ce1c4b88d8
Swift: rename Function hierarchy in schema.py
2023-04-26 15:31:54 +02:00
Alexandre Boulgakov
64443dfdcf
Swift: Add named predicates for known KeyPathComponent kinds.
2023-04-12 12:06:14 +01:00
Alexandre Boulgakov
35a2d55d18
Swift: Extract structured keypath components.
...
Changes in swift/ql/lib are generated by swift/codegen without manual intervention.
2023-04-11 13:34:17 +01:00
Paolo Tranquilli
6f6d3f1262
Merge branch 'main' into redsun82/swift-imported-modules-as-set
2023-03-30 16:42:35 +02:00
Geoffrey White
d8703210dd
Swift: Extract type aliases.
2023-03-29 15:49:12 +01:00
Paolo Tranquilli
20128adee4
Swift: make imported and exported modules a set
2023-03-29 15:44:07 +02:00
Paolo Tranquilli
a131966066
Swift: make SuccessfullyExtractedFiles.ql more precise
...
This is done by adding a `isSuccessfullyExtracted` predicate that is
filled for primary files at the very end of the extractor invocation if
the frontend was performed successfully. If for example the extractor
crashes this will therefore not be filled.
The upgrade script is written so that `SuccessfullyExtractedFiles.ql`
on an upgraded script will give exactly the same results as before it.
2023-03-20 08:34:34 +01:00
Paolo Tranquilli
f2dff092dc
Swift: remove parameter labels from function types
...
As discussed [in this accepted proposal][1], parameter labels do not
take part any more in making up a function type, so we need to not
extract them any more to avoid DB inconsistencies.
These were unused in the library, which makes the upgrade and downgrade
scripts have full compatibility.
[1]: 9c53790a13/proposals/0111-remove-arg-label-type-significance.md
2023-03-17 10:22:02 +01:00
Paolo Tranquilli
54b6c6f8f7
Swift: make AnyGenericType::getDecl's type more specific
...
As shown by the extractor's code not needing any change, the DB values
already had that more specific type, which is why the upgrade/downgrade
scripts are actually no-ops.
2023-03-14 11:49:07 +01:00
Paolo Tranquilli
cdd4e8021b
Move swift/codegen to misc/codegen
2023-02-27 09:46:48 +01:00
Paolo Tranquilli
8e079320f3
Swift: some restructuring of codegen
...
Loading of the schema and dbscheme has been moved to a separate
`loaders` package for better separation of concerns.
2023-02-14 09:53:02 +01:00
Geoffrey White
124e4ddd4f
Merge pull request #12150 from geoffw0/cfg2
...
Swift: control flow for #available
2023-02-13 09:17:06 +00:00
Geoffrey White
11f022c69f
Swift: Add some more qldoc.
2023-02-10 15:02:05 +00:00
Paolo Tranquilli
1e279125dc
Swift: add documentation for generated documentation
2023-02-09 12:52:16 +01:00
Alex Denisov
712c25e6f4
Swift: extract availability info
2023-02-07 14:26:39 +01:00
Paolo Tranquilli
ad04a408c7
Swift: add doc to RegexLiteralExpression
2023-02-07 10:21:37 +01:00
Paolo Tranquilli
a244b825df
Merge branch 'main' into redsun82/swift-regex
2023-02-07 09:37:09 +01:00
Nora Dimitrijević
ce2e7f1d12
Swift: all Callables can have captures [hand-written]
2023-02-02 11:35:50 +01:00
Nora Dimitrijević
6895c113cf
Swift: extract closure captures (hand-written part)
2023-02-02 11:30:33 +01:00
Nora Dimitrijević
f96c18a6db
Swift: subsume IterableDeclContext into Decl [hand-written]
2023-01-28 00:44:48 +01:00
Paolo Tranquilli
e840b8f707
Swift: add and fix some schema.py documentation
2023-01-19 18:07:47 +01:00
Paolo Tranquilli
f6e26211f9
Swift: add protocols to ExtensionDecl schema
2023-01-17 12:54:50 +01:00
Nora Dimitrijević
4900e4030a
Swift: MethodLookupExpr.getMethodRef() [hand-written]
...
This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef().
This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.
2022-12-20 23:08:32 -05:00
Nora Dimitrijević
535daf39b7
Swift: move getName to Callable (hand-written)
...
Now that getStaticTarget returns a Callable.
2022-12-14 14:29:13 -05:00
Nora Dimitrijević
0c55561b8e
Swift: initial schema change (hand-written part)
2022-12-14 14:22:53 -05:00
Paolo Tranquilli
fb5b6eab19
Swift: extract RegexLiteralExpr
2022-12-14 09:12:07 +01:00
Alex Denisov
f618d53302
Swift: add new implicit conversion
2022-11-30 12:40:34 +01:00
Nora Dimitrijević
931173350f
Swift: extract missing cases of AccessorKind and AccessSemantics
...
This resolves the warnings that were showing up during extractor-pack
compilation.
2022-11-29 11:31:07 +01:00
Paolo Tranquilli
c2171c01e1
Swift: remove double newlines in schema
...
While PEP8 mandates those, they look bad in the schema file.
`autopep8` already ignores those, and they were single newlines at some
point until an overeager IDE has "fixed" them at some point without me
realizing.
Also, the pre-commit configuration was updated to take `schema.py` into
account.
2022-11-15 15:00:30 +01:00
Paolo Tranquilli
eb14348153
Merge branch 'main' into redsun82/swift-error-element
2022-11-11 14:36:02 +01:00
Paolo Tranquilli
d3ff4908e6
Merge branch 'main' into redsun82/swift-error-element
2022-11-11 14:05:47 +01:00
Paolo Tranquilli
3816361c15
Merge branch 'main' into redsun82/swift-types
2022-11-11 13:54:12 +01:00
Paolo Tranquilli
85233b3cbf
Swift: add new children to VarDecl
2022-11-11 12:34:40 +01:00
Paolo Tranquilli
88dc65cb3c
Swift: extract or ignore last remaining types
2022-11-10 17:38:32 +01:00
Paolo Tranquilli
c5bb32d6d2
Swift: create common ErrorElement superclass
2022-11-10 16:20:28 +01:00
