jdkbasenonnullreturn.db

A static analysis tool to find bugs in Java programs

java.awt.KeyboardFocusManager$2,run,()Ljava/lang/Object;,1|true
java.awt.KeyboardFocusManager$HeavyweightFocusRequest,toString,()Ljava/lang/String;,1|true
java.awt.KeyboardFocusManager$LightweightFocusRequest,toString,()Ljava/lang/String;,1|true
java.awt.Label,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Label,paramString,()Ljava/lang/String;,4|true
java.awt.LinearGradientPaint,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,1|true
java.awt.LinearGradientPaint,getEndPoint,()Ljava/awt/geom/Point2D;,1|true
java.awt.LinearGradientPaint,getStartPoint,()Ljava/awt/geom/Point2D;,1|true
java.awt.List,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.List,getItems,()[Ljava/lang/String;,33|true
java.awt.List,getSelectedIndexes,()[I,33|true
java.awt.List,getSelectedItems,()[Ljava/lang/String;,33|true
java.awt.List,getSelectedObjects,()[Ljava/lang/Object;,1|true
java.awt.List,paramString,()Ljava/lang/String;,4|true
java.awt.List$AccessibleAWTList,getAccessibleSelection,()Ljavax/accessibility/AccessibleSelection;,1|true
java.awt.List$AccessibleAWTList,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.List$AccessibleAWTList$AccessibleAWTListChild,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.List$AccessibleAWTList$AccessibleAWTListChild,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.Menu,add,(Ljava/awt/MenuItem;)Ljava/awt/MenuItem;,1|true
java.awt.Menu,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Menu,paramString,()Ljava/lang/String;,1|true
java.awt.MenuBar,add,(Ljava/awt/Menu;)Ljava/awt/Menu;,1|true
java.awt.MenuBar,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.MenuBar,shortcuts,()Ljava/util/Enumeration;,33|true
java.awt.MenuComponent,paramString,()Ljava/lang/String;,4|true
java.awt.MenuComponent,toString,()Ljava/lang/String;,1|true
java.awt.MenuComponent$AccessibleAWTMenuComponent,getAccessibleComponent,()Ljavax/accessibility/AccessibleComponent;,1|true
java.awt.MenuComponent$AccessibleAWTMenuComponent,getAccessibleSelection,()Ljavax/accessibility/AccessibleSelection;,1|true
java.awt.MenuComponent$AccessibleAWTMenuComponent,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.MenuItem,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.MenuItem,paramString,()Ljava/lang/String;,1|true
java.awt.MenuItem$AccessibleAWTMenuItem,getAccessibleAction,()Ljavax/accessibility/AccessibleAction;,1|true
java.awt.MenuItem$AccessibleAWTMenuItem,getAccessibleValue,()Ljavax/accessibility/AccessibleValue;,1|true
java.awt.MenuShortcut,paramString,()Ljava/lang/String;,4|true
java.awt.MenuShortcut,toString,()Ljava/lang/String;,1|true
java.awt.MultipleGradientPaint,getFractions,()[F,17|true
java.awt.MultipleGradientPaint,getTransform,()Ljava/awt/geom/AffineTransform;,17|true
java.awt.MultipleGradientPaintContext,getRaster,(IIII)Ljava/awt/image/Raster;,17|true
java.awt.PageAttributes,clone,()Ljava/lang/Object;,1|true
java.awt.PageAttributes,getPrinterResolution,()[I,1|true
java.awt.PageAttributes,toString,()Ljava/lang/String;,1|true
java.awt.PageAttributes$ColorType,toString,()Ljava/lang/String;,4161|true
java.awt.PageAttributes$MediaType,toString,()Ljava/lang/String;,4161|true
java.awt.PageAttributes$OrientationRequestedType,toString,()Ljava/lang/String;,4161|true
java.awt.PageAttributes$OriginType,toString,()Ljava/lang/String;,4161|true
java.awt.PageAttributes$PrintQualityType,toString,()Ljava/lang/String;,4161|true
java.awt.Panel,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Point,getLocation,()Ljava/awt/Point;,1|true
java.awt.Point,toString,()Ljava/lang/String;,1|true
java.awt.Polygon,getBoundingBox,()Ljava/awt/Rectangle;,1|true
java.awt.Polygon,getBounds,()Ljava/awt/Rectangle;,1|true
java.awt.Polygon,getBounds2D,()Ljava/awt/geom/Rectangle2D;,1|true
java.awt.Polygon,getPathIterator,(Ljava/awt/geom/AffineTransform;)Ljava/awt/geom/PathIterator;,1|true
java.awt.Polygon,getPathIterator,(Ljava/awt/geom/AffineTransform;D)Ljava/awt/geom/PathIterator;,1|true
java.awt.PopupMenu,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.RadialGradientPaint,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,1|true
java.awt.RadialGradientPaint,getCenterPoint,()Ljava/awt/geom/Point2D;,1|true
java.awt.RadialGradientPaint,getFocusPoint,()Ljava/awt/geom/Point2D;,1|true
java.awt.Rectangle,createIntersection,(Ljava/awt/geom/Rectangle2D;)Ljava/awt/geom/Rectangle2D;,1|true
java.awt.Rectangle,createUnion,(Ljava/awt/geom/Rectangle2D;)Ljava/awt/geom/Rectangle2D;,1|true
java.awt.Rectangle,getBounds,()Ljava/awt/Rectangle;,1|true
java.awt.Rectangle,getBounds2D,()Ljava/awt/geom/Rectangle2D;,1|true
java.awt.Rectangle,getLocation,()Ljava/awt/Point;,1|true
java.awt.Rectangle,getSize,()Ljava/awt/Dimension;,1|true
java.awt.Rectangle,intersection,(Ljava/awt/Rectangle;)Ljava/awt/Rectangle;,1|true
java.awt.Rectangle,toString,()Ljava/lang/String;,1|true
java.awt.Rectangle,union,(Ljava/awt/Rectangle;)Ljava/awt/Rectangle;,1|true
java.awt.RenderingHints,clone,()Ljava/lang/Object;,1|true
java.awt.RenderingHints,keySet,()Ljava/util/Set;,1|true
java.awt.RenderingHints,toString,()Ljava/lang/String;,1|true
java.awt.RenderingHints,values,()Ljava/util/Collection;,1|true
java.awt.Robot,createScreenCapture,(Ljava/awt/Rectangle;)Ljava/awt/image/BufferedImage;,33|true
java.awt.Robot,getPixelColor,(II)Ljava/awt/Color;,33|true
java.awt.Robot,toString,()Ljava/lang/String;,33|true
java.awt.ScrollPane,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.ScrollPane,getScrollPosition,()Ljava/awt/Point;,1|true
java.awt.ScrollPane,getViewportSize,()Ljava/awt/Dimension;,1|true
java.awt.ScrollPane,paramString,()Ljava/lang/String;,1|true
java.awt.ScrollPaneAdjustable,paramString,()Ljava/lang/String;,1|true
java.awt.ScrollPaneAdjustable,toString,()Ljava/lang/String;,1|true
java.awt.Scrollbar,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Scrollbar,paramString,()Ljava/lang/String;,4|true
java.awt.Scrollbar$AccessibleAWTScrollBar,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.Scrollbar$AccessibleAWTScrollBar,getAccessibleValue,()Ljavax/accessibility/AccessibleValue;,1|true
java.awt.SplashScreen,getSize,()Ljava/awt/Dimension;,1|true
java.awt.SystemColor,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,1|true
java.awt.SystemColor,toString,()Ljava/lang/String;,1|true
java.awt.TextArea,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.TextArea,paramString,()Ljava/lang/String;,4|true
java.awt.TextArea$AccessibleAWTTextArea,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.TextComponent,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.TextComponent,getSelectedText,()Ljava/lang/String;,33|true
java.awt.TextComponent,paramString,()Ljava/lang/String;,4|true
java.awt.TextComponent$AccessibleAWTTextComponent,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.TextComponent$AccessibleAWTTextComponent,getAccessibleText,()Ljavax/accessibility/AccessibleText;,1|true
java.awt.TextField,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.TextField,paramString,()Ljava/lang/String;,4|true
java.awt.TextField$AccessibleAWTTextField,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.TexturePaint,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,1|true
java.awt.TexturePaint,getAnchorRect,()Ljava/awt/geom/Rectangle2D;,1|true
java.awt.TexturePaintContext$Any,makeRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.TexturePaintContext$Byte,makeRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.TexturePaintContext$ByteFilter,makeRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.TexturePaintContext$Int,makeRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.Toolkit,getAWTEventListeners,()[Ljava/awt/event/AWTEventListener;,1|true
java.awt.Toolkit,getMouseInfoPeer,()Ljava/awt/peer/MouseInfoPeer;,4|true
java.awt.Window,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Window,getIconImages,()Ljava/util/List;,1|true
java.awt.Window,getInputContext,()Ljava/awt/im/InputContext;,1|true
java.awt.Window,getLocale,()Ljava/util/Locale;,1|true
java.awt.Window$AccessibleAWTWindow,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.color.ICC_ColorSpace,fromCIEXYZ,([F)[F,1|true
java.awt.color.ICC_ColorSpace,fromRGB,([F)[F,1|true
java.awt.color.ICC_ColorSpace,toCIEXYZ,([F)[F,1|true
java.awt.color.ICC_ColorSpace,toRGB,([F)[F,1|true
java.awt.color.ICC_Profile,getData,()[B,1|true
java.awt.color.ICC_ProfileGray,getMediaWhitePoint,()[F,1|true
java.awt.color.ICC_ProfileGray,getTRC,()[S,1|true
java.awt.color.ICC_ProfileRGB,getMatrix,()[[F,1|true
java.awt.color.ICC_ProfileRGB,getMediaWhitePoint,()[F,1|true
java.awt.color.ICC_ProfileRGB,getTRC,(I)[S,1|true
java.awt.datatransfer.Clipboard,getFlavorListeners,()[Ljava/awt/datatransfer/FlavorListener;,33|true
java.awt.datatransfer.DataFlavor,clone,()Ljava/lang/Object;,1|true
java.awt.datatransfer.DataFlavor,getReaderForText,(Ljava/awt/datatransfer/Transferable;)Ljava/io/Reader;,1|true
java.awt.datatransfer.DataFlavor,toString,()Ljava/lang/String;,1|true
java.awt.datatransfer.MimeType,clone,()Ljava/lang/Object;,1|true
java.awt.datatransfer.MimeType,getBaseType,()Ljava/lang/String;,1|true
java.awt.datatransfer.MimeType,getParameters,()Ljava/awt/datatransfer/MimeTypeParameterList;,1|true
java.awt.datatransfer.MimeType,toString,()Ljava/lang/String;,1|true
java.awt.datatransfer.MimeTypeParameterList,clone,()Ljava/lang/Object;,1|true
java.awt.datatransfer.MimeTypeParameterList,toString,()Ljava/lang/String;,1|true
java.awt.datatransfer.StringSelection,getTransferDataFlavors,()[Ljava/awt/datatransfer/DataFlavor;,1|true
java.awt.datatransfer.SystemFlavorMap,getFlavorsForNative,(Ljava/lang/String;)Ljava/util/List;,33|true
java.awt.datatransfer.SystemFlavorMap,getFlavorsForNatives,([Ljava/lang/String;)Ljava/util/Map;,33|true
java.awt.datatransfer.SystemFlavorMap,getNativesForFlavor,(Ljava/awt/datatransfer/DataFlavor;)Ljava/util/List;,33|true
java.awt.datatransfer.SystemFlavorMap,getNativesForFlavors,([Ljava/awt/datatransfer/DataFlavor;)Ljava/util/Map;,33|true
java.awt.dnd.DragSource,createDragSourceContext,(Ljava/awt/dnd/peer/DragSourceContextPeer;Ljava/awt/dnd/DragGestureEvent;Ljava/awt/Cursor;Ljava/awt/Image;Ljava/awt/Point;Ljava/awt/datatransfer/Transferable;Ljava/awt/dnd/DragSourceListener;)Ljava/awt/dnd/DragSourceContext;,4|true
java.awt.dnd.DragSourceContext$1,getTransferData,(Ljava/awt/datatransfer/DataFlavor;)Ljava/lang/Object;,1|true
java.awt.dnd.DragSourceContext$1,getTransferDataFlavors,()[Ljava/awt/datatransfer/DataFlavor;,1|true
java.awt.dnd.DropTarget,createDropTargetAutoScroller,(Ljava/awt/Component;Ljava/awt/Point;)Ljava/awt/dnd/DropTarget$DropTargetAutoScroller;,4|true
java.awt.dnd.DropTarget,createDropTargetContext,()Ljava/awt/dnd/DropTargetContext;,4|true
java.awt.dnd.DropTargetContext,createTransferableProxy,(Ljava/awt/datatransfer/Transferable;Z)Ljava/awt/datatransfer/Transferable;,4|true
java.awt.dnd.DropTargetContext,getCurrentDataFlavorsAsList,()Ljava/util/List;,4|true
java.awt.dnd.DropTargetContext,getTransferable,()Ljava/awt/datatransfer/Transferable;,4|true
java.awt.dnd.DropTargetDragEvent,getCurrentDataFlavorsAsList,()Ljava/util/List;,1|true
java.awt.dnd.DropTargetDragEvent,getTransferable,()Ljava/awt/datatransfer/Transferable;,1|true
java.awt.dnd.DropTargetDropEvent,getCurrentDataFlavorsAsList,()Ljava/util/List;,1|true
java.awt.dnd.DropTargetDropEvent,getTransferable,()Ljava/awt/datatransfer/Transferable;,1|true
java.awt.event.ActionEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.AdjustmentEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.ComponentEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.ContainerEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.FocusEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.HierarchyEvent,paramString,()Ljava/lang/String;,1|true
java.awt.event.InputMethodEvent,paramString,()Ljava/lang/String;,1|true