Source for gnu.java.awt.peer.gtk.GdkGraphicsEnvironment

   1: /* GdkGraphicsEnvironment.java -- information about the graphics environment
   2:    Copyright (C) 2004, 2005, 2006  Free Software Foundation, Inc.
   3: 
   4: This file is part of GNU Classpath.
   5: 
   6: GNU Classpath is free software; you can redistribute it and/or modify
   7: it under the terms of the GNU General Public License as published by
   8: the Free Software Foundation; either version 2, or (at your option)
   9: any later version.
  10: 
  11: GNU Classpath is distributed in the hope that it will be useful, but
  12: WITHOUT ANY WARRANTY; without even the implied warranty of
  13: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14: General Public License for more details.
  15: 
  16: You should have received a copy of the GNU General Public License
  17: along with GNU Classpath; see the file COPYING.  If not, write to the
  18: Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19: 02110-1301 USA.
  20: 
  21: Linking this library statically or dynamically with other modules is
  22: making a combined work based on this library.  Thus, the terms and
  23: conditions of the GNU General Public License cover the whole
  24: combination.
  25: 
  26: As a special exception, the copyright holders of this library give you
  27: permission to link this library with independent modules to produce an
  28: executable, regardless of the license terms of these independent
  29: modules, and to copy and distribute the resulting executable under
  30: terms of your choice, provided that you also meet, for each linked
  31: independent module, the terms and conditions of the license of that
  32: module.  An independent module is a module which is not derived from
  33: or based on this library.  If you modify this library, you may extend
  34: this exception to your version of the library, but you are not
  35: obligated to do so.  If you do not wish to do so, delete this
  36: exception statement from your version. */
  37: 
  38: 
  39: package gnu.java.awt.peer.gtk;
  40: 
  41: import gnu.java.awt.ClasspathGraphicsEnvironment;
  42: 
  43: import java.awt.Font;
  44: import java.awt.Graphics2D;
  45: import java.awt.GraphicsDevice;
  46: import java.awt.GraphicsEnvironment;
  47: import java.awt.HeadlessException;
  48: import java.awt.image.BufferedImage;
  49: import java.awt.image.ColorModel;
  50: import java.awt.image.Raster;
  51: import java.awt.image.SampleModel;
  52: import java.awt.image.WritableRaster;
  53: import java.util.Locale;
  54: 
  55: import gnu.classpath.Pointer;
  56: 
  57: public class GdkGraphicsEnvironment extends ClasspathGraphicsEnvironment
  58: {
  59:   private final int native_state = GtkGenericPeer.getUniqueInteger ();
  60:   
  61:   private GdkScreenGraphicsDevice defaultDevice;
  62:   
  63:   private GdkScreenGraphicsDevice[] devices;
  64: 
  65:   /**
  66:    * The pointer to the native display resource.
  67:    *
  68:    * This field is manipulated by native code. Don't change or remove
  69:    * without adjusting the native code.
  70:    */
  71:   private Pointer display;
  72: 
  73:   static
  74:   {
  75:     System.loadLibrary("gtkpeer");
  76: 
  77:     GtkToolkit.initializeGlobalIDs();
  78:     initIDs();
  79:   }
  80:   
  81:   private static native void initIDs();
  82:   
  83:   public GdkGraphicsEnvironment ()
  84:   {
  85:     nativeInitState();
  86:   }
  87:   
  88:   native void nativeInitState();
  89: 
  90:   public GraphicsDevice[] getScreenDevices ()
  91:   {
  92:     if (devices == null)
  93:       {
  94:         devices = nativeGetScreenDevices();
  95:       }
  96:     
  97:     return (GraphicsDevice[]) devices.clone();
  98:   }
  99:   
 100:   private native GdkScreenGraphicsDevice[] nativeGetScreenDevices();
 101: 
 102:   public GraphicsDevice getDefaultScreenDevice ()
 103:   {
 104:     if (GraphicsEnvironment.isHeadless ())
 105:       throw new HeadlessException ();
 106:     
 107:     synchronized (GdkGraphicsEnvironment.class)
 108:       {
 109:         if (defaultDevice == null)
 110:           {
 111:             defaultDevice = nativeGetDefaultScreenDevice();
 112:           }
 113:       }
 114:     
 115:     return defaultDevice;
 116:   }
 117:   
 118:   private native GdkScreenGraphicsDevice nativeGetDefaultScreenDevice();
 119: 
 120:   public Graphics2D createGraphics (BufferedImage image)
 121:   {
 122:     Raster raster = image.getRaster();
 123:     if(raster instanceof CairoSurface)
 124:       return ((CairoSurface)raster).getGraphics();
 125: 
 126:     return new BufferedImageGraphics( image );
 127:   }
 128:   
 129:   private native int nativeGetNumFontFamilies();
 130:   private native void nativeGetFontFamilies(String[] family_names);
 131: 
 132:   public Font[] getAllFonts ()
 133:   {
 134:     throw new java.lang.UnsupportedOperationException ();
 135:   }
 136: 
 137:   public String[] getAvailableFontFamilyNames ()
 138:   {
 139:     String[] family_names;
 140:     int array_size;
 141: 
 142:     array_size = nativeGetNumFontFamilies();
 143:     family_names = new String[array_size];
 144: 
 145:     nativeGetFontFamilies(family_names);
 146:     return family_names;
 147:   }
 148: 
 149:   public String[] getAvailableFontFamilyNames (Locale l)
 150:   {
 151:     throw new java.lang.UnsupportedOperationException ();
 152:   }
 153: 
 154:   /**
 155:    * Used by GtkMouseInfoPeer.
 156:    */ 
 157:   native int[] getMouseCoordinates();
 158:   native boolean isWindowUnderMouse(GtkWindowPeer windowPeer);
 159:   
 160:   public WritableRaster createRaster(ColorModel cm, SampleModel sm)
 161:   {
 162:     if (CairoSurface.isCompatibleSampleModel(sm)
 163:         && CairoSurface.isCompatibleColorModel(cm))
 164:       return new CairoSurface(sm.getWidth(), sm.getHeight());
 165:     else
 166:       return null;
 167:   }
 168: }