X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2FmQGTopLexer.mll;h=da69710285e34f38ec601446d2ee7ef1760e2bab;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=47646064690db314ac77bc92bf8c6177b18b8882;hpb=02f8929bd58c6408545b550bcad0edb8702ca933;p=helm.git

diff --git a/helm/ocaml/mathql_test/mQGTopLexer.mll b/helm/ocaml/mathql_test/mQGTopLexer.mll
index 476460646..da6971028 100644
--- a/helm/ocaml/mathql_test/mQGTopLexer.mll
+++ b/helm/ocaml/mathql_test/mQGTopLexer.mll
@@ -23,8 +23,15 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
- *)
+(******************************************************************************)
+(*                                                                            *)
+(*                               PROJECT HELM                                 *)
+(*                                                                            *)
+(*                     Ferruccio Guidi <fguidi@cs.unibo.it>                   *)
+(*                                 23/05/2002                                 *)
+(*                                                                            *)
+(*                                                                            *)
+(******************************************************************************)
 
 { 
    open MQGTopParser
@@ -46,28 +53,26 @@ rule comm_token = parse
    | ['*' '(']    { comm_token lexbuf }
    | [^ '*' '(']* { comm_token lexbuf }
 and string_token = parse
-   | '"'         { DQ  }
-   | '\\' _      { STR (String.sub (Lexing.lexeme lexbuf) 1 1) }
-   | QSTR        { STR (Lexing.lexeme lexbuf) }
-   | eof         { EOF }
+   | '"'          { DQ  }
+   | '\\' _       { STR (String.sub (Lexing.lexeme lexbuf) 1 1) }
+   | QSTR         { STR (Lexing.lexeme lexbuf) }
+   | eof          { EOF }
 and spec_token = parse
-   | "(*"        { comm_token lexbuf; spec_token lexbuf }
-   | SPC         { spec_token lexbuf }
-   | '"'         { let str = qstr string_token lexbuf in
-                   out ("STR " ^ str); STR str }
-   | '{'         { out "LC"; LC }
-   | '}'         { out "RC"; RC }
-   | ','         { out "CM"; CM }
-   | '$'         { out "DL"; DL }
-   | "not"       { out "NOT"   ; NOT    }
-   | "mustobj"   { out "MOBJ"  ; MOBJ   }
-   | "mustsort"  { out "MSORT" ; MSORT  }
-   | "mustrel"   { out "MREL"  ; MREL   }
-   | "sonlyobj"  { out "SOBJ"  ; SOBJ   }
-   | "sonlysort" { out "SSORT" ; SSORT  }
-   | "onlyrel"   { out "OREL"  ; OREL   }
-   | "wonlyobj"  { out "WOBJ"  ; WOBJ   }
-   | "wonlysort" { out "WSORT" ; WSORT  }
-   | IDEN        { let id = Lexing.lexeme lexbuf in 
-                   out ("ID " ^ id); ID id }
-   | eof         { EOF }
+   | "(*"         { comm_token lexbuf; spec_token lexbuf }
+   | SPC          { spec_token lexbuf }
+   | '"'          { let str = qstr string_token lexbuf in
+                    out ("STR " ^ str); STR str }
+   | '{'          { out "LC"; LC }
+   | '}'          { out "RC"; RC }
+   | ','          { out "CM"; CM }
+   | '$'          { out "DL"; DL }
+   | "mustobj"    { out "MOBJ"  ; MOBJ   }
+   | "mustsort"   { out "MSORT" ; MSORT  }
+   | "mustrel"    { out "MREL"  ; MREL   }
+   | "onlyobj"    { out "OOBJ"  ; OOBJ   }
+   | "onlysort"   { out "OSORT" ; OSORT  }
+   | "onlyrel"    { out "OREL"  ; OREL   }
+   | "universe"   { out "UNIV"  ; UNIV   } 
+   | IDEN         { let id = Lexing.lexeme lexbuf in 
+                    out ("ID " ^ id); ID id }
+   | eof          { EOF }