/* UnderOverArrowAtom.java
* =========================================================================
* This file is part of the JLaTeXMath Library - http://forge.scilab.org/jlatexmath
*
* Copyright (C) 2009 DENIZET Calixte
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or (at
* your option) any later version.
*
* This program 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
* General Public License for more details.
*
* A copy of the GNU General Public License can be found in the file
* LICENSE.txt provided with the source distribution of this program (see
* the META-INF directory in the source jar). This license can also be
* found on the GNU website at http://www.gnu.org/licenses/gpl.html.
*
* If you did not receive a copy of the GNU General Public License along
* with this program, contact the lead developer, or write to the Free
* Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
* 02110-1301, USA.
*
*/
package org.scilab.forge.jlatexmath;
/**
* An atom representing an other atom with an extensible arrow or doublearrow over or under it.
*/
public class UnderOverArrowAtom extends Atom {
private Atom base;
private String arrow;
private boolean over, left = false, dble = false;
public UnderOverArrowAtom(Atom base, boolean left, boolean over) {
this.base = base;
this.arrow = left ? "leftarrow" : "rightarrow";
this.left = left;
this.over = over;
}
public UnderOverArrowAtom(Atom base, boolean over) {
this.base = base;
this.over = over;
this.dble = true;
}
public Box createBox(TeXEnvironment env) {
TeXFont tf = env.getTeXFont();
int style = env.getStyle();
Box b = base != null ? base.createBox(env) : new StrutBox(0, 0, 0, 0);
float sep = new SpaceAtom(TeXConstants.UNIT_POINT, 1f, 0, 0).createBox(env).getWidth();
Box arrow;
if (dble) {
arrow = XLeftRightArrowFactory.create(env, b.getWidth());
sep = 4 * sep;
} else {
arrow = XLeftRightArrowFactory.create(left, env, b.getWidth());
sep = -sep;
}
VerticalBox vb = new VerticalBox();
if (over) {
vb.add(arrow);
vb.add(new HorizontalBox(b, arrow.getWidth(), TeXConstants.ALIGN_CENTER));
float h = vb.getDepth() + vb.getHeight();
vb.setDepth(b.getDepth());
vb.setHeight(h - b.getDepth());
} else {
vb.add(new HorizontalBox(b, arrow.getWidth(), TeXConstants.ALIGN_CENTER));
vb.add(new StrutBox(0, sep, 0, 0));
vb.add(arrow);
float h = vb.getDepth() + vb.getHeight();
vb.setDepth(h - b.getHeight());
vb.setHeight(b.getHeight());
}
return vb;
}
}
Ads help maintain this website.