Files
swift-mirror/lib/AST/ConcreteDeclRef.cpp
Joe Groff 65f45d69ab SILGen: Only apply the primary archetype substitutions to an archetype_method.
This matches what SIL expects for generic function applications. Add a 'getPrimarySubstitutions' convenience method to ConcreteDeclRef.

Swift SVN r11579
2013-12-22 23:20:35 +00:00

64 lines
2.1 KiB
C++

//===--- ConcreteDeclRef.cpp - Reference to a concrete decl -----*- C++ -*-===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2015 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See http://swift.org/LICENSE.txt for license information
// See http://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/Types.h"
#include "llvm/Support/raw_ostream.h"
using namespace swift;
ConcreteDeclRef::SpecializedDeclRef *
ConcreteDeclRef::SpecializedDeclRef::create(
ASTContext &ctx, ValueDecl *decl,
ArrayRef<Substitution> substitutions) {
unsigned size = sizeof(SpecializedDeclRef)
+ sizeof(Substitution) * substitutions.size();
void *memory = ctx.Allocate(size, alignof(SpecializedDeclRef));
return new (memory) SpecializedDeclRef(decl, substitutions);
}
ArrayRef<Substitution>
ConcreteDeclRef::SpecializedDeclRef::getPrimarySubstitutions() const {
return getSubstitutions().slice(0,
TheDecl->getPotentialGenericDeclContext()
->getGenericParamsOfContext()->totalSize());
}
void ConcreteDeclRef::dump(raw_ostream &os) {
getDecl()->dumpRef(os);
// If specialized, dump the substitutions.
if (isSpecialized()) {
os << " [with ";
bool isFirst = true;
for (const auto &sub : getSubstitutions()) {
if (isFirst) {
isFirst = false;
} else {
os << ", ";
}
os << sub.Archetype->getFullName() << "=" << sub.Replacement.getString();
}
os << ']';
}
}
void ConcreteDeclRef::dump() {
dump(llvm::errs());
}