1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
//===--- NominalMetadataVisitor.h - CRTP for metadata layout ----*- C++ -*-===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// A CRTP helper class for visiting all of the fields in a nominal type
// metadata object.
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_IRGEN_NOMINALMETADATAVISITOR_H
#define SWIFT_IRGEN_NOMINALMETADATAVISITOR_H
#include "GenericRequirement.h"
#include "GenProto.h"
#include "GenMeta.h"
#include "IRGenModule.h"
#include "MetadataVisitor.h"
namespace swift {
namespace irgen {
/// A CRTP class for laying out type metadata for nominal types. Note that this
/// does *not* handle the metadata template stuff.
template <class Impl> class NominalMetadataVisitor
: public MetadataVisitor<Impl> {
using super = MetadataVisitor<Impl>;
protected:
using super::asImpl;
NominalMetadataVisitor(IRGenModule &IGM) : super(IGM) {}
public:
/// Add fields related to the generics of this class declaration.
/// TODO: don't add new fields that are implied by the superclass
/// fields. e.g., if B<T> extends A<T>, the witness for T in A's
/// section should be enough.
template <class... T>
void addGenericFields(NominalTypeDecl *typeDecl, T &&...args) {
// The archetype order here needs to be consistent with
// NominalTypeDescriptorBase::addGenericParams.
// Note that we intentionally don't std::forward 'args'.
asImpl().noteStartOfGenericRequirements(args...);
GenericTypeRequirements requirements(super::IGM, typeDecl);
for (auto reqt : requirements.getRequirements()) {
asImpl().addGenericRequirement(reqt, args...);
}
asImpl().noteEndOfGenericRequirements(args...);
}
template <class... T>
void noteStartOfGenericRequirements(T &&...args) {}
template <class... T>
void noteEndOfGenericRequirements(T &&...args) {}
};
} // end namespace irgen
} // end namespace swift
#endif
|
