X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FTPushParser.hh;h=a94402fbfdb2a420606e429f7602641420b05f23;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=39735e5e01d9a4bbb2df51ae293110b7cead7cf7;hpb=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;p=helm.git diff --git a/helm/DEVEL/mathml_editor/src/TPushParser.hh b/helm/DEVEL/mathml_editor/src/TPushParser.hh index 39735e5e0..a94402fbf 100644 --- a/helm/DEVEL/mathml_editor/src/TPushParser.hh +++ b/helm/DEVEL/mathml_editor/src/TPushParser.hh @@ -1,26 +1,26 @@ -/* Copyright (C) 2002-2003, Luca Padovani , - * 2003, Paolo Marinelli . - * - * This file is part of EdiTeX, an editor of mathematical - * expressions based on TeX syntax +/* This file is part of EdiTeX, an editor of mathematical + * expressions based on TeX syntax. * - * EdiTeX 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. + * Copyright (C) 2002-2003 Luca Padovani , + * 2003 Paolo Marinelli . + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. * - * EdiTeX is distributed in the hope that it will be useful, + * This library 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. + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * Lesser General Public License for more details. * - * You should have received a copy of the GNU General Public License - * along with EdiTeX; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - * - * For details, see the EdiTeX World-Wide-Web page, - * http://helm.cs.unibo.it/editex, or send a mail to - * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + * For more information, please visit the project's home page + * http://helm.cs.unibo.it/editex/ + * or send an email to */ #ifndef __TPushParser_hh__ @@ -66,6 +66,7 @@ private: bool do_parameter(const std::string&); bool do_superscript(void); bool do_subscript(void); + bool do_ignorablespace(const std::string&); bool do_space(const std::string&); bool do_letter(const std::string&); bool do_digit(const std::string&); @@ -73,7 +74,6 @@ private: bool do_active(const std::string&); bool do_comment(void); bool do_control(const std::string&); - std::string drop_prev_token(bool); std::string drop_prev_script(bool);