mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
66369468aa
Use the keywords `_Nullable`, `_Nonnull`, and `_Null_unspecified` instead of the older compatibility forms `__nullable`, `__nonnull`, and `__null_unspecified`. Part of rdar://problem/23614638
105 lines
4.6 KiB
Swift
105 lines
4.6 KiB
Swift
// RUN: rm -rf %t && mkdir %t
|
|
|
|
// FIXME: BEGIN -enable-source-import hackaround
|
|
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -emit-module -o %t %S/../Inputs/clang-importer-sdk/swift-modules/ObjectiveC.swift
|
|
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -emit-module -o %t %S/../Inputs/clang-importer-sdk/swift-modules/CoreGraphics.swift
|
|
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -emit-module -o %t %S/../Inputs/clang-importer-sdk/swift-modules/Foundation.swift
|
|
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -emit-module -o %t %S/../Inputs/clang-importer-sdk/swift-modules/AppKit.swift
|
|
// FIXME: END -enable-source-import hackaround
|
|
|
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource) -emit-module -I %t -I %S/Inputs/custom-modules -o %t %s
|
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk-nosource) -parse-as-library %t/override.swiftmodule -I %t -parse -emit-objc-header-path %t/override.h
|
|
// RUN: FileCheck %s < %t/override.h
|
|
// RUN: %check-in-clang %t/override.h -I %S/Inputs/custom-modules -Wno-super-class-method-mismatch -Wno-overriding-method-mismatch
|
|
// RUN: not %check-in-clang %t/override.h -Wno-super-class-method-mismatch -I %S/Inputs/custom-modules 2>&1 | FileCheck -check-prefix=CLANG %s
|
|
|
|
// REQUIRES: objc_interop
|
|
|
|
import OverrideBase
|
|
// No errors from Clang until we get to the FixMe class.
|
|
// CLANG-NOT: error
|
|
|
|
// CHECK-LABEL: @interface A_Child : Base
|
|
class A_Child : Base {
|
|
// CHECK-NEXT: @property (nonatomic, readonly, getter=getProp) NSUInteger prop;
|
|
override var prop: Int { return 0 }
|
|
// CHECK-NEXT: - (id _Nullable)objectAtIndexedSubscript:(NSUInteger)x;
|
|
override subscript(x: Int) -> AnyObject? { return nil }
|
|
|
|
// CHECK-NEXT: - (NSUInteger)foo;
|
|
override func foo() -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)_;
|
|
override func foo(_: Int) -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)x y:(NSUInteger)y;
|
|
override func foo(x: Int, y: Int) -> Int { return x + y }
|
|
|
|
|
|
// CHECK-NEXT: - (BOOL)doThingAndReturnError:(NSError * _Nullable * _Null_unspecified)error;
|
|
override func doThing() throws {}
|
|
|
|
// CHECK-NEXT: - (BOOL)doAnotherThingWithError:(NSError * _Nullable * _Null_unspecified)error;
|
|
override func doAnotherThing() throws {}
|
|
|
|
// CHECK-NEXT: - (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
|
|
} // CHECK-NEXT: @end
|
|
|
|
// CHECK-LABEL: @interface A_Grandchild : A_Child
|
|
class A_Grandchild : A_Child {
|
|
// CHECK-NEXT: @property (nonatomic, readonly, getter=getProp) NSUInteger prop;
|
|
override var prop: Int { return 0 }
|
|
// CHECK-NEXT: - (id _Nullable)objectAtIndexedSubscript:(NSUInteger)x;
|
|
override subscript(x: Int) -> AnyObject? { return nil }
|
|
|
|
// CHECK-NEXT: - (NSUInteger)foo;
|
|
override func foo() -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)_;
|
|
override func foo(_: Int) -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)x y:(NSUInteger)y;
|
|
override func foo(x: Int, y: Int) -> Int { return x + y }
|
|
|
|
// CHECK-NEXT: - (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
|
|
} // CHECK-NEXT: @end
|
|
|
|
|
|
// CHECK-LABEL: @interface B_EmptyChild : Base
|
|
class B_EmptyChild : Base {
|
|
} // CHECK: @end
|
|
|
|
// CHECK-LABEL: @interface B_GrandchildViaEmpty : B_EmptyChild
|
|
class B_GrandchildViaEmpty : B_EmptyChild {
|
|
// CHECK-NEXT: @property (nonatomic, getter=getProp) NSUInteger prop;
|
|
override var prop: Int {
|
|
get { return 0 }
|
|
set {}
|
|
}
|
|
|
|
// CHECK-NEXT: - (id _Nullable)objectAtIndexedSubscript:(NSUInteger)x;
|
|
// CHECK-NEXT: - (void)setObject:(id _Nullable)newValue atIndexedSubscript:(NSUInteger)x;
|
|
override subscript(x: Int) -> AnyObject? {
|
|
get { return nil }
|
|
set {}
|
|
}
|
|
|
|
// CHECK-NEXT: - (NSUInteger)foo;
|
|
override func foo() -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)_;
|
|
override func foo(_: Int) -> Int { return 0 }
|
|
// CHECK-NEXT: - (NSUInteger)foo:(NSUInteger)x y:(NSUInteger)y;
|
|
override func foo(x: Int, y: Int) -> Int { return x + y }
|
|
|
|
// CHECK-NEXT: - (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
|
|
} // CHECK-NEXT: @end
|
|
|
|
// The output in this class doesn't yet preserve NSUInteger correctly.
|
|
// CHECK-LABEL: @interface FixMe : Base
|
|
class FixMe : Base {
|
|
// CHECK-NEXT: - (void)callback:(NSInteger (^ _Nullable)(void))fn;
|
|
// CLANG: error: conflicting parameter types in declaration of 'callback:'
|
|
override func callback(fn: (() -> Int)?) {}
|
|
|
|
// CHECK-NEXT: - (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
|
|
} // CHECK-NEXT: @end
|
|
|
|
// No more errors from Clang.
|
|
// CLANG-NOT: error:
|