From e27d64ed8d8e524175a28f48d1f78cabfd28dbd7 Mon Sep 17 00:00:00 2001
From: Kathy Gray <kathryn.gray@cl.cam.ac.uk>
Date: Mon, 14 Nov 2005 22:34:58 +0000
Subject: [PATCH] instanceof test

svn: r1317
---
 collects/tests/profj/intermediate-tests.ss | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/collects/tests/profj/intermediate-tests.ss b/collects/tests/profj/intermediate-tests.ss
index 09760ae88a..92f57f3e6d 100644
--- a/collects/tests/profj/intermediate-tests.ss
+++ b/collects/tests/profj/intermediate-tests.ss
@@ -174,7 +174,7 @@
     }"
    'intermediate #f "Book Test Date")
 
-    (execute-test
+  (execute-test
    "abstract class AZooAnimal{
      String name;
      int weight; 
@@ -222,7 +222,7 @@
            }"
    'intermediate #f "Calling super")
 
-    (execute-test
+  (execute-test
    "interface foo {
                int size();
                    }
@@ -231,7 +231,7 @@
                                              }"
    'intermediate #f "Interface implemented")
 
-    (execute-test
+  (execute-test
     "abstract class Path { abstract boolean isOk(); }
      abstract class Success extends Path {
       boolean isOk() { return true; }
@@ -242,6 +242,14 @@
      }"
     'intermediate #f "Abstract method implemented, class subclassed")
 
+  (execute-test
+   "class X {
+     boolean equals( Object o ) {
+      return o instanceof X;
+    }
+  }"
+   'intermediate #f "Correct instanceof usage")
+  
   ;;Execute tests with errors
 
   (execute-test