circularity.swift

// Please keep this file in alphabetical order!

// REQUIRES: objc_interop

// RUN: %empty-directory(%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 -disable-objc-attr-requires-foundation-module
// 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
// FIXME: END -enable-source-import hackaround

// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -import-objc-header %S/Inputs/circularity.h -emit-module -o %t %s
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/../Inputs/clang-importer-sdk -I %t) -import-objc-header %S/Inputs/circularity.h -parse-as-library %t/circularity.swiftmodule -typecheck -verify -emit-objc-header-path %t/circularity.h

// RUN: %FileCheck %s < %t/circularity.h

// RUN: %check-in-clang %t/circularity.h
// RUN: %check-in-clang -fno-modules -Qunused-arguments %t/circularity.h

import Foundation

// CHECK-LABEL: @interface A1 : ProtoImpl
classA1:ProtoImpl{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsProto<A2>){}
} // CHECK: @end
// CHECK-LABEL: @interface A2 : ProtoImpl
classA2:ProtoImpl{
 // CHECK: - (void)test:
@objcfunc test(_:NeedsProto<A1>){}
} // CHECK: @end

// CHECK-LABEL: @interface B1 : ProtoImpl
classB1:ProtoImpl{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsProto<B2>){}
} // CHECK: @end
// CHECK-LABEL: @interface B2 : ProtoImpl
classB2:ProtoImpl{
} // CHECK: @end

// CHECK-LABEL: @interface C1 : ProtoImpl
classC1:ProtoImpl{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsProto<C2>){}
} // CHECK: @end
// CHECK-LABEL: @protocol C2 <Proto>
@objcprotocolC2:Proto{
} // CHECK: @end

// CHECK-LABEL: @interface D1 : ProtoImpl
classD1:ProtoImpl{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsProto<D2>){}
} // CHECK: @end
// CHECK-LABEL: @protocol D2 <Proto>
@objcprotocolD2:Proto{
 // CHECK: - (void)test:
func test(_:NeedsProto<D1>)
} // CHECK: @end

// CHECK-LABEL: @interface D4 : ProtoImpl
// CHECK: // 'test(_:)' below
// CHECK: @end
// CHECK-LABEL: @protocol D3 <Proto>
@objcprotocolD3:Proto{
 // CHECK: - (void)test:
func test(_:NeedsProto<D4>)
} // CHECK: @end
// Moved ahead.
classD4:ProtoImpl{
@objcfunc test(_:NeedsProto<D3>){}
}

// CHECK-LABEL: @interface E2 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol E1 <Proto>
@objcprotocolE1:Proto{
 // CHECK: - (void)test:
func test(_:NeedsProto<E2>)
} // CHECK: @end
// Moved ahead.
classE2:ProtoImpl{}

// CHECK-LABEL: @interface F1 : ProtoImpl
classF1:ProtoImpl{
} // CHECK: @end
// CHECK-LABEL: @interface F2 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @interface F1 (SWIFT_EXTENSION(circularity))
extensionF1{
 // CHECK: - (void)test:
@objcfunc test(_:NeedsProto<F2>){}
} // CHECK: @end
// Moved ahead.
classF2:ProtoImpl{}

// CHECK-LABEL: @interface G1 : ProtoImpl
classG1:ProtoImpl{
} // CHECK: @end
// CHECK-LABEL: @protocol G2 <Proto>
// CHECK: @end
// CHECK-LABEL: @interface G1 (SWIFT_EXTENSION(circularity))
extensionG1{
 // CHECK: - (void)test:
@objcfunc test(_:NeedsProto<G2>){}
} // CHECK: @end
// Moved ahead.
@objcprotocolG2:Proto{}

// CHECK-LABEL: @interface H1 : ProtoImpl
classH1:ProtoImpl{
 // CHECK: 'test(_:)' below
@objcfunc test(_:NeedsProto<H2>){}
 // CHECK: 'anotherTest(_:)' below
@objcfunc anotherTest(_:NeedsProto<H3>){}
} // CHECK: @end
// CHECK-LABEL: @interface H2 : ProtoImpl
classH2:ProtoImpl{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsProto<H3>){}
 // CHECK: - (void)anotherTest:
@objcfunc anotherTest(_:NeedsProto<H1>){}
} // CHECK: @end
// CHECK-LABEL: @interface H3 : ProtoImpl
classH3:ProtoImpl{
 // CHECK: - (void)test:
@objcfunc test(_:NeedsProto<H1>){}
 // CHECK: - (void)anotherTest:
@objcfunc anotherTest(_:NeedsProto<H2>){}
} // CHECK: @end

// CHECK-LABEL: @interface I1 : Parent
classI1:Parent{
 // CHECK: // 'test(_:)' below
@objcfunc test(_:NeedsParent<I2>){}
} // CHECK: @end
// CHECK-LABEL: @interface I2 : Parent
classI2:Parent{
 // CHECK: - (void)test:
@objcfunc test(_:NeedsParent<I1>){}
} // CHECK: @end

// CHECK-LABEL: @interface J1 : Parent
classJ1:Parent{
 // CHECK: - (void)test:
@objcfunc test(_:Unconstrained<J2>){}
} // CHECK: @end
// CHECK-LABEL: @interface J2 : Parent
classJ2:Parent{
 // CHECK: - (void)test:
@objcfunc test(_:Unconstrained<J1>){}
} // CHECK: @end

// CHECK-LABEL: @protocol K1 <Proto>
@objcprotocolK1:Proto{
 // CHECK: - (void)test:
@objcfunc test(_:Unconstrained<K2>)
} // CHECK: @end
// CHECK-LABEL: @protocol K2 <Proto>
@objcprotocolK2:Proto{
 // CHECK: - (void)test:
@objcfunc test(_:Unconstrained<K1>)
} // CHECK: @end


// CHECK-LABEL: @interface NA2 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol NA1
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface NA3 : NSObject <NA1>
// CHECK: @end
@objcprotocolNA1{
@objcoptionalfunc test(_:NeedsProto<NA2>)
}
classNA2:ProtoImpl{}
classNA3:NSObject,NA1{}

// CHECK-LABEL: @interface NB1 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol NB2
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface NB3 : NSObject <NB2>
// CHECK: @end
classNB1:ProtoImpl{}
@objcprotocolNB2{
@objcoptionalfunc test(_:NeedsProto<NB1>)
}
classNB3:NSObject,NB2{}

// CHECK-LABEL: @interface NC2 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol NC3
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface NC1 : NSObject <NC3>
// CHECK: @end
classNC1:NSObject,NC3{}
classNC2:ProtoImpl{}
@objcprotocolNC3{
@objcoptionalfunc test(_:NeedsProto<NC2>)
}

// CHECK-LABEL: @interface ND3 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol ND2
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface ND1 : NSObject <ND2>
// CHECK: @end
classND1:NSObject,ND2{}
@objcprotocolND2{
@objcoptionalfunc test(_:NeedsProto<ND3>)
}
classND3:ProtoImpl{}

// CHECK-LABEL: @interface NE3 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol NE1
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface NE2 : NSObject <NE1>
// CHECK: @end
@objcprotocolNE1{
@objcoptionalfunc test(_:NeedsProto<NE3>)
}
classNE2:NSObject,NE1{}
classNE3:ProtoImpl{}

// CHECK-LABEL: @interface NF2 : ProtoImpl
// CHECK: @end
// CHECK-LABEL: @protocol NF1
// CHECK: - (void)test:
// CHECK: @end
// CHECK-LABEL: @interface NF3 : NSObject <NF1>
// CHECK: @end
@objcprotocolNF1{
@objcoptionalfunc test(_:NeedsProto<NF2>)
}
classNF2:ProtoImpl{}
classNF3:NSObject,NF1{}

// CHECK-LABEL: @interface ZZZ_EOF : NSObject
classZZZ_EOF:NSObject{
} // CHECK: @end

// CHECK-LABEL: @interface A1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface B1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface C1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface D1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface D4 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface H1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK-NOT: @end
// CHECK: - (void)anotherTest:
// CHECK: @end

// CHECK-LABEL: @interface H2 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end

// CHECK-LABEL: @interface I1 (SWIFT_EXTENSION(circularity))
// CHECK: - (void)test:
// CHECK: @end