averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Requestify default initializer context creation

Browse Source 
This commit adds a request that computes
the initializer context for a parameter with a
default expr or stored property default.

This avoids having to compute them for synthesized
decls and is a step towards requestifying default
argument parsing.
This commit is contained in:
Hamish Knight
2019-10-07 17:33:38 -07:00
parent 4d216c7052
commit 7ae3d1f8d3
8 changed files with 112 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
lib/AST/Decl.cpp
View File

@@ -6046,6 +6046,24 @@ AnyFunctionType::Param ParamDecl::toFunctionParam(Type type) const {
return AnyFunctionType::Param(type, label, flags);
}
Initializer *ParamDecl::getDefaultArgumentInitContextCached() const {
if (auto *defaultInfo = DefaultValueAndFlags.getPointer())
return defaultInfo->InitContext;
return nullptr;
}
Initializer *ParamDecl::getDefaultArgumentInitContext() const {
// If this param doesn't need a context, don't bother kicking off a request.
if (!getDefaultValue() && !getStoredProperty())
return nullptr;
auto &ctx = getASTContext();
auto *mutableThis = const_cast<ParamDecl *>(this);
return evaluateOrDefault(
ctx.evaluator, DefaultArgumentInitContextRequest{mutableThis}, nullptr);
}
void ParamDecl::setDefaultValue(Expr *E) {
if (!DefaultValueAndFlags.getPointer()) {
if (!E) return;
@@ -6093,8 +6111,13 @@ CustomAttr *ValueDecl::getAttachedFunctionBuilder() const {
}
void ParamDecl::setDefaultArgumentInitContext(Initializer *initContext) {
assert(DefaultValueAndFlags.getPointer());
DefaultValueAndFlags.getPointer()->InitContext = initContext;
auto *oldContext = getDefaultArgumentInitContextCached();
assert((!oldContext || oldContext == initContext) &&
"Cannot change init context after setting");
auto *defaultInfo = DefaultValueAndFlags.getPointer();
assert(defaultInfo);
defaultInfo->InitContext = initContext;
}
void ParamDecl::setDefaultArgumentCaptureInfo(CaptureInfo captures) {