/* XArrowAtom.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 extensible left or right arrow to handle xleftarrow and xrightarrow commands in LaTeX.
*/
public class XArrowAtom extends Atom {
private Atom over, under;
private boolean left;
public XArrowAtom(Atom over, Atom under, boolean left) {
this.over = over;
this.under = under;
this.left = left;
}
public Box createBox(TeXEnvironment env) {
TeXFont tf = env.getTeXFont();
int style = env.getStyle();
Box O = over != null ? over.createBox(env.supStyle()) : new StrutBox(0, 0, 0, 0);
Box U = under != null ? under.createBox(env.subStyle()) : new StrutBox(0, 0, 0, 0);
Box oside = new SpaceAtom(TeXConstants.UNIT_EM, 1.5f, 0, 0).createBox(env.supStyle());
Box uside = new SpaceAtom(TeXConstants.UNIT_EM, 1.5f, 0, 0).createBox(env.subStyle());
Box sep = new SpaceAtom(TeXConstants.UNIT_MU, 0, 2f, 0).createBox(env);
float width = Math.max(O.getWidth() + 2 * oside.getWidth(), U.getWidth() + 2 * uside.getWidth());
Box arrow = XLeftRightArrowFactory.create(left, env, width);
Box ohb = new HorizontalBox(O, width, TeXConstants.ALIGN_CENTER);
Box uhb = new HorizontalBox(U, width, TeXConstants.ALIGN_CENTER);
VerticalBox vb = new VerticalBox();
vb.add(ohb);
vb.add(sep);
vb.add(arrow);
vb.add(sep);
vb.add(uhb);
float h = vb.getHeight() + vb.getDepth();
float d = sep.getHeight() + sep.getDepth() + uhb.getHeight() + uhb.getDepth();
vb.setDepth(d);
vb.setHeight(h - d);
HorizontalBox hb = new HorizontalBox(vb, vb.getWidth() + 2*sep.getHeight(), TeXConstants.ALIGN_CENTER);
return hb;
}
}
Ads help maintain this website.