Back to index

wims  3.65+svn20090927
Integral.java
Go to the documentation of this file.
00001 /*
00002 $Id: Integral.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.model;
00030 
00031 import java.util.*;
00032 import fr.ove.openmath.jome.model.*;
00033 import fr.ove.openmath.jome.model.events.ModelEvent;
00034 
00040 public class Integral extends KaryOperator {
00041     /*
00042     * Pour savoir si on est dans le cas où il faut positionner current sur la variable d'intégration
00043     * où si on doit effectivement ajouter un nouvel élement (la borne inf au moins).
00044     * A la création de l'instance, on ajoute un template pour l'intégrande, mais aussi un pour la
00045     * variable d'intégration (on aura [?]d[?]). Donc, quand on va tomber sur un séparateur et donc
00046     * que l'on va faire un addElement(), il faudra savoir si on va sur la variable d'intégration où
00047     * s'il faut effectivement ajouter la borne inf. Donc par défaut, la valeur est true.
00048     */
00049     private boolean gotoVariable = true;
00050     
00056     public FormulaTreeStructure insert(FormulaTreeStructure current) {
00057         current = super.insert(current);
00058         super.addElement();
00059         // On récupère l'élément du second slot (le dx), pour rajouter le d justement.
00060         VariableOrNumber dx = (VariableOrNumber) getChild(1).getChild(0);
00061         dx.setValue("d" + dx.getValue());
00062         return current;
00063     }
00064     
00069     public FormulaTreeStructure addElement() {
00070         if (gotoVariable) {
00071             gotoVariable = false;
00072             return (FormulaTreeStructure) getChild(1).getChild(0);
00073         }
00074         else
00075             return super.addElement();
00076     }
00077 }