/*
* Bibliothek - DockingFrames
* Library built on Java/Swing, allows the user to "drag and drop"
* panels containing any Swing-Component the developer likes to add.
*
* Copyright (C) 2007 Benjamin Sigg
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*
* Benjamin Sigg
* benjamin_sigg@gmx.ch
* CH - Switzerland
*/
package bibliothek.gui.dock.station.screen;
import java.awt.Dimension;
import java.awt.Point;
import java.awt.Rectangle;
import javax.swing.JDesktopPane;
import bibliothek.gui.dock.station.screen.window.InternalScreenDockWindowFactory;
/**
* This boundary restriction is based on a {@link JDesktopPane}. It makes sure that the top border part of a
* window is always visible.
* @author Benjamin Sigg
* @see InternalScreenDockWindowFactory
*/
public class InternalBoundaryRestriction implements BoundaryRestriction{
private JDesktopPane desktop;
/** the size {@link #desktop} had when calling code the last time */
private Dimension lastSize = null;
public InternalBoundaryRestriction( JDesktopPane desktop ){
this.desktop = desktop;
}
public Rectangle check( ScreenDockWindow window ){
return validate( window.getWindowBounds(), window.getTitleCenter() );
}
public Rectangle check( ScreenDockWindow window, Rectangle target ){
return validate( target, window.getTitleCenter() );
}
protected Rectangle validate( Rectangle destination, Point center ){
if( desktop.isVisible() ){
if( lastSize == null || lastSize.width == 0 || lastSize.height == 0 ){
lastSize = desktop.getSize();
}
else{
if( center == null ){
center = new Point( destination.width/2, destination.height/2 );
}
Rectangle result = new Rectangle( destination );
result.x = Math.max( -center.x, result.x );
result.x = Math.min( result.x, desktop.getWidth() - center.x );
result.y = Math.max( -center.y, result.y );
result.y = Math.min( desktop.getHeight() - center.y, result.y );
return result;
}
}
return null;
}
}