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
|
//===--- TypeCheckAccess.h - Type Checking for Access Control --*- 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
//
//===----------------------------------------------------------------------===//
//
// This file implements access control checking.
//
//===----------------------------------------------------------------------===//
#ifndef TYPECHECKACCESS_H
#define TYPECHECKACCESS_H
#include <cstdint>
namespace swift {
class Decl;
class ExportContext;
class SourceFile;
/// Performs access-related checks for \p D.
///
/// At a high level, this checks the given declaration's signature does not
/// reference any other declarations that are less visible than the declaration
/// itself. Related checks may also be performed.
void checkAccessControl(Decl *D);
/// Problematic origin of an exported type.
///
/// This enum must be kept in sync with a number of diagnostics:
/// diag::inlinable_decl_ref_from_hidden_module
/// diag::decl_from_hidden_module
/// diag::conformance_from_implementation_only_module
/// diag::typealias_desugars_to_type_from_hidden_module
/// daig::inlinable_typealias_desugars_to_type_from_hidden_module
enum class DisallowedOriginKind : uint8_t {
ImplementationOnly,
SPIImported,
SPILocal,
SPIOnly,
MissingImport,
FragileCxxAPI,
NonPublicImport,
None
};
/// A uniquely-typed boolean to reduce the chances of accidentally inverting
/// a check.
///
/// \see checkTypeAccess
enum class DowngradeToWarning: bool {
No,
Yes
};
/// Returns the kind of origin, implementation-only import or SPI declaration,
/// that restricts exporting \p decl from the given file and context.
DisallowedOriginKind getDisallowedOriginKind(const Decl *decl,
const ExportContext &where);
DisallowedOriginKind getDisallowedOriginKind(const Decl *decl,
const ExportContext &where,
DowngradeToWarning &downgradeToWarning);
} // end namespace swift
#endif
|
