/* 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.