[ASTScope] Introduce isa/cast/dyn_cast support to ASTScope hierarchy #70272
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
The ASTScope class hierarchy rooted at ASTScopeImpl is relying entirely on overridden virtual functions and, in some cases, string comparisons on the class name, to provide customization for the various classes. Introduce proper LLVM dynamic casting support to this class hierarchy, eliminating the string comparisons and the manually-specified implementations of `getClassName` (which is now used only for printing). We've been meaning to do this for years, but today I got angry enough.
Replace a number of virtual query functions like `getDeclIfAny`, which had to be overridden at various points in the hierarchy, with simpler implementations based on the scope kind and `dyn_cast`. Macro-metaprogram whether each scope node is associated with a particular declaration/statement/expression/attribute so these implementations can be efficiently macro-metaprogrammed.
DougGregor
requested review from
hborla,
slavapestov and
xedin
as code owners
|
@swift-ci please smoke test |
The subclasses of `GenericTypeOrExtensionScope` are customized by a `Portion` mix-in class that effectively makes each into several different scope nodes: one for the "whole decl", one for the where clause, one for the body. Re-introduce the customized `getClassName()` operation so we get the nicer debugging dumps.
The implementation of "lookup the catch node" is scattered throughout various `ASTScopeImpl` subclasses. Remove that, and instead centralize the code to find the innermost catch scope.
... it's just a `dyn_cast` now.
|
@swift-ci please smoke test |
We only used this in one place, and then immediately filtered down to a `CustomAttr`. Just use `dyn_cast` in the obvious way and remove this function.
|
@swift-ci please smoke test |
|
@swift-ci please smoke test macOS |
1 similar comment
|
@swift-ci please smoke test macOS |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The ASTScope class hierarchy rooted at ASTScopeImpl is relying entirely
on overridden virtual functions and, in some cases, string comparisons
on the class name, to provide customization for the various classes.
Introduce proper LLVM dynamic casting support to this class hierarchy,
eliminating the string comparisons and the manually-specified
implementations of
getClassName(which is now used only for printing).Replace a number of virtual query functions like
getDeclIfAny, which hadto be overridden at various points in the hierarchy, with simpler
implementations based on the scope kind and
dyn_cast.Macro-metaprogram whether each scope node is associated with a
particular declaration/statement/expression/attribute so these
implementations can be efficiently macro-metaprogrammed.
We've been meaning to do this for years, but today I got angry enough.