checker/tests/guieffect/UIChild.java

import org.checkerframework.checker.guieffect.qual.PolyUIEffect;
import org.checkerframework.checker.guieffect.qual.SafeEffect;
import org.checkerframework.checker.guieffect.qual.UIEffect;

// Should not inherit @UI!
public class UIChild extends UIParent {
  @Override
  public void doingUIStuff() {
    // :: error: (call.ui)
    thingy.dangerous();
  }

  // Should be an error to make this @UI
  @Override
  @UIEffect
  // :: error: (override.effect)
  public void doingSafeStuff() {}

  public void shouldNotBeUI() {
    // :: error: (call.ui)
    thingy.dangerous();
  }

  @UIEffect
  @SafeEffect
  // :: error: (annotations.conflicts)
  public void doubleAnnot1() {}

  @UIEffect
  @PolyUIEffect
  // :: error: (annotations.conflicts) :: error: (polymorphism)
  public void doubleAnnot2() {}

  @PolyUIEffect
  @SafeEffect
  // :: error: (annotations.conflicts) :: error: (polymorphism)
  public void doubleAnnot3() {}
}