mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
e2d4eb64e0
The logic for recursively expanding protocol requirements was broken. Instead, let's do the recursive visitation when evaluating a conformance to a @rethrows protocol.
87 lines
2.7 KiB
C++
87 lines
2.7 KiB
C++
//===--- Effects.cpp - Effect Checking ASTs -------------------------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2018 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 some logic for rethrows and reasync checking.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "swift/AST/ASTContext.h"
|
|
#include "swift/AST/Effects.h"
|
|
#include "swift/AST/Evaluator.h"
|
|
#include "swift/AST/Decl.h"
|
|
#include "swift/AST/ProtocolConformanceRef.h"
|
|
#include "swift/AST/Type.h"
|
|
#include "swift/AST/TypeCheckRequests.h"
|
|
#include "llvm/ADT/ArrayRef.h"
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
using namespace swift;
|
|
|
|
void swift::simple_display(llvm::raw_ostream &out,
|
|
const ProtocolRethrowsRequirementList list) {
|
|
for (auto req : list.getRequirements()) {
|
|
simple_display(out, req);
|
|
out << "\n";
|
|
}
|
|
|
|
for (auto conf : list.getConformances()) {
|
|
simple_display(out, conf.first);
|
|
out << " : ";
|
|
simple_display(out, conf.second);
|
|
llvm::errs() << "\n";
|
|
}
|
|
}
|
|
|
|
ProtocolRethrowsRequirementList
|
|
ProtocolDecl::getRethrowingRequirements() const {
|
|
return evaluateOrDefault(getASTContext().evaluator,
|
|
ProtocolRethrowsRequirementsRequest{const_cast<ProtocolDecl *>(this)},
|
|
ProtocolRethrowsRequirementList());
|
|
}
|
|
|
|
bool ProtocolDecl::isRethrowingProtocol() const {
|
|
return getAttrs().hasAttribute<swift::AtRethrowsAttr>();
|
|
}
|
|
|
|
FunctionRethrowingKind AbstractFunctionDecl::getRethrowingKind() const {
|
|
return evaluateOrDefault(getASTContext().evaluator,
|
|
FunctionRethrowingKindRequest{const_cast<AbstractFunctionDecl *>(this)},
|
|
FunctionRethrowingKind::Invalid);
|
|
}
|
|
|
|
void swift::simple_display(llvm::raw_ostream &out,
|
|
FunctionRethrowingKind kind) {
|
|
switch (kind) {
|
|
case FunctionRethrowingKind::None:
|
|
out << "non-throwing";
|
|
break;
|
|
case FunctionRethrowingKind::ByClosure:
|
|
out << "by closure";
|
|
break;
|
|
case FunctionRethrowingKind::ByConformance:
|
|
out << "by conformance";
|
|
break;
|
|
case FunctionRethrowingKind::Throws:
|
|
out << "throws";
|
|
break;
|
|
case FunctionRethrowingKind::Invalid:
|
|
out << "invalid";
|
|
break;
|
|
}
|
|
}
|
|
|
|
bool ProtocolConformanceRef::classifyAsThrows() const {
|
|
if (!isConcrete()) { return true; }
|
|
return evaluateOrDefault(getRequirement()->getASTContext().evaluator,
|
|
ProtocolConformanceClassifyAsThrowsRequest{getConcrete()},
|
|
true);
|
|
} |