Nora Dimitrijević
90ad36ed6c
Swift: update extractor
2023-04-26 15:47:19 +02:00
Alex Denisov
125aab8107
Swift: rework fetching and dispatching
...
* visiting now happens in a later stage than fetching labels. While
fetching a list of entities to be visited is created, and then acted
upon in actual extraction. This partially flattens the recursive
nature of `fetchLabel` into a loop inside `SwiftVisitor::extract`.
Recursion in `fetchLabel` will only happen on labels fetched while
naming an entity (calling into `SwiftMangler`).
* The choice whether to name a declaration or type has been moved from
the translators to `SwiftMangler`. Acting on this choice is contained
in `SwiftDispatcher::createLabel`.
* The choice whether to emit a body of a declaration has been moved from
`DeclTranslator` to the dispatcher. This choice is also contained in
`SwiftDispatcher::createLabel`.
* The simple functionality of the `LabelStore` has been moved to the
`SwiftDispatcher` as well.
2023-04-25 11:15:27 +02:00
Paolo Tranquilli
61bb6c912a
Swift: replace or remove assertions in translators
...
Assertions before fetching a non optional label are not needed as
the dispatcher will replace those with unspecified elements (and
properly log those instances).
2023-04-18 12:16:22 +02: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
Geoffrey White
d8703210dd
Swift: Extract type aliases.
2023-03-29 15:49:12 +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
Alex Denisov
7f3e7224df
Swift: introduce type mangling
2023-03-03 16:28:41 +01:00
Alex Denisov
60c1505097
Swift: address review comments
2023-03-03 10:26:44 +01:00
Alex Denisov
ffcb382705
Swift: only consider Builting and __ObjC declarations as lazy
2023-03-02 20:00:23 +01:00
Alex Denisov
ded0e570b0
Swift: extract lazy declarations
2023-03-01 15:22:22 +01:00
Alex Denisov
97d5401118
Swift: extract mangler into a separate class
2023-02-28 15:29:44 +01:00
Alex Denisov
712c25e6f4
Swift: extract availability info
2023-02-07 14:26:39 +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
a3b4c32f07
Swift: stamp all named declarations with an id-ref to the containing module
2023-01-18 10:07:46 +01:00
Paolo Tranquilli
d6e0ef9ff9
Swift: extract ExtensionDecl protocols
2023-01-17 12:56:09 +01:00
Paolo Tranquilli
de2e92d5e1
Swift: remove / delimiters from regex extracted patterns
2022-12-14 09:18:36 +01:00
Paolo Tranquilli
fb5b6eab19
Swift: extract RegexLiteralExpr
2022-12-14 09:12:07 +01:00
Paolo Tranquilli
1b6a50147a
Merge branch 'main' into redsun82/swift-type-mapping
...
Conflict resolved on addition of `AbiSafeConversionExpr`
2022-12-02 09:02:47 +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
edddaaa838
Swift: make mapping from swift types to tags explicit
...
This should decouple schema names from swift names, allowing to
rename schema names regardless of internal swift compiler names.
2022-11-25 13:10:33 +01:00
Paolo Tranquilli
3816361c15
Merge branch 'main' into redsun82/swift-types
2022-11-11 13:54:12 +01:00
Paolo Tranquilli
41977d1dbb
Swift: implement extraction of new properties
2022-11-11 12:49:48 +01:00
Paolo Tranquilli
88dc65cb3c
Swift: extract or ignore last remaining types
2022-11-10 17:38:32 +01:00
Paolo Tranquilli
458fb3a4a2
Swift: fix printing of unextracted entities
...
This was still printing explicitly ignored classes.
2022-11-10 16:49:32 +01:00
Paolo Tranquilli
5b9e89acd3
Swift: implement ignoring of removed classes
2022-11-10 15:26:55 +01:00
Paolo Tranquilli
edfecddca1
Swift: extract AppliedPropertyWrapperExpr
2022-11-10 12:55:28 +01:00
Paolo Tranquilli
28c9d6b6b5
Swift: extract PropertyWrapperValuePlaceholderExpr
2022-11-10 11:28:05 +01:00
Paolo Tranquilli
0ccf81e67c
Swift: extract UnresolvedSpecializeExpr
2022-11-09 16:42:22 +01:00
Paolo Tranquilli
1a062823ee
Swift: extract DynamicLookupExpr
2022-11-09 16:31:59 +01:00
Paolo Tranquilli
e2bdef2fba
Swift: extract DynamicMemberRefExpr
2022-11-09 16:22:22 +01:00
Paolo Tranquilli
4770ad3177
Swift: extract OverloadedDeclRefExpr
2022-11-09 16:06:23 +01:00
Paolo Tranquilli
5f8e7e67b4
Swift: extract ObjectLiteralExpr
2022-11-09 15:51:08 +01:00
Paolo Tranquilli
9d4a208c0d
Swift: extract MissingMemberDecl
2022-11-09 12:04:42 +01:00
Paolo Tranquilli
235181fb21
Swift: share translateDiagnosticsKind with SwiftDiagnosticsConsumer
2022-11-09 12:00:43 +01:00
Paolo Tranquilli
73ad1307ae
Swift: extract PoundDiagnosticDecl
2022-11-09 11:13:55 +01:00
Paolo Tranquilli
b399d8df7e
Swift: extract opaque types and their decls
2022-11-09 09:27:25 +01:00
Paolo Tranquilli
53b7584a90
Merge pull request #11169 from github/redsun82/swift-extract-last-stmts
...
Swift: extract remaining `Stmt`s
2022-11-08 20:51:10 +01:00
Paolo Tranquilli
9ee4f8b388
Swift: extract remaining Stmts
...
`FailStmt` are `return nil` in fallible initializers.
`PoundAssertStmt` are an experimental feature for compile time
assertions.
2022-11-08 17:38:17 +01:00
Paolo Tranquilli
00d3ff8a18
Swift: extract UnaryPostfixExpr
2022-11-08 17:10:33 +01:00
Paolo Tranquilli
b30a6d36b5
Swift: extract AwaitExpr
2022-11-07 12:08:51 +01:00
Paolo Tranquilli
3a8efb3db1
Swift: make visit arguments pointers again
2022-11-04 06:06:05 +01:00
Paolo Tranquilli
e0eb820ef9
Swift: fix extraction of BuiltinIntegerLiteralType
2022-11-03 18:16:54 +01:00
Paolo Tranquilli
a1d798b817
Swift: make visit arguments references instead of pointers
2022-11-03 18:16:53 +01:00
Paolo Tranquilli
cc9dafffde
Swift: encapsulate swift::ASTVisitor functionality
2022-11-03 18:16:53 +01:00
Paolo Tranquilli
7c9fffc201
Swift: rename all visitors to translators
2022-11-03 18:16:53 +01:00
