illegalmi.ice

ICE-3.2 一个开源的中间件

    interface A1
    {
        void ia1();
    };

    interface B1
    {
        void ib1();
        void op();
    };

    interface C1
    {
        void ic1();
        void op();
    };

    interface D1
    {
        void id1();
        void op();
    };

    interface A2 extends A1, B1, C1, D1         // Error
    {
        void ia2();
    };

};

// ----------------------------------------------------------------------

module M22
{

    interface A1
    {
        void ia1();
        void op();
    };

    interface B1
    {
        void ib1();
        void op();
    };

    interface C1
    {
        void ic1();
        void op();
    };

    interface D1
    {
        void id1();
        void op();
    };

    interface A2 extends A1, B1, C1, D1         // Error
    {
        void ia2();
    };

};

// ----------------------------------------------------------------------

module M23
{

    interface A0
    {
        void ia0();
    };

    interface B0
    {
        void ib0();
    };

    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1
    {
        void ib1();
    };

    interface C1
    {
        void ic1();
    };

    interface D1
    {
        void id1();
    };

    interface A2 extends A1, B1, C1, D1         // OK
    {
        void ia2();
    };

};

// ----------------------------------------------------------------------

module M24
{

    interface A0
    {
        void ia0();
        void op();
    };

    interface B0
    {
        void ib0();
    };

    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1
    {
        void ib1();
    };

    interface C1
    {
        void ic1();
    };

    interface D1
    {
        void id1();
    };

    interface A2 extends A1, B1, C1, D1
    {
        void ia2();
        void op();                              // Error
    };

};

// ----------------------------------------------------------------------

module M25
{

    interface A0
    {
        void ia0();
    };

    interface B0
    {
        void ib0();
        void op();
    };

    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1
    {
        void ib1();
    };

    interface C1
    {
        void ic1();
    };

    interface D1
    {
        void id1();
    };

    interface A2 extends A1, B1, C1, D1
    {
        void ia2();
        void op();                              // Error
    };

};

// ----------------------------------------------------------------------

module M26
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0();                     //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0();                     //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0();                     //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1();
    };

    interface A2 extends A1
    {
        void ia2();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // OK
    {
        void ia4();
    };

};

// ----------------------------------------------------------------------

module M27
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0();                     //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0(); void op();          //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0();                     //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1();
    };

    interface A2 extends A1
    {
        void ia2(); void op();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // Error
    {
        void ia4();
    };

};

// ----------------------------------------------------------------------

module M28
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0(); void op();          //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0(); void op();          //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0();                     //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1();
    };

    interface A2 extends A1
    {
        void ia2();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // Error
    {
        void ia4();
    };

};

// ----------------------------------------------------------------------

module M29
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0(); void op();          //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0();                     //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0(); void op();          //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1();
    };

    interface A2 extends A1
    {
        void ia2();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // Error
    {
        void ia4();
    };

};

module M30
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0(); void op();          //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0();                     //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0();                     //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1(); void op();
    };

    interface A2 extends A1
    {
        void ia2();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // Error
    {
        void ia4();
    };

};

module M31
{

                                        //       A0    B0  C0     D0    //
    interface A0 {                      //        \    /    \    /  \   //
        void ia0();                     //         \  /      \  /    \  //
    };                                  //          A1        B1     C1 //
                                        //         /  \      /  \    /  //
    interface B0 {                      //        /    \    /    \  /   //
        void ib0();                     //       A2    B2  C2     D2    //
    };                                  //        \    /    \    /      //
                                        //         \  /      \  /       //
    interface C0 {                      //          A3        B3        //
        void ic0();                     //           \        /         //
    };                                  //            \      /          //
                                        //             \    /           //
    interface D0 {                      //              \  /            //
        void id0();                     //               A4             //
    };
                                       
    interface A1 extends A0, B0
    {
        void ia1(); void op();
    };

    interface B1 extends C0, D0
    {
        void ib1();
    };

    interface C1 extends D0
    {
        void ic1(); void op();
    };

    interface A2 extends A1
    {
        void ia2();
    };
    
    interface B2 extends A1
    {
        void ib2();
    };
    
    interface C2 extends B1
    {
        void ic2();
    };
    
    interface D2 extends B1, C1
    {
        void id2();
    };
    
    interface A3 extends A2, B2
    {
        void ia3();
    };
    
    interface B3 extends C2, D2
    {
        void ib3();
    };

    interface A4 extends A3, B3         // Error
    {
        void ia4();
    };
};