diff options
author | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
---|---|---|
committer | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
commit | ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2 (patch) | |
tree | d3bb9f5d25a2dc09ca81adecf39621d871534297 /kalzium/src/solver/lexer.mll | |
download | tdeedu-ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2.tar.gz tdeedu-ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2.zip |
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
Diffstat (limited to 'kalzium/src/solver/lexer.mll')
-rw-r--r-- | kalzium/src/solver/lexer.mll | 41 |
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^8@yahoo.fr * + * * + * 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 } + |