mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
71b24665fa
* Include `DeclContext` of the node where possible * Add 'default-with-decl-contexts' dump style that dumps the dect context hierarchy in addition to the AST * Support `-dump-parse` with `-dump-ast-format json`
92 lines
2.4 KiB
Swift
92 lines
2.4 KiB
Swift
// RUN: %target-swift-frontend -typecheck -dump-ast %s | %FileCheck %s
|
|
|
|
@propertyWrapper
|
|
struct Wrapper<T> {
|
|
var wrappedValue: T
|
|
}
|
|
|
|
protocol DefaultInit {
|
|
init()
|
|
}
|
|
|
|
// CHECK: struct_decl{{.*}}"UseWrapper"
|
|
struct UseWrapper<T: DefaultInit> {
|
|
// CHECK: var_decl{{.*}}"wrapped"
|
|
|
|
// CHECK: accessor_decl{{.*}}get for="wrapped"
|
|
// CHECK: member_ref_expr{{.*}}UseWrapper._wrapped
|
|
|
|
// CHECK: accessor_decl{{.*}}set for="wrapped"
|
|
// CHECK: member_ref_expr{{.*}}UseWrapper._wrapped
|
|
|
|
// CHECK: accessor_decl{{.*}}_modify for="wrapped"
|
|
// CHECK: yield_stmt
|
|
// CHECK: member_ref_expr{{.*}}Wrapper.wrappedValue
|
|
@Wrapper
|
|
var wrapped = T()
|
|
|
|
// CHECK: pattern_binding_decl{{.*}} implicit
|
|
// CHECK-NEXT: pattern_entry
|
|
// CHECK-NEXT: pattern_typed implicit type="Wrapper<T>"
|
|
// CHECK-NEXT: pattern_named implicit type="Wrapper<T>" "_wrapped"
|
|
// CHECK: constructor_ref_call_expr
|
|
// CHECK-NEXT: declref_expr{{.*}}Wrapper.init(wrappedValue:)
|
|
init() { }
|
|
}
|
|
|
|
struct UseWillSetDidSet {
|
|
// CHECK: var_decl{{.*}}"z"
|
|
|
|
// CHECK: accessor_decl{{.*}}set for="z"
|
|
// CHECK: member_ref_expr{{.*}}UseWillSetDidSet._z
|
|
@Wrapper
|
|
var z: Int {
|
|
willSet {
|
|
print(newValue)
|
|
}
|
|
|
|
didSet {
|
|
print(oldValue)
|
|
}
|
|
}
|
|
}
|
|
|
|
@propertyWrapper
|
|
struct Observable<Value> {
|
|
private var stored: Value
|
|
|
|
init(initialValue: Value) {
|
|
self.stored = initialValue
|
|
}
|
|
|
|
var wrappedValue: Value {
|
|
get { fatalError("called wrappedValue getter") }
|
|
set { fatalError("called wrappedValue setter") }
|
|
}
|
|
|
|
static subscript<EnclosingSelf>(
|
|
_enclosingInstance observed: EnclosingSelf,
|
|
wrapped wrappedKeyPath: ReferenceWritableKeyPath<EnclosingSelf, Value>,
|
|
storage storageKeyPath: ReferenceWritableKeyPath<EnclosingSelf, Self>
|
|
) -> Value {
|
|
get {
|
|
observed[keyPath: storageKeyPath].stored
|
|
}
|
|
set {
|
|
observed[keyPath: storageKeyPath].stored = newValue
|
|
}
|
|
}
|
|
}
|
|
|
|
// CHECK-LABEL: class_decl{{.*}}"MyObservedType"
|
|
class MyObservedType {
|
|
@Observable var observedProperty = 17
|
|
|
|
// CHECK: accessor_decl{{.*}}get for="observedProperty"
|
|
// CHECK: subscript_expr implicit type="@lvalue Int" decl="{{.*}}.Observable.subscript(_enclosingInstance:wrapped:storage:)@
|
|
|
|
// CHECK: accessor_decl{{.*}}set for="observedProperty"
|
|
// CHECK: subscript_expr implicit type="@lvalue Int" decl="{{.*}}.Observable.subscript(_enclosingInstance:wrapped:storage:)@
|
|
}
|
|
|