mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
8117849d46
Instead of requiring that function body synthesizers will always call setBody(), which is annoyingly stateful, have function body synthesizers always return the synthesized brace statement along with a bit that indicates whether the body was already type-checked. This takes us a step closer to centralizing the mutation of the body of a function.
133 lines
4.4 KiB
C++
133 lines
4.4 KiB
C++
//===--- DerivedConformanceError.cpp - Derived Error ----------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file implements implicit derivation of the Error
|
|
// protocol.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "TypeChecker.h"
|
|
#include "DerivedConformances.h"
|
|
#include "swift/AST/Decl.h"
|
|
#include "swift/AST/Stmt.h"
|
|
#include "swift/AST/Expr.h"
|
|
#include "swift/AST/Module.h"
|
|
#include "swift/AST/Types.h"
|
|
#include "swift/AST/SwiftNameTranslation.h"
|
|
|
|
using namespace swift;
|
|
using namespace swift::objc_translation;
|
|
|
|
static std::pair<BraceStmt *, bool>
|
|
deriveBodyBridgedNSError_enum_nsErrorDomain(AbstractFunctionDecl *domainDecl,
|
|
void *) {
|
|
// enum SomeEnum {
|
|
// @derived
|
|
// static var _nsErrorDomain: String {
|
|
// return String(reflecting: self)
|
|
// }
|
|
// }
|
|
|
|
auto M = domainDecl->getParentModule();
|
|
auto &C = M->getASTContext();
|
|
auto self = domainDecl->getImplicitSelfDecl();
|
|
|
|
auto selfRef = new (C) DeclRefExpr(self, DeclNameLoc(), /*implicit*/ true);
|
|
auto stringType = TypeExpr::createForDecl(SourceLoc(), C.getStringDecl(),
|
|
domainDecl, /*implicit*/ true);
|
|
auto initReflectingCall =
|
|
CallExpr::createImplicit(C, stringType,
|
|
{ selfRef }, { C.getIdentifier("reflecting") });
|
|
auto ret =
|
|
new (C) ReturnStmt(SourceLoc(), initReflectingCall, /*implicit*/ true);
|
|
|
|
auto body = BraceStmt::create(C, SourceLoc(), ASTNode(ret), SourceLoc());
|
|
return { body, /*isTypeChecked=*/false };
|
|
}
|
|
|
|
static std::pair<BraceStmt *, bool>
|
|
deriveBodyBridgedNSError_printAsObjCEnum_nsErrorDomain(
|
|
AbstractFunctionDecl *domainDecl, void *) {
|
|
// enum SomeEnum {
|
|
// @derived
|
|
// static var _nsErrorDomain: String {
|
|
// return "ModuleName.SomeEnum"
|
|
// }
|
|
// }
|
|
|
|
auto M = domainDecl->getParentModule();
|
|
auto &C = M->getASTContext();
|
|
auto TC = domainDecl->getInnermostTypeContext();
|
|
auto ED = TC->getSelfEnumDecl();
|
|
|
|
StringRef value(C.AllocateCopy(getErrorDomainStringForObjC(ED)));
|
|
|
|
auto string = new (C) StringLiteralExpr(value, SourceRange(), /*implicit*/ true);
|
|
auto ret = new (C) ReturnStmt(SourceLoc(), string, /*implicit*/ true);
|
|
auto body = BraceStmt::create(C, SourceLoc(),
|
|
ASTNode(ret),
|
|
SourceLoc());
|
|
return { body, /*isTypeChecked=*/false };
|
|
}
|
|
|
|
static ValueDecl *
|
|
deriveBridgedNSError_enum_nsErrorDomain(
|
|
DerivedConformance &derived,
|
|
std::pair<BraceStmt *, bool> (*synthesizer)(AbstractFunctionDecl *, void*)) {
|
|
// enum SomeEnum {
|
|
// @derived
|
|
// static var _nsErrorDomain: String {
|
|
// ...
|
|
// }
|
|
// }
|
|
|
|
ASTContext &C = derived.TC.Context;
|
|
|
|
auto stringTy = C.getStringDecl()->getDeclaredType();
|
|
|
|
// Define the property.
|
|
VarDecl *propDecl;
|
|
PatternBindingDecl *pbDecl;
|
|
std::tie(propDecl, pbDecl) = derived.declareDerivedProperty(
|
|
C.Id_nsErrorDomain, stringTy, stringTy, /*isStatic=*/true,
|
|
/*isFinal=*/true);
|
|
|
|
// Define the getter.
|
|
auto getterDecl = derived.addGetterToReadOnlyDerivedProperty(
|
|
propDecl, stringTy);
|
|
getterDecl->setBodySynthesizer(synthesizer);
|
|
|
|
derived.addMembersToConformanceContext({getterDecl, propDecl, pbDecl});
|
|
|
|
return propDecl;
|
|
}
|
|
|
|
ValueDecl *DerivedConformance::deriveBridgedNSError(ValueDecl *requirement) {
|
|
if (!isa<EnumDecl>(Nominal))
|
|
return nullptr;
|
|
|
|
if (requirement->getBaseName() == TC.Context.Id_nsErrorDomain) {
|
|
auto synthesizer = deriveBodyBridgedNSError_enum_nsErrorDomain;
|
|
|
|
auto scope = Nominal->getFormalAccessScope(Nominal->getModuleScopeContext());
|
|
if (scope.isPublic() || scope.isInternal())
|
|
// PrintAsObjC may print this domain, so we should make sure we use the
|
|
// same string it will.
|
|
synthesizer = deriveBodyBridgedNSError_printAsObjCEnum_nsErrorDomain;
|
|
|
|
return deriveBridgedNSError_enum_nsErrorDomain(*this, synthesizer);
|
|
}
|
|
|
|
TC.diagnose(requirement->getLoc(), diag::broken_errortype_requirement);
|
|
return nullptr;
|
|
}
|