vm/src/test/java/org/apidesign/vm4brwsr/Instance.java
changeset 30 7efb52f76270
parent 24 a82e89aae050
child 106 346633cd13d6
     1.1 --- a/vm/src/test/java/org/apidesign/vm4brwsr/Instance.java	Mon Sep 24 11:22:50 2012 +0200
     1.2 +++ b/vm/src/test/java/org/apidesign/vm4brwsr/Instance.java	Tue Sep 25 12:26:29 2012 +0200
     1.3 @@ -70,6 +70,16 @@
     1.4          Instance i = createInstance(sub);
     1.5          return isInstanceSubOf(i);
     1.6      }
     1.7 +    public static int castsWork(boolean interfc) {
     1.8 +        Instance i = createInstance(true);
     1.9 +        if (interfc) {
    1.10 +            GetByte b = (GetByte)i;
    1.11 +        } else {
    1.12 +            InstanceSub s = (InstanceSub)i;
    1.13 +        }
    1.14 +        return 5;
    1.15 +    }
    1.16 +    
    1.17      private static boolean isInstanceSubOf(Instance instance) {
    1.18          return instance instanceof InstanceSub;
    1.19      }