Source for java.awt.peer.FramePeer

   1: /* FramePeer.java -- Interface for frame peers
   2:    Copyright (C) 1999 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 java.awt.peer;
  40: 
  41: import java.awt.Image;
  42: import java.awt.MenuBar;
  43: import java.awt.Rectangle;
  44: 
  45: public interface FramePeer extends WindowPeer
  46: {
  47:   void setIconImage(Image image);
  48:   void setMenuBar(MenuBar mb);
  49:   void setResizable(boolean resizable);
  50:   void setTitle(String title);
  51:   int getState();
  52:   void setState(int state);
  53:   void setMaximizedBounds(Rectangle r);
  54:   
  55:   /**
  56:    * Check if this frame peer supports being restacked.
  57:    * 
  58:    * @return true if this frame peer can be restacked,
  59:    * false otherwise
  60:    * @since 1.5
  61:    */
  62:   boolean isRestackSupported();
  63:   
  64:   /**
  65:    * Sets the bounds of this frame peer.
  66:    * 
  67:    * @param x the new x co-ordinate
  68:    * @param y the new y co-ordinate
  69:    * @param width the new width
  70:    * @param height the new height
  71:    * @since 1.5
  72:    */
  73:   void setBoundsPrivate(int x, int y, int width, int height);
  74: } // interface FramePeer