[stdlib] Implement NSObject's == and hashValue() using -isEqual: and -hash.

Swift SVN r15826

test/stdlib/NSObject.swift

@@ -0,0 +1,218 @@
+// RUN: %target-run-simple-swift | FileCheck %s
+
+import Foundation
+
+
+//===----------------------------------------------------------------------===//
+// NSObject ==
+//===----------------------------------------------------------------------===//
+
+func printEquality<T: Equatable>(lhs: T, rhs: T, lhsName: String, rhsName: String) {
+  if lhs == lhs {
+    println("\(lhsName) == \(lhsName)")
+  }
+  if lhs != lhs {
+    println("\(lhsName) != \(lhsName)")
+  }
+  if lhs == rhs {
+    println("\(lhsName) == \(rhsName)")
+  }
+  if lhs != rhs {
+    println("\(lhsName) != \(rhsName)")
+  }
+}
+
+func printIdentity(lhs: AnyObject, rhs: AnyObject, lhsName: String, rhsName: String) {
+  if lhs === lhs {
+    println("\(lhsName) === \(lhsName)")
+  }
+  if lhs !== lhs {
+    println("\(lhsName) !== \(lhsName)")
+  }
+  if lhs === rhs {
+    println("\(lhsName) === \(rhsName)")
+  }
+  if lhs !== rhs {
+    println("\(lhsName) !== \(rhsName)")
+  }
+}
+
+
+println("NoisyEqual ==")
+class NoisyEqual : NSObject {
+  @override func isEqual(rhs: AnyObject) -> Bool {
+    println("wow much equal")
+    return super.isEqual(rhs)
+  }
+}
+
+let n1 = NoisyEqual.init()
+let n2 = NoisyEqual.init()
+printIdentity(n1, n2, "n1", "n2")
+printEquality(n1, n2, "n1", "n2")
+println("done NoisyEqual ==")
+// CHECK: NoisyEqual ==
+// CHECK-NEXT: n1 === n1
+// CHECK-NEXT: n1 !== n2
+// CHECK-NEXT: wow much equal
+// CHECK-NEXT: n1 == n1
+// CHECK-NEXT: wow much equal
+// CHECK-NEXT: wow much equal
+// CHECK-NEXT: wow much equal
+// CHECK-NEXT: n1 != n2
+// CHECK-NEXT: done NoisyEqual ==
+
+
+println("NSObject ==")
+let o1 = NSObject.init()
+let o2 = NSObject.init()
+printIdentity(o1, o2, "o1", "o2")
+printEquality(o1, o2, "o1", "o2")
+printIdentity(o1, 10, "o1", "10")
+printEquality(o1, 10, "o1", "10")
+printIdentity(10, o1, "10", "o1")
+printEquality(10, o1, "10", "o1")
+println("done NSObject ==")
+// CHECK: NSObject ==
+// CHECK-NEXT: o1 === o1
+// CHECK-NEXT: o1 !== o2
+// CHECK-NEXT: o1 == o1
+// CHECK-NEXT: o1 != o2
+// CHECK-NEXT: o1 === o1
+// CHECK-NEXT: o1 !== 10
+// CHECK-NEXT: o1 == o1
+// CHECK-NEXT: o1 != 10
+// CHECK-NEXT: 10 === 10
+// CHECK-NEXT: 10 !== o1
+// CHECK-NEXT: 10 == 10
+// CHECK-NEXT: 10 != o1
+// CHECK: done NSObject ==
+
+
+println("NSMutableString ==")
+let s1 = NSMutableString.init(withString:"hazcam")
+let s2 = NSMutableString.init(withString:"hazcam")
+printIdentity(s1, s2, "s1", "s2")
+printEquality(s1, s2, "s1", "s2")
+println("mutate")
+s2.appendString("navcam")
+printIdentity(s1, s2, "s1", "s2")
+printEquality(s1, s2, "s1", "s2")
+println("done NSMutableString ==")
+// CHECK: NSMutableString ==
+// CHECK-NEXT: s1 === s1
+// CHECK-NEXT: s1 !== s2
+// CHECK-NEXT: s1 == s1
+// CHECK-NEXT: s1 == s2
+// CHECK-NEXT: mutate
+// CHECK-NEXT: s1 === s1
+// CHECK-NEXT: s1 !== s2
+// CHECK-NEXT: s1 == s1
+// CHECK-NEXT: s1 != s2
+// CHECK-NEXT: done NSMutableString ==
+
+
+//===----------------------------------------------------------------------===//
+// NSObject hashValue()
+//===----------------------------------------------------------------------===//
+
+func printHashValue<T: Hashable>(x: T, name: String) {
+  println("\(name) hashes to \(x.hashValue())")
+}
+
+
+println("NSMutableString hashValue")
+println("\(s1.hashValue())")
+println("\(s1.hash())")
+s1.appendString("pancam")
+println("\(s1.hashValue())")
+println("\(s1.hash())")
+println("done NSMutableString hashValue")
+// CHECK: NSMutableString hashValue
+// CHECK-NEXT: [[H1:[0-9]+]]
+// CHECK-NEXT: [[H1]]
+// CHECK-NEXT: [[H2:[0-9]+]]
+// CHECK-NEXT: [[H2]]
+// CHECK-NEXT: done NSMutableString hashValue
+
+
+class NoisyHash : NSObject {
+  @override func hash() -> Int {
+    println("so hash")
+    return super.hash()
+  }
+}
+
+println("NoisyHash hashValue")
+let nh = NoisyHash.init()
+printHashValue(nh, "nh")
+println("done NoisyHash hashValue")
+// CHECK: NoisyHash hashValue
+// CHECK-NEXT: so hash
+// CHECK-NEXT: nh hashes to {{[0-9]+}}
+// CHECK: done NoisyHash hashValue
+
+
+class ValueLike : NSObject {
+  var x: Int
+
+  init(withInt: Int) {
+    x = withInt
+    super.init()
+  }
+
+  @override func isEqual(rhs: AnyObject) -> Bool {
+    if let rhs2 = rhs as ValueLike {
+      return x == rhs2.x
+    }
+    return false
+  }
+
+  @override func hash() -> Int {
+    return x
+  }
+}
+
+println("ValueLike hashValue")
+let sh1 = ValueLike.init(withInt:10)
+let sh2 = ValueLike.init(withInt:20)
+let sh3 = ValueLike.init(withInt:10)
+printIdentity(sh1, sh2, "sh1", "sh2")
+printIdentity(sh1, sh3, "sh1", "sh3")
+printIdentity(sh2, sh3, "sh2", "sh3")
+printEquality(sh1, sh2, "sh1", "sh2")
+printEquality(sh1, sh3, "sh1", "sh3")
+printEquality(sh2, sh3, "sh2", "sh3")
+printEquality(sh1.hashValue(), sh2.hashValue(), "sh1 hash", "sh2 hash")
+printEquality(sh1.hashValue(), sh3.hashValue(), "sh1 hash", "sh3 hash")
+printEquality(sh2.hashValue(), sh3.hashValue(), "sh2 hash", "sh3 hash")
+var dict = Dictionary<ValueLike, Int>()
+dict[sh1] = sh1.x
+dict[sh2] = sh2.x
+println("sh1 \(dict[sh1])")
+println("sh2 \(dict[sh2])")
+println("sh3 \(dict[sh3])")
+println("done ValueLike hashValue")
+// CHECK: ValueLike hashValue
+// CHECK-NEXT: sh1 === sh1
+// CHECK-NEXT: sh1 !== sh2
+// CHECK-NEXT: sh1 === sh1
+// CHECK-NEXT: sh1 !== sh3
+// CHECK-NEXT: sh2 === sh2
+// CHECK-NEXT: sh2 !== sh3
+// CHECK-NEXT: sh1 == sh1
+// CHECK-NEXT: sh1 != sh2
+// CHECK-NEXT: sh1 == sh1
+// CHECK-NEXT: sh1 == sh3
+// CHECK-NEXT: sh2 == sh2
+// CHECK-NEXT: sh2 != sh3
+// CHECK-NEXT: sh1 hash == sh1 hash
+// CHECK-NEXT: sh1 hash != sh2 hash
+// CHECK-NEXT: sh1 hash == sh1 hash
+// CHECK-NEXT: sh1 hash == sh3 hash
+// CHECK-NEXT: sh2 hash == sh2 hash
+// CHECK-NEXT: sh2 hash != sh3 hash
+// CHECK-NEXT: sh1 10
+// CHECK-NEXT: sh2 20
+// CHECK-NEXT: sh3 10
+// CHECK-NEXT: done ValueLike hashValue