crypto/external/bsd/heimdal/dist/lib/hx509/sel-gram.y

   1 /*      $NetBSD: sel-gram.y,v 1.1.1.1 2011/04/13 18:15:12 elric Exp $   */
   2
   3 /*
   4  * Copyright (c) 2008 Kungliga Tekniska Högskolan
   5  * (Royal Institute of Technology, Stockholm, Sweden).
   6  * All rights reserved.
   7  *
   8  * Redistribution and use in source and binary forms, with or without
   9  * modification, are permitted provided that the following conditions
  10  * are met:
  11  *
  12  * 1. Redistributions of source code must retain the above copyright
  13  *    notice, this list of conditions and the following disclaimer.
  14  *
  15  * 2. Redistributions in binary form must reproduce the above copyright
  16  *    notice, this list of conditions and the following disclaimer in the
  17  *    documentation and/or other materials provided with the distribution.
  18  *
  19  * 3. Neither the name of the Institute nor the names of its contributors
  20  *    may be used to endorse or promote products derived from this software
  21  *    without specific prior written permission.
  22  *
  23  * THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND
  24  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  25  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  26  * ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE
  27  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  28  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  29  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  30  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  31  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  32  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  33  * SUCH DAMAGE.
  34  */
  35
  36 %{
  37 #ifdef HAVE_CONFIG_H
  38 #include <config.h>
  39 #endif
  40 #include <stdio.h>
  41 #include <stdlib.h>
  42 #include <hx_locl.h>
  43
  44
  45 %}
  46
  47 %union {
  48     char *string;
  49     struct hx_expr *expr;
  50 }
  51
  52 %token kw_TRUE
  53 %token kw_FALSE
  54 %token kw_AND
  55 %token kw_OR
  56 %token kw_IN
  57 %token kw_TAILMATCH
  58
  59 %type <expr> expr
  60 %type <expr> comp
  61 %type <expr> word words
  62 %type <expr> number
  63 %type <expr> string
  64 %type <expr> function
  65 %type <expr> variable variables
  66
  67 %token <string> NUMBER
  68 %token <string> STRING
  69 %token <string> IDENTIFIER
  70
  71 %start start
  72
  73 %%
  74
  75 start:  expr                    { _hx509_expr_input.expr = $1; }
  76
  77 expr    : kw_TRUE               { $$ = _hx509_make_expr(op_TRUE, NULL, NULL); }
  78         | kw_FALSE              { $$ = _hx509_make_expr(op_FALSE, NULL, NULL); }
  79         | '!' expr              { $$ = _hx509_make_expr(op_NOT, $2, NULL); }
  80         | expr kw_AND expr      { $$ = _hx509_make_expr(op_AND, $1, $3); }
  81         | expr kw_OR expr       { $$ = _hx509_make_expr(op_OR, $1, $3); }
  82         | '(' expr ')'          { $$ = $2; }
  83         | comp                  { $$ = _hx509_make_expr(op_COMP, $1, NULL); }
  84         ;
  85
  86 words   : word                  { $$ = _hx509_make_expr(expr_WORDS, $1, NULL); }
  87         | word ',' words        { $$ = _hx509_make_expr(expr_WORDS, $1, $3); }
  88         ;
  89
  90 comp    : word '=' '=' word     { $$ = _hx509_make_expr(comp_EQ, $1, $4); }
  91         | word '!' '=' word     { $$ = _hx509_make_expr(comp_NE, $1, $4); }
  92         | word kw_TAILMATCH word { $$ = _hx509_make_expr(comp_TAILEQ, $1, $3); }
  93         | word kw_IN '(' words ')' { $$ = _hx509_make_expr(comp_IN, $1, $4); }
  94         | word kw_IN variable   { $$ = _hx509_make_expr(comp_IN, $1, $3); }
  95         ;
  96
  97 word    : number                { $$ = $1; }
  98         | string                { $$ = $1; }
  99         | function              { $$ = $1; }
 100         | variable              { $$ = $1; }
 101         ;
 102
 103 number  : NUMBER        { $$ = _hx509_make_expr(expr_NUMBER, $1, NULL); };
 104 string  : STRING        { $$ = _hx509_make_expr(expr_STRING, $1, NULL); };
 105
 106 function: IDENTIFIER '(' words ')' {
 107                         $$ = _hx509_make_expr(expr_FUNCTION, $1, $3); }
 108         ;
 109 variable: '%' '{' variables '}' { $$ = $3; }
 110         ;
 111
 112 variables: IDENTIFIER '.' variables     {
 113                         $$ = _hx509_make_expr(expr_VAR, $1, $3); }
 114         | IDENTIFIER                    {
 115                         $$ = _hx509_make_expr(expr_VAR, $1, NULL); }
 116         ;