]> matita.cs.unibo.it Git - helm.git/commit
Now it's possible to insert and delete control sequence with arguments
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 30 Jan 2003 21:15:41 +0000 (21:15 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 30 Jan 2003 21:15:41 +0000 (21:15 +0000)
commitbf29ef82dc843dcb1929b413b36801ac26441fbd
tree0c4965c22e9fead3a71872e42a2f25fca78224b1
parentee18ff6db8d49339230b4212e145964b12c5a523
Now it's possible to insert and delete control sequence with arguments
delimited by a sequence of delimiters, and to insert and delete tables.
To meet this goals, some source files have been modified.
  src/TPushLexer.*
    This class has a new method: flush. It's can be used to tell the lexer
    to send the current content of the buffer to the parser.
    It's usefull in the creation of the dictionary.
  src/TDictionary.*
    There are two new method: bool lastDelimiter(unsigned p) and
    unsigned previousParam(unsigne p). The first one is used to know if
    the delimiter at position p is the last one of a sequence.
    The second one retursn the position of the parameter preceding p.
  src/TPushParser.cc
    Now, it provides support for inserting and deleting macro with
    arguments delimetd by a sequence of delimiters, and for inserting
    and deleting tables.
  dictionary.xml
    there are three new entry, added only for testing purposes.
  xsl/tml-mmlp.xsl
    it handles the three new element, introduced in the dictionary.
helm/DEVEL/mathml_editor/dictionary.xml
helm/DEVEL/mathml_editor/src/TDictionary.cc
helm/DEVEL/mathml_editor/src/TDictionary.hh
helm/DEVEL/mathml_editor/src/TPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushLexer.hh
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/src/TTokenizer.cc
helm/DEVEL/mathml_editor/test/editor.cc
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl