Back to index

wims  3.65+svn20090927
SqrtTick.java
Go to the documentation of this file.
00001 /*
00002 $Id: SqrtTick.java,v 1.3 2003/02/18 11:48:47 sander Exp $
00003 */
00004 
00005 
00006 /*
00007 Copyright (C) 2001-2002 Mainline Project (I3S - ESSI - CNRS -UNSA)
00008 
00009 This library is free software; you can redistribute it and/or
00010 modify it under the terms of the GNU Lesser General Public
00011 License as published by the Free Software Foundation; either
00012 version 2.1 of the License, or (at your option) any later version.
00013 
00014 This library is distributed in the hope that it will be useful,
00015 but WITHOUT ANY WARRANTY; without even the implied warranty of
00016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00017 Lesser General Public License for more details.
00018 
00019 You should have received a copy of the GNU Lesser General Public
00020 License along with this library; if not, write to the Free Software
00021 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
00022 
00023 For further information on the GNU Lesser General Public License,
00024 see: http://www.gnu.org/copyleft/lesser.html
00025 For further information on this library, contact: mainline@essi.fr
00026 */
00027 
00028 
00029 package fr.ove.openmath.jome.ctrlview.bidim;
00030 
00031 import java.awt.*;
00032 import fr.ove.openmath.jome.ctrlview.bidim.DisplayableImpl;
00033 import fr.ove.openmath.jome.ctrlview.bidim.Line;
00034 
00035 
00042 public class SqrtTick extends DisplayableImpl {
00046     private int thickness;
00047     
00051     private Line line1;
00052     private Line line2;
00053     
00058     public void setThickness(int thickness) {
00059         this.thickness = thickness;
00060     }
00061     
00065     public int getThickness() {
00066         return thickness;
00067     }
00068     
00073     public void paint(Graphics g) {
00074         int height = getHeight();
00075         int width = getWidth();
00076         
00077         g.fillRect(0, (int) Math.round(0.48f * (float) height), (int) Math.round(0.2f * (float) width), thickness);
00078 
00079         line1 = new Line(new Point((int) Math.round(0.1f * (float) width), (int) Math.round(0.48f * (float) height)),
00080                          new Point((int) Math.round(0.4f * (float) width), height),
00081                          thickness, Line.RIGHT);
00082         line1.draw(g);
00083         
00084         line2 = new Line(new Point((int) Math.round(0.4f * (float) width), height),
00085                          new Point(width - (int) Math.round(0.2f * (float) width), 0),
00086                          thickness, Line.CENTER);
00087         line2.draw(g);
00088         
00089         g.drawLine((int) Math.round(0.4f * (float) width), height, width - (int) Math.round(0.2f * (float) width), 0);
00090         
00091         g.fillRect(width - (int) Math.round(0.2f * (float) width), 0, (int) Math.round(0.2f * (float) width), thickness);
00092     }
00093 }
00094