Description Axel Uhl 2011-05-01 04:38:44 EDT

Here's an additional test case for TupleTest that fails so far.

        public void test_tupleLiteral_nullValues() {
                // one part
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a = null}.a " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:OclVoid = null}.a " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:String = null}.a " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:Fruit = null}.a " +
                        "endpackage")));

                // multiple parts
                assertEquals(1, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a = null, b=1}.b " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a = null, b=1}.a " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:String = null, b='abc'}.a " +
                        "endpackage")));
                assertEquals("abc", evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:String = null, b='abc'}.b " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:Fruit = null, b:String='abc'}.a " +
                        "endpackage")));
                assertEquals(null, evaluate(parse(
                        "package ocltest context Fruit " +
                        "inv: Tuple{a:Fruit = null, b:OclVoid=null}.b " +
                        "endpackage")));
        }

The null values cause ClassCastExceptions with VoidTypeImpl not conforming to EClass. A fix has to avoid actually invoking the setting delegate for OclVoid-typed tuple components, for both reading and creating.