/*

 * COPYRIGHT (c) International Business Machines Corp. 2002-2017

 *

 * This program is provided under the terms of the Common Public License,

 * version 1.0 (CPL-1.0). Any use, reproduction or distribution for this

 * software constitutes recipient's acceptance of CPL-1.0 terms which can be

 * found in the file LICENSE file or at

 * https://opensource.org/licenses/cpl1.0.php

 */

%{

/* Parser for /etc/opencryptoki.conf */

#include <stdio.h>

#include <stdlib.h>

#include <stdint.h>

#include "parser.h"

/* Ignore -Wsign-compare for autogenerated code. */

#pragma GCC diagnostic ignored "-Wsign-compare"

int line_num = 1;

extern void yyerror(const char *s);

%}

%option noyywrap

%option nounput

%option noinput

%%

[\t ]+ 			/* ignore spaces */ ;

= 			return EQUAL;

\{			return BEGIN_DEF;

\n\{			{

			  line_num++;

			  return BEGIN_DEF;

			}

\}			 return END_DEF;

\n|#.*\n		{

			  line_num++;

			  return EOL;

			}

[0-9]+"."[0-9]+		{ /* version */

			  unsigned long major, minor;

			  char *dot = strchr(yytext, '.');

			  *dot = '\0';

			  major = strtoul(yytext, NULL, 10);

			  minor = strtoul(dot + 1, NULL, 10);

			  yylval.num = (uint32_t)major << 16 | (uint32_t)minor;

			  return TOKVERSION;

			}

[0-9]+			{ /* number */

			  yylval.num = strtoul(yytext, NULL, 10);

			  return INTEGER;

			}

version                 return OCKVERSION;

slot                    return SLOT;

[^\"= \t\n]+		{

			  yylval.str = strdup(yytext);

			  return STRING;

			}

\"[^\"\n]*\"		{

			  yylval.str = strdup(yytext+1);

			  if (yylval.str) yylval.str[strlen(yylval.str)-1]='\0';

			  return STRING;

			}

.			yyerror(yytext);

%%