← Back to branch summary

~ubuntu-branches/ubuntu/quantal/xen-api/quantal

« back to all changes in this revision

Viewing changes to ocaml/database/db_filter_parse.mly

  • Committer: Package Import Robot
  • Author(s): Jon Ludlam
  • Date: 2011-07-07 21:50:18 UTC
  • Revision ID: package-import@ubuntu.com-20110707215018-3t9ekbh7qy5y2b1p
Tags: upstream-1.3
Import upstream version 1.3

Show diffs side-by-side

added added

removed removed

Lines of Context:
ocaml/database/db_filter_parse.mly
 
1
 
 
2
%{
 
3
 open Db_filter_types;;
 
4
%}
 
5
  
 
6
%token EQ
 
7
%token TRUE
 
8
%token FALSE
 
9
%token FIELD
 
10
%token LAND
 
11
%token LOR
 
12
%token LNOT
 
13
%token LPAREN
 
14
%token RPAREN
 
15
%token EOF
 
16
%token <string> IDENT
 
17
 
 
18
%right LNOT
 
19
%left LAND LOR 
 
20
 
 
21
 
 
22
%start exprstr
 
23
%type <Db_filter_types.expr> expr
 
24
%type <Db_filter_types._val> value
 
25
%type <Db_filter_types.expr> exprstr
 
26
 
 
27
%%
 
28
 
 
29
value :
 
30
  IDENT { Literal $1 }
 
31
| FIELD IDENT { Field $2 }
 
32
 
 
33
expr :
 
34
  value EQ value { Eq($1,$3) }
 
35
| expr LAND expr { And($1,$3) }
 
36
| expr LOR expr { Or($1,$3) }
 
37
| LNOT expr { Not($2) }
 
38
| TRUE { True }
 
39
| FALSE { False }
 
40
| LPAREN expr RPAREN { $2 }
 
41
 
 
42
exprstr :
 
43
  expr EOF { $1 }