package polyall;

import org.checkerframework.framework.qual.DefaultQualifier;
import org.checkerframework.framework.qual.DefaultQualifiers;
import org.checkerframework.framework.qual.TypeUseLocation;
import polyall.quals.*;
/**
 * This test is solely to ensure that if bounds in type parameters and wildcards are invalid then
 * they are reported as such using a "bound.type.incompatible" error.
 *
 * <p>Polyall has been a catch all for a variety of cases because it has a useful type hierarchy.
 * That is the same reason this test is placed here.
 *
 * <p>A valid bound is one with LOWER_BOUND annotations that subtypes of UPPER_BOUND annotations.
 */

// set the defaults in the H2 hierarchy such that do not report errors in this test
@DefaultQualifiers({
    @DefaultQualifier(
        value = H2Top.class,
        locations = {TypeUseLocation.UPPER_BOUND}
    ),
    @DefaultQualifier(
        value = H2Bot.class,
        locations = {TypeUseLocation.LOWER_BOUND}
    )
})
public class IncompatibleBounds {

    // The bounds below are valid
    class TopToBottom<@H1Bot T extends @H1Top Object> {}

    class TopToH1S1<@H1S1 TT extends @H1Top Object> {}

    class H1S1ToBot<@H1Bot TTT extends @H1S1 Object> {}

    class H1S1ToH1S1<@H1S1 TTTT extends @H1S1 Object> {}

    class ValidContext {
        TopToBottom<@H1Bot ? extends @H1Top Object> topToBot;
        TopToH1S1<@H1S1 ? extends @H1Top Object> topToH1S1;
        H1S1ToBot<@H1Bot ? extends @H1S1 Object> h1S1ToBot;
        H1S1ToH1S1<@H1S1 ? extends @H1S1 Object> h1S1ToH1S1;
    }

    // invalid combinations
    //:: error: (bound.type.incompatible)
    class BottomToTop<@H1Top U extends @H1Bot Object> {}
    //:: error: (bound.type.incompatible)
    class H1S1ToTop<@H1Top UU extends @H1S1 Object> {}
    //:: error: (bound.type.incompatible)
    class BottomToH1S1<@H1S1 UUU extends @H1Bot Object> {}
    //:: error: (bound.type.incompatible)
    class H1S2ToH1S1<@H1S1 UUUU extends @H1S2 Object> {}

    class InvalidContext {
        //:: error: (bound.type.incompatible)
        BottomToTop<@H1Top ? extends @H1Bot Object> bottomToTop;
        //:: error: (bound.type.incompatible)
        H1S1ToTop<@H1Top ? extends @H1S1 Object> h1S1ToTop;
        //:: error: (bound.type.incompatible)
        BottomToH1S1<@H1S1 ? extends @H1Bot Object> bottomToH1S1;
        //:: error: (bound.type.incompatible)
        H1S2ToH1S1<@H1S1 ? extends @H1S2 Object> h1S2ToH1S1;
    }
}