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
73
74
75
|
//===--- FeatureSet.h - Language feature support ----------------*- C++ -*-===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2024 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
//
//===----------------------------------------------------------------------===//
#ifndef SWIFT_AST_FEATURES_H
#define SWIFT_AST_FEATURES_H
#include "swift/AST/Decl.h"
#include "swift/Basic/Feature.h"
#include "swift/Basic/FixedBitSet.h"
namespace swift {
using BasicFeatureSet = FixedBitSet<numFeatures(), Feature>;
class FeatureSet {
BasicFeatureSet required;
// Stored inverted: index i actually represents
// Feature(numFeatures() - i)
//
// This is the easiest way of letting us iterate from largest to
// smallest, i.e. from the newest to the oldest feature, which is
// the order in which we need to emit #if clauses.
using SuppressibleFeatureSet = FixedBitSet<numFeatures(), size_t>;
SuppressibleFeatureSet suppressible;
public:
class SuppressibleGenerator {
SuppressibleFeatureSet::iterator i, e;
friend class FeatureSet;
SuppressibleGenerator(const SuppressibleFeatureSet &set)
: i(set.begin()), e(set.end()) {}
public:
bool empty() const { return i == e; }
Feature next() { return Feature(numFeatures() - *i++); }
};
bool empty() const { return required.empty() && suppressible.empty(); }
bool hasAnyRequired() const { return !required.empty(); }
const BasicFeatureSet &requiredFeatures() const { return required; }
bool hasAnySuppressible() const { return !suppressible.empty(); }
SuppressibleGenerator generateSuppressibleFeatures() const {
return SuppressibleGenerator(suppressible);
}
enum InsertOrRemove : bool { Insert = true, Remove = false };
void collectFeaturesUsed(Decl *decl, InsertOrRemove operation);
private:
void collectRequiredFeature(Feature feature, InsertOrRemove operation);
void collectSuppressibleFeature(Feature feature, InsertOrRemove operation);
};
/// Get the set of features that are uniquely used by this declaration, and are
/// not part of the enclosing context.
FeatureSet getUniqueFeaturesUsed(Decl *decl);
bool usesFeatureIsolatedDeinit(const Decl *decl);
} // end namespace swift
#endif /* SWIFT_AST_FEATURES_H */
|
