< prev index next >

src/java.desktop/windows/classes/sun/awt/Win32GraphicsConfig.java

Print this page




  77         initIDs();
  78     }
  79 
  80     /**
  81      * Returns a Win32GraphicsConfiguration object with the given device
  82      * and PixelFormat.  Note that this method does NOT check to ensure that
  83      * the returned Win32GraphicsConfig will correctly support rendering into a
  84      * Java window.  This method is provided so that client code can do its
  85      * own checking as to the appropriateness of a particular PixelFormat.
  86      * Safer access to Win32GraphicsConfigurations is provided by
  87      * Win32GraphicsDevice.getConfigurations().
  88      */
  89     public static Win32GraphicsConfig getConfig(Win32GraphicsDevice device,
  90                                                 int pixFormatID)
  91     {
  92         return new Win32GraphicsConfig(device, pixFormatID);
  93     }
  94 
  95     /**
  96      * @deprecated as of JDK version 1.3
  97      * replaced by <code>getConfig()</code>
  98      */
  99     @Deprecated
 100     public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
 101         this.screen = (Win32GraphicsDevice)device;
 102         this.visual = visualnum;
 103         ((Win32GraphicsDevice)device).addDisplayChangedListener(this);
 104     }
 105 
 106     /**
 107      * Return the graphics device associated with this configuration.
 108      */
 109     public GraphicsDevice getDevice() {
 110         return screen;
 111     }
 112 
 113     /**
 114      * Return the PixelFormatIndex this GraphicsConfig uses
 115      */
 116     public int getVisual() {
 117         return visual;




  77         initIDs();
  78     }
  79 
  80     /**
  81      * Returns a Win32GraphicsConfiguration object with the given device
  82      * and PixelFormat.  Note that this method does NOT check to ensure that
  83      * the returned Win32GraphicsConfig will correctly support rendering into a
  84      * Java window.  This method is provided so that client code can do its
  85      * own checking as to the appropriateness of a particular PixelFormat.
  86      * Safer access to Win32GraphicsConfigurations is provided by
  87      * Win32GraphicsDevice.getConfigurations().
  88      */
  89     public static Win32GraphicsConfig getConfig(Win32GraphicsDevice device,
  90                                                 int pixFormatID)
  91     {
  92         return new Win32GraphicsConfig(device, pixFormatID);
  93     }
  94 
  95     /**
  96      * @deprecated as of JDK version 1.3
  97      * replaced by {@code getConfig()}
  98      */
  99     @Deprecated
 100     public Win32GraphicsConfig(GraphicsDevice device, int visualnum) {
 101         this.screen = (Win32GraphicsDevice)device;
 102         this.visual = visualnum;
 103         ((Win32GraphicsDevice)device).addDisplayChangedListener(this);
 104     }
 105 
 106     /**
 107      * Return the graphics device associated with this configuration.
 108      */
 109     public GraphicsDevice getDevice() {
 110         return screen;
 111     }
 112 
 113     /**
 114      * Return the PixelFormatIndex this GraphicsConfig uses
 115      */
 116     public int getVisual() {
 117         return visual;


< prev index next >