mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
75673f1d90
For now, this means USRs of ParamDecls. Soon, default argument generators for subscripts will need this too. Fixes <https://bugs.swift.org/browse/SR-8660>, <rdar://problem/44435221>.
293 lines
10 KiB
Swift
293 lines
10 KiB
Swift
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -verify -disable-objc-attr-requires-foundation-module -enable-objc-interop %s
|
|
// RUN: %target-swift-ide-test(mock-sdk: %clang-importer-sdk) -disable-objc-attr-requires-foundation-module -enable-objc-interop -print-usrs -source-filename %s | %FileCheck %s -strict-whitespace
|
|
|
|
#if os(Windows) && (arch(arm64) || arch(x86_64))
|
|
typealias ObjCEnumType = Int32
|
|
#else
|
|
typealias ObjCEnumType = Int
|
|
#endif
|
|
|
|
import macros
|
|
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test1SV{{$}}
|
|
struct S {
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test1SV1xSivp{{$}}
|
|
var x : Int
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:11 s:14swift_ide_test6MyGInta{{$}}
|
|
typealias MyGInt = Int
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test5MyClsC{{$}}
|
|
class MyCls {
|
|
// CHECK: [[@LINE+1]]:13 s:14swift_ide_test5MyClsC2TAa{{$}}
|
|
typealias TA = Int
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test5MyClsC3wwwSivp{{$}}
|
|
var www : Int = 0
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test5MyClsC3fooyySiF{{$}}
|
|
func foo(_ x : Int) {}
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test5MyClsCySfSicip{{$}}
|
|
subscript(i: Int) -> Float {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSicig{{$}}
|
|
get { return 0.0 }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSicis{{$}}
|
|
set {}
|
|
}
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test5MyClsCySfSi_Sitcip{{$}}
|
|
subscript(_: Int, _: Int) -> Float {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSi_Sitcig{{$}}
|
|
get { return 0.0 }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSi_Sitcis{{$}}
|
|
set {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:11 s:14swift_ide_test5MyClsCySfSi_S2itc33_32FE8F7EF2DE2FC69E75F86A8A3935D3Llip{{$}}
|
|
private subscript(_: Int, _: Int, _: Int) -> Float {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSi_S2itc33_32FE8F7EF2DE2FC69E75F86A8A3935D3Llig{{$}}
|
|
get { return 0.0 }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test5MyClsCySfSi_S2itc33_32FE8F7EF2DE2FC69E75F86A8A3935D3Llis{{$}}
|
|
set {}
|
|
}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test12GenericClassC{{$}}
|
|
class GenericClass {
|
|
|
|
// CHECK: [[@LINE+1]]:13 s:14swift_ide_test12GenericClassC2TAa{{$}}
|
|
typealias TA = Int
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test12GenericClassC11instanceVarSivp{{$}}
|
|
var instanceVar: Int = 0
|
|
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test12GenericClassC12instanceFuncyyF{{$}}
|
|
func instanceFunc() {
|
|
// CHECK: [[@LINE+2]]:18 s:14swift_ide_test12GenericClassC9classFuncyyACFZ{{$}}
|
|
// CHECK: [[@LINE+1]]:28 s:14swift_ide_test12GenericClassC12instanceFuncyyF4selfL_ACvp{{$}}
|
|
GenericClass.classFunc(self)
|
|
}
|
|
|
|
// CHECK: [[@LINE+2]]:3 s:14swift_ide_test12GenericClassCySfSicip{{$}}
|
|
// CHECK: [[@LINE+1]]:13 s:14swift_ide_test12GenericClassCySfSicip1iL_Sivp{{$}}
|
|
subscript(i: Int) -> Float {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test12GenericClassCySfSicig{{$}}
|
|
get { return 0.0 }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test12GenericClassCySfSicis{{$}}
|
|
set {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test12GenericClassCfd{{$}}
|
|
deinit {
|
|
// CHECK: [[@LINE+2]]:18 s:14swift_ide_test12GenericClassC9classFuncyyACFZ{{$}}
|
|
// CHECK: [[@LINE+1]]:28 s:14swift_ide_test12GenericClassCfd4selfL_ACvp{{$}}
|
|
GenericClass.classFunc(self)
|
|
}
|
|
|
|
// CHECK: [[@LINE+2]]:14 s:14swift_ide_test12GenericClassC9classFuncyyACFZ{{$}}
|
|
// CHECK: [[@LINE+1]]:26 s:14swift_ide_test12GenericClassC9classFuncyyACFZ1aL_ACvp{{$}}
|
|
class func classFunc(_ a: GenericClass) {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:10 s:14swift_ide_test4ProtP{{$}}
|
|
protocol Prot {
|
|
// CHECK: [[@LINE+1]]:18 s:14swift_ide_test4ProtP5BlargQa{{$}}
|
|
associatedtype Blarg
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test4ProtP8protMethy5BlargQzAFF{{$}}
|
|
func protMeth(_ x: Blarg) -> Blarg
|
|
// CHECK: [[@LINE+2]]:7 s:14swift_ide_test4ProtP17protocolProperty1Sivp{{$}}
|
|
// CHECK: [[@LINE+1]]:32 s:14swift_ide_test4ProtP17protocolProperty1Sivg{{$}}
|
|
var protocolProperty1: Int { get }
|
|
}
|
|
protocol Prot2 {}
|
|
|
|
class SubCls : MyCls, Prot {
|
|
// CHECK: [[@LINE+1]]:13 s:14swift_ide_test6SubClsC5Blarga{{$}}
|
|
typealias Blarg = Prot2
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test6SubClsC8protMethyAA5Prot2_pAaE_pF{{$}}
|
|
func protMeth(_ x: Blarg) -> Blarg {}
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test6SubClsC17protocolProperty1Sivp{{$}}
|
|
var protocolProperty1 = 0
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:6 s:14swift_ide_test5genFnySixAA4ProtRzAA5Prot25BlargRpzlF{{$}}
|
|
func genFn<T : Prot>(_ p : T) -> Int where T.Blarg : Prot2 {}
|
|
|
|
// CHECK: [[@LINE+1]]:6 s:14swift_ide_test3barySi_SftSiF{{$}}
|
|
func bar(_ x: Int) -> (Int, Float) {}
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test6GenClsC{{$}}
|
|
class GenCls<T> {
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test6GenClsCACyxGycfc{{$}}
|
|
init() {}
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test6GenClsCfd{{$}}
|
|
deinit {}
|
|
// CHECK: [[@LINE+1]]:14 s:14swift_ide_test6GenClsC4cfooyyFZ{{$}}
|
|
class func cfoo() {}
|
|
|
|
// CHECK: [[@LINE+1]]:3 s:14swift_ide_test6GenClsCyS2i_Sitcip{{$}}
|
|
subscript (i : Int, j : Int) -> Int {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test6GenClsCyS2i_Sitcig{{$}}
|
|
get {
|
|
return i + j
|
|
}
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test6GenClsCyS2i_Sitcis{{$}}
|
|
set(v) {
|
|
_ = v + i - j
|
|
}
|
|
}
|
|
}
|
|
|
|
class C4 {
|
|
// CHECK: [[@LINE+1]]:9 s:14swift_ide_test2C4C2InC{{$}}
|
|
class In {
|
|
// CHECK: [[@LINE+1]]:16 s:14swift_ide_test2C4C2InC3gooyyFZ{{$}}
|
|
class func goo() {}
|
|
}
|
|
}
|
|
|
|
class C5 {}
|
|
extension C5 {
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test2C5C5extFnyyF{{$}}
|
|
func extFn() {}
|
|
}
|
|
|
|
class Observers {
|
|
func doit() {}
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test9ObserversC2p1Sivp{{$}}
|
|
var p1 : Int = 0 {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test9ObserversC2p1Sivw{{$}}
|
|
willSet(newValue) { doit() }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test9ObserversC2p1SivW{{$}}
|
|
didSet { doit() }
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:7 s:14swift_ide_test9ObserversC2p2Sivp{{$}}
|
|
var p2 = 42 {
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test9ObserversC2p2Sivw{{$}}
|
|
willSet(newValue) { doit() }
|
|
// CHECK: [[@LINE+1]]:5 s:14swift_ide_test9ObserversC2p2SivW{{$}}
|
|
didSet { doit() }
|
|
}
|
|
}
|
|
|
|
// CHECK: [[@LINE+2]]:7 c:@M@swift_ide_test@objc(cs)ObjCClass1{{$}}
|
|
@objc @objcMembers
|
|
class ObjCClass1 {
|
|
// CHECK: [[@LINE+1]]:7 c:@M@swift_ide_test@objc(cs)ObjCClass1(py)instanceVar{{$}}
|
|
var instanceVar: Int = 1
|
|
// CHECK: [[@LINE+1]]:14 c:@M@swift_ide_test@objc(cs)ObjCClass1(cpy)typeVar{{$}}
|
|
static var typeVar: Int = 1
|
|
|
|
// CHECK: [[@LINE+1]]:7 c:@M@swift_ide_test@objc(cs)ObjCClass1(py)computed{{$}}
|
|
var computed: Int {
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)computed{{$}}
|
|
get { return 1}
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)setComputed:{{$}}
|
|
set {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:13 c:@M@swift_ide_test@objc(cs)ObjCClass1(cpy)typeComputed{{$}}
|
|
class var typeComputed: Int {
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(cm)typeComputed{{$}}
|
|
get { return 1 }
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(cm)setTypeComputed:{{$}}
|
|
set {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:3 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)initWithX:{{$}}
|
|
init(x: Int) {}
|
|
// CHECK: [[@LINE+1]]:3 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)init{{$}}
|
|
init() {}
|
|
|
|
// CHECK: [[@LINE+1]]:8 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)instanceFunc1:{{$}}
|
|
func instanceFunc1(_ a: Int) {
|
|
|
|
// CHECK: [[@LINE+1]]:16 s:14swift_ide_test10ObjCClass1C13instanceFunc1yySiF9LocalEnumL_O
|
|
@objc enum LocalEnum : ObjCEnumType {
|
|
// CHECK: [[@LINE+1]]:12 s:14swift_ide_test10ObjCClass1C13instanceFunc1yySiF9LocalEnumL_O8someCaseyA2FmF
|
|
case someCase
|
|
}
|
|
}
|
|
// CHECK: [[@LINE+1]]:14 c:@M@swift_ide_test@objc(cs)ObjCClass1(cm)staticFunc1:{{$}}
|
|
class func staticFunc1(_ a: Int) {}
|
|
|
|
// CHECK: [[@LINE+2]]:10 s:14swift_ide_test10ObjCClass1CyS2icip{{$}}
|
|
// CHECK: [[@LINE+1]]:20 s:14swift_ide_test10ObjCClass1CyS2icip1xL_Sivp{{$}}
|
|
public subscript(x: Int) -> Int {
|
|
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)objectAtIndexedSubscript:{{$}}
|
|
get { return 1 }
|
|
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)setObject:atIndexedSubscript:{{$}}
|
|
set {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+2]]:10 s:14swift_ide_test10ObjCClass1CySiACcip{{$}}
|
|
// CHECK: [[@LINE+1]]:20 s:14swift_ide_test10ObjCClass1CySiACcip1xL_ACvp{{$}}
|
|
public subscript(x: ObjCClass1) -> Int {
|
|
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)objectForKeyedSubscript:{{$}}
|
|
get { return 1 }
|
|
|
|
// CHECK: [[@LINE+1]]:5 c:@M@swift_ide_test@objc(cs)ObjCClass1(im)setObject:forKeyedSubscript:{{$}}
|
|
set {}
|
|
}
|
|
|
|
// Nested types are not officially supported
|
|
// CHECK: [[@LINE+1]]:15 s:14swift_ide_test10ObjCClass1C6NestedC{{$}}
|
|
@objc class Nested {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:23 c:@M@swift_ide_test@objc(pl)ObjCProto{{$}}
|
|
@objc public protocol ObjCProto {
|
|
|
|
// CHECK: [[@LINE+1]]:8 c:@M@swift_ide_test@objc(pl)ObjCProto(im)protoMeth{{$}}
|
|
func protoMeth()
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:12 c:@M@swift_ide_test@E@ObjCEnum{{$}}
|
|
@objc enum ObjCEnum : ObjCEnumType {
|
|
|
|
// CHECK: [[@LINE+1]]:8 c:@M@swift_ide_test@E@ObjCEnum@ObjCEnumAmazingCase{{$}}
|
|
case amazingCase
|
|
}
|
|
|
|
extension ObjCClass1 {
|
|
// CHECK: [[@LINE+1]]:15 c:@CM@swift_ide_test@objc(cs)ObjCClass1(im)objcExtMethodWithX:{{$}}
|
|
public func objcExtMethod(x: Int) {}
|
|
}
|
|
|
|
// CHECK: [[@LINE+1]]:6 s:14swift_ide_test5SuitsO{{$}}
|
|
enum Suits {
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test5SuitsO5ClubsyA2CmF{{$}}
|
|
case Clubs
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test5SuitsO8DiamondsyA2CmF{{$}}
|
|
case Diamonds
|
|
|
|
// CHECK: [[@LINE+1]]:8 s:14swift_ide_test5SuitsO5enfooyyF{{$}}
|
|
func enfoo() {}
|
|
}
|
|
|
|
func importedMacros() {
|
|
// CHECK: [[@LINE+1]]:12 c:@macro@M_PI{{$}}
|
|
let m1 = M_PI
|
|
// CHECK: [[@LINE+1]]:12 c:@macro@MACRO_FROM_IMPL{{$}}
|
|
let m2 = MACRO_FROM_IMPL
|
|
// CHECK: [[@LINE+1]]:12 c:@macro@USES_MACRO_FROM_OTHER_MODULE_1{{$}}
|
|
let m3 = USES_MACRO_FROM_OTHER_MODULE_1
|
|
|
|
_ = m1; _ = m2; _ = m3
|
|
}
|
|
|
|
class OverloadVarsByAvailability {
|
|
@available(swift, obsoleted: 4.0)
|
|
@available(*, deprecated, message: "not 4.0")
|
|
public var memory: Int8 { get { } set { } }
|
|
// CHECK: [[@LINE-1]]:14 s:14swift_ide_test26OverloadVarsByAvailabilityC6memorys4Int8Vv
|
|
|
|
@available(swift 4.0)
|
|
@available(*, deprecated, message: "yes 4.0")
|
|
public var memory: Int16 { get { } set { } }
|
|
// CHECK: [[@LINE-1]]:14 s:14swift_ide_test26OverloadVarsByAvailabilityC6memorys5Int16Vv
|
|
}
|