]> matita.cs.unibo.it Git - helm.git/commit
Added the completion of the macro's name.
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 13 Mar 2003 18:20:08 +0000 (18:20 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 13 Mar 2003 18:20:08 +0000 (18:20 +0000)
commit98e5817ce4fa424fb3181d90d327935c1b100ec4
treebfc2da1487cb46303bc607f2133f4bc2653c3047
parent3aa99304d95d768fc1d95c23e7fa3d1df09defa2
Added the completion of the macro's name.
To meet this goal, the abstract lexer has a new method: complete.
T(L)PushLexer doesn't implement this method. But there are two additional
classes: ITPushLexer and ILPushLexer. These are derived from TPushLexer and
LPushLexer. The only difference between the derived classes and their parents
is the implementation of the method complete.
TDictionary has a new method: complete. It's used by the lexers.
Now, in LPushLexer, long identifiers can be composed by these additional
character: '-' and '_'. To insert them as part of long identifiers, the
user has escape them with '\'.
Added a new node in the TML tree. It' name is 's' and represents a space.
It can be pushed only with a LPushLexer.
26 files changed:
helm/DEVEL/mathml_editor/Makefile.in [new file with mode: 0644]
helm/DEVEL/mathml_editor/TML.dtd
helm/DEVEL/mathml_editor/dictionary-test.xml
helm/DEVEL/mathml_editor/src/APushLexer.hh
helm/DEVEL/mathml_editor/src/ILPushLexer.cc [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/ILPushLexer.hh [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/ITPushLexer.cc [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/ITPushLexer.hh [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/LPushLexer.cc
helm/DEVEL/mathml_editor/src/LPushLexer.hh
helm/DEVEL/mathml_editor/src/Makefile.am
helm/DEVEL/mathml_editor/src/Makefile.in [new file with mode: 0644]
helm/DEVEL/mathml_editor/src/TDictionary.cc
helm/DEVEL/mathml_editor/src/TDictionary.hh
helm/DEVEL/mathml_editor/src/TDocument.hh
helm/DEVEL/mathml_editor/src/TNode.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/TPushParser.hh
helm/DEVEL/mathml_editor/src/TToken.hh
helm/DEVEL/mathml_editor/src/TTokenizer.cc
helm/DEVEL/mathml_editor/test/Makefile.in [new file with mode: 0644]
helm/DEVEL/mathml_editor/test/editor.cc
helm/DEVEL/mathml_editor/test/guiGTK.c
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl