| //===--- ConcreteDeclRef.cpp - Reference to a concrete decl ---------------===// |
| // |
| // 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 the ConcreteDeclRef class, which provides a reference to |
| // a declaration that is potentially specialized. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "swift/AST/ASTContext.h" |
| #include "swift/AST/ConcreteDeclRef.h" |
| #include "swift/AST/Decl.h" |
| #include "swift/AST/GenericSignature.h" |
| #include "swift/AST/ProtocolConformance.h" |
| #include "swift/AST/SubstitutionMap.h" |
| #include "swift/AST/Types.h" |
| #include "llvm/Support/raw_ostream.h" |
| using namespace swift; |
| |
| ConcreteDeclRef ConcreteDeclRef::getOverriddenDecl() const { |
| auto *derivedDecl = getDecl(); |
| auto *baseDecl = derivedDecl->getOverriddenDecl(); |
| |
| auto *baseSig = baseDecl->getInnermostDeclContext() |
| ->getGenericSignatureOfContext(); |
| auto *derivedSig = derivedDecl->getInnermostDeclContext() |
| ->getGenericSignatureOfContext(); |
| |
| SubstitutionMap subs; |
| if (baseSig) { |
| Optional<SubstitutionMap> derivedSubMap; |
| if (derivedSig) |
| derivedSubMap = getSubstitutions(); |
| subs = SubstitutionMap::getOverrideSubstitutions(baseDecl, derivedDecl, |
| derivedSubMap); |
| } |
| return ConcreteDeclRef(baseDecl, subs); |
| } |
| |
| void ConcreteDeclRef::dump(raw_ostream &os) { |
| if (!getDecl()) { |
| os << "**NULL**"; |
| return; |
| } |
| |
| getDecl()->dumpRef(os); |
| |
| // If specialized, dump the substitutions. |
| if (isSpecialized()) { |
| os << " [with "; |
| getSubstitutions().dump(os, SubstitutionMap::DumpStyle::Minimal); |
| os << ']'; |
| } |
| } |
| |
| void ConcreteDeclRef::dump() { |
| dump(llvm::errs()); |
| } |