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
|
#ifndef SWIFT_SEMA_TYPECHECKINVERTIBLE_H
#define SWIFT_SEMA_TYPECHECKINVERTIBLE_H
#include "swift/AST/TypeCheckRequests.h"
#include "swift/AST/ProtocolConformance.h"
namespace swift {
class StorageVisitor {
public:
/// Visit the instance storage of the given nominal type as seen through
/// the given declaration context.
///
/// The `this` instance is invoked with each (stored property, property type)
/// pair for classes/structs and with each (enum elem, associated value type)
/// pair for enums. It is up to you to implement these handlers by subclassing
/// this visitor.
///
/// \returns \c true if any call to this \c visitor's handlers returns \c true
/// and \c false otherwise.
bool visit(NominalTypeDecl *nominal, DeclContext *dc);
/// Handle a stored property.
/// \returns true iff this visitor should stop its walk over the nominal.
virtual bool operator()(VarDecl *property, Type propertyType) = 0;
/// Handle an enum associated value.
/// \returns true iff this visitor should stop its walk over the nominal.
virtual bool operator()(EnumElementDecl *element, Type elementType) = 0;
virtual ~StorageVisitor() = default;
};
/// Checks that all stored properties or associated values are Copyable.
void checkCopyableConformance(DeclContext *dc,
ProtocolConformanceRef conformance);
/// Checks that all stored properties or associated values are Escapable.
void checkEscapableConformance(DeclContext *dc,
ProtocolConformanceRef conformance);
}
#endif // SWIFT_SEMA_TYPECHECKINVERTIBLE_H
|
