# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1360016732 -3600
# Node ID cad4ac1d51fb0064e2a99eb6245c3cd2ee5d4460
# Parent  09225928b9fbb603afca659cc2fa56c1554acb6d
Some additional checks for instanceof

diff -r 09225928b9fb -r cad4ac1d51fb vm/src/test/java/org/apidesign/vm4brwsr/Classes.java
--- a/vm/src/test/java/org/apidesign/vm4brwsr/Classes.java	Mon Feb 04 23:22:54 2013 +0100
+++ b/vm/src/test/java/org/apidesign/vm4brwsr/Classes.java	Mon Feb 04 23:25:32 2013 +0100
@@ -97,6 +97,9 @@
             return -2;
         }
         ClassesMarker cm = Classes.class.getAnnotation(ClassesMarker.class);
+        assert cm instanceof Object : "Is object " + cm;
+        assert cm instanceof Annotation : "Is annotation " + cm;
+        assert !((Object)cm instanceof Class) : "Is not Class " + cm;
         return cm == null ? -1 : cm.number();
     }
     public static String getMarkerNicknames() {