Copy the KDE 3.5 branch to branches/trinity for new KDE 3.5 features.

BUG:215923


git-svn-id: svn://anonsvn.kde.org/home/kde/branches/trinity/kdeedu@1054174 283d02a7-25f6-0310-bc7c-ecb5cbfe19da

1 files changed, 41 insertions, 0 deletions

diff --git a/kalzium/src/solver/lexer.mll b/kalzium/src/solver/lexer.mll
new file mode 100644
index 00000000..a6a4ab49
--- /dev/null
+++ b/kalzium/src/solver/lexer.mll
@@ -0,0 +1,41 @@
+(***************************************************************************
+ *   Copyright (C) 2004 by Thomas Nagy                                     *
+ *   tnagy2^[email protected]                                                     *
+ *                                                                         *
+ *   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.                          *
+ *                                                                         *
+ *   You should have received a copy of the GNU General Public License     *
+ *   along with this program; if not, write to the                         *
+ *   Free Software Foundation, Inc.,                                       *
+ *   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.             *
+ ***************************************************************************)
+
+(* File lexer.mll*)
+{
+        open Parser;;
+        exception IllegalChar
+}
+
+rule token = parse
+[' ' '\t' '\n']   {token lexbuf} (* ignore whitespaces *)
+| ['0'-'9']+      { INT(int_of_string(Lexing.lexeme lexbuf)) }
+| ['A'-'Z']       { CAPITAL(Lexing.lexeme lexbuf) }
+| ['a'-'z']+      { MINOR(Lexing.lexeme lexbuf) }
+| '+'             { PLUS }
+| '-'             { MINUS }
+| '('             { LPAREN }
+| ')'             { RPAREN }
+| '['             { LBRACKET }
+| ']'             { RBRACKET }
+| "->"            { ARROW }
+| _               { raise IllegalChar; }
+| eof             { EOF }
+