package test

abstract class AbstractBase
{
    /* attribute with overridden setter, XText validation is OK ! */
    int valueA
    set
    {
        checkValue(valueA)
    } // !error! no modified setter generated in AbstractBaseImpl class !
    //
    /* check method, should be abstract */
    op int checkValue(int value)
}

class A extends AbstractBase
{
    /* special check method for class A */
    op int checkValue(int value) {
        if (value < -10)
            throw new IllegalArgumentException()
        value
    }
}

class B extends AbstractBase
{
    /* special check method for class B */
    op int checkValue(int value) {
        if (value > 10)
            throw new IllegalArgumentException()
        value
    }
}