/* $Id: uni_parser.mly 665 2004-06-02 10:54:48Z gerd $
 * ----------------------------------------------------------------------
 *
 */

/******************************************************/
/*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   */
/*                   14/05/2000                       */
/******************************************************/

%token <int>CHAR
%token <string>IDENT
%token LET
%token EQ
%token END_OF_LET
%token RBRACKET
%token PIPE
%token LBRACKET
%token RANGE
%token EOF
%start main
%type <Uni_types.definition list> main

%%

main:
   EOF              { [] }
 | declaration main { $1::$2 }
;

declaration:
   LET IDENT EQ regexp END_OF_LET
      { { Uni_types.id = $2 ; Uni_types.rel = $4 } }
;

regexp:
   regexptoken PIPE regexp  { $1::$3 }
 | regexptoken              { [$1] }
;

regexptoken:
   CHAR                               { Uni_types.Char $1 }
 | LBRACKET CHAR RANGE CHAR RBRACKET  { Uni_types.Interval ($2,$4) }
 | IDENT                              { Uni_types.Identifier $1 }
;