// Make sure parse-only works...
// RUN: %target-swift-frontend -parse %s

// ...and then make sure parse-and-typecheck-and-serialize works.
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -o %t/SmokeTest.swiftmodule %s
// RUN: %target-swift-ide-test -print-module -module-to-print SmokeTest -I %t -source-filename x -print-interface > %t/SmokeTest.txt
// RUN: %FileCheck %s < %t/SmokeTest.txt
// RUN: %FileCheck -check-prefix NEGATIVE %s < %t/SmokeTest.txt

// CHECK-LABEL: public class Test
public class Test {
  // CHECK: public init(){{$}}
  public init()

  // CHECK: public func method(){{$}}
  public func method()

  // CHECK: public subscript(_: Int) -> Void{{$}}
  public subscript(_: Int) -> Void { get set }

  // NEGATIVE-NOT: deinit
  deinit
} // CHECK: {{^}$}}

// CHECK: public var readOnlyVar: Int { get }{{$}}
public var readOnlyVar: Int { get }

// CHECK: public var readWriteVar: Int{{$}}
public var readWriteVar: Int { get set }

// CHECK: public func verySimpleFunction(){{$}}
public func verySimpleFunction()