checker.src.org.checkerframework.checker.guieffect.jdk.astub Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation

The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

There is a newer version: 3.42.0

Show newest version

package java.lang;
import org.checkerframework.checker.guieffect.qual.*;
@PolyUIType class Object {
    @SafeEffect Class getClass() @PolyUI;
}

// These types are polymorphic, but they're basically unusable unless I fix the subtyping among
// differently permissioned interfaces...
//package java.util;
//@PolyUIType interface Observer {
//    @PolyUIEffect void update(@PolyUI Observable o, Object arg) @PolyUI;
//}
//@PolyUIType class Observable {
//    @SafeEffect void addObserver(@PolyUI Observer o) @PolyUI;
//    @SafeEffect void deleteObserver(@PolyUI Observer o) @PolyUI;
//    @PolyUIEffect void notifyObservers() @PolyUI;
//    @PolyUIEffect void notifyObservers(Object arg) @PolyUI;
//}

@UIPackage
package java.awt;

@UIType class Component implements ImageObserver, MenuContainer, Serializable {
    @SafeEffect void repaint();
    @SafeEffect void repaint(long arg0);
    @SafeEffect void repaint(int arg0, int arg1, int arg2, int arg3);
    @SafeEffect void repaint(long arg0, int arg1, int arg2, int arg3, int arg4);
}
@UIType class Container extends Component {
    @SafeEffect void invalidate();
}

class Desktop {
    @SafeEffect void browse(URI uri);
    @SafeEffect void edit(File file);
    @SafeEffect static Desktop getDesktop();
    @SafeEffect static boolean isDesktopSupported();
    @SafeEffect boolean isSupported(Desktop.Action action);
    @SafeEffect void mail();
    @SafeEffect void mail(URI mailtoURI);
    @SafeEffect void open(File file);
    @SafeEffect void print(File file);
}

@UIType class EventQueue {
    @SafeEffect void invokeLater(@UI Runnable arg0);
}

package java.beans;
@PolyUIType public interface PropertyChangeListener extends EventListener {
    @PolyUIEffect void propertyChange(PropertyChangeEvent evt) @PolyUI;
}
@PolyUIType public class PropertyChangeSupport implements Serializable {
    @SafeEffect public PropertyChangeSupport(@PolyUI Object sourceBean);
    @PolyUIEffect public void addPropertyChangeListener(@PolyUI PropertyChangeListener listener) @PolyUI;
    @PolyUIEffect public void removePropertyChangeListener(PropertyChangeListener listener) @PolyUI;
    @PolyUIEffect public @PolyUI PropertyChangeListener[] getPropertyChangeListeners() @PolyUI;
    @PolyUIEffect public void addPropertyChangeListener(String propertyName, @PolyUI PropertyChangeListener listener) @PolyUI;
    @PolyUIEffect public void removePropertyChangeListener(String propertyName, @PolyUI PropertyChangeListener listener) @PolyUI;
    @PolyUIEffect public @PolyUI PropertyChangeListener[] getPropertyChangeListeners(String propertyName) @PolyUI;
    @PolyUIEffect public void firePropertyChange(String propertyName, Object oldValue, Object newValue) @PolyUI;
    @PolyUIEffect public void firePropertyChange(String propertyName, int oldValue, int newValue) @PolyUI;
    @PolyUIEffect public void firePropertyChange(String propertyName, boolean oldValue, boolean newValue) @PolyUI;
    @PolyUIEffect public void firePropertyChange(PropertyChangeEvent event) @PolyUI;
    @PolyUIEffect public void fireIndexedPropertyChange(String propertyName,
                             int index,
                             Object oldValue,
                             Object newValue) @PolyUI;
    @PolyUIEffect public void fireIndexedPropertyChange(String propertyName,
                             int index,
                             int oldValue,
                             int newValue) @PolyUI;
    @PolyUIEffect public void fireIndexedPropertyChange(String propertyName,
                             int index,
                             boolean oldValue,
                             boolean newValue) @PolyUI;
    @PolyUIEffect public boolean hasListeners(String propertyName) @PolyUI;
}


@UIPackage
package java.awt.event;

import org.checkerframework.checker.guieffect.qual.*;

@UIType interface ActionListener extends EventListener {
    @UIEffect void actionPerformed(ActionEvent e);
}

@UIPackage package java.awt.dnd;

@UIPackage
package javax.swing;

import org.checkerframework.checker.guieffect.qual.*;
@UIType class JComponent extends Container implements Serializable, HasGetTransferHandler {
    @SafeEffect void revalidate();
}

@UIType class SwingUtilities implements SwingConstants {
    @SafeEffect static void invokeLater(@UI Runnable doRun);
    @SafeEffect static void invokeAndWait(@UI Runnable doRun);
}

@UIType class UIManager implements Serializable {
    @SafeEffect static void setLookAndFeel(LookAndFeel newLookAndFeel);
    @SafeEffect static void setLookAndFeel(String classname);
}

@UIPackage package javax.swing.text;
public abstract class JTextComponent extends JComponent implements Scrollable, Accessible {
    @SafeEffect public void setText(String t);
}


package java.lang;

@PolyUIType interface Runnable {
    @PolyUIEffect void run() @PolyUI;
}

@UIPackage
package javax.swing.event;