checker/tests/guieffect/UIElement.java

import org.checkerframework.checker.guieffect.qual.SafeEffect;
import org.checkerframework.checker.guieffect.qual.UIType;

@UIType
public interface UIElement {
  public void dangerous();

  @SafeEffect
  public void repaint();

  @SafeEffect
  public void runOnUIThread(IAsyncUITask task);
}