parser.y

/**
 * @file parser.y
 *
 * @brief Contains the bison parser.
 *
 * @copyright BSD License (see LICENSE.md or https://www.libelektra.org)
 *
 */

%code requires{

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#include <kdbhelper.h>
#include "error.h"
#include "scalar.h"
#include "driver.h"

#ifndef YY_TYPEDEF_YY_SCANNER_T
#define YY_TYPEDEF_YY_SCANNER_T
typedef void* yyscan_t;
#endif

#define yylval_param lval
#define yylloc_param lloc
#define YY_DECL int yylex (YYSTYPE* lval, YYLTYPE * lloc, Driver * driver, yyscan_t yyscanner)
}


%define api.pure full
%lex-param { Driver * driver } { yyscan_t yyscanner }
%parse-param { Driver * driver } { yyscan_t yyscanner }
%locations
%define parse.error verbose

%code provides{
YY_DECL;
int yyerror(YYLTYPE * lloc, Driver * driver, yyscan_t yyscanner, const char* message);
}

%union {
	Scalar*			scalar;
}

%token <scalar> COMMENT
%token <scalar> DECIMAL
%token <scalar> HEXADECIMAL
%token <scalar> OCTAL
%token <scalar> BINARY
%token <scalar> FLOAT
%token <scalar> BOOLEAN
%token <scalar> BARE_STRING
%token <scalar> LITERAL_STRING
%token <scalar> BASIC_STRING
%token <scalar> MULTI_LITERAL_STRING
%token <scalar> MULTI_BASIC_STRING
%token <scalar> OFFSET_DATETIME
%token <scalar> LOCAL_DATETIME
%token <scalar> LOCAL_DATE
%token <scalar> LOCAL_TIME
%token NEWLINE
%token EQUAL
%token DOT
%token COMMA
%token BRACKETS_OPEN
%token BRACKETS_CLOSE
%token CURLY_OPEN
%token CURLY_CLOSE

%type <scalar> Scalar
%type <scalar> IntegerScalar
%type <scalar> BooleanScalar
%type <scalar> FloatScalar
%type <scalar> StringScalar
%type <scalar> DateScalar
%type <scalar> QuotedKey
%type <scalar> UnquotedKey

%destructor { freeScalar($$); } <scalar>

%start Toml

%%

Toml	:	NewlinesLeading Nodes NewlinesTrailing { driverExitToml(driver); }
	|	%empty
	;

Nodes	:	Node
	|	Nodes NewlinesBetweenNodes Node
	;

Node	:	COMMENT { driverExitComment (driver, $1); }
	|	Table OptComment { driverExitOptCommentTable (driver); }
	|	KeyPair OptComment { driverExitOptCommentKeyPair (driver); }
	;

OptComment	:	COMMENT { driverExitComment (driver, $1); }
		|	%empty
		;

NewlinesBetweenNodes	:	NEWLINE	/* Not counted because it's the normal line ending newline between nodes, not one indicating an empty line.*/
			|	NewlinesBetweenNodes NEWLINE { yynerrs = 1*yynerrs; /* dummy use of yynerrs to suppress unused warning */ driverExitNewline (driver); }
			;

NewlinesLeading		:	%empty
			|	NewlinesLeading NEWLINE { driverExitNewline(driver); }
			;

NewlinesTrailing	:	NewlinesBetweenNodes
			|	%empty
			;

Table		:	TableSimple
		|	TableArray
		;

TableSimple	:	BRACKETS_OPEN { driverEnterSimpleTable(driver); } TopKey { driverExitSimpleTable(driver); } BRACKETS_CLOSE
		;

TableArray	:	BRACKETS_OPEN BRACKETS_OPEN { driverEnterTableArray(driver); } TopKey { driverExitTableArray(driver); } BRACKETS_CLOSE BRACKETS_CLOSE
		;

KeyPair		:	TopKey EQUAL Value { driverExitKeyValue (driver); }
		;

TopKey		:	{ driverEnterKey (driver); } Key { driverExitKey (driver); }
		;

Key		:	SimpleKey
		|	SimpleKey DottedKeys
		;

DottedKeys	:	DOT SimpleKey
		|	DottedKeys DOT SimpleKey
		;

SimpleKey	:	QuotedKey { driverExitSimpleKey (driver, $1); }
		| 	UnquotedKey { driverExitSimpleKey (driver, $1); }
		;

QuotedKey	:	BASIC_STRING { $$ = $1; }
		|	LITERAL_STRING { $$ = $1; }
		;

UnquotedKey	:	BARE_STRING { $$ = $1; }
		;

Value		:	Scalar { driverExitValue (driver, $1); }
		|	InlineTable
		|	Array
		;

InlineTable	:	CURLY_OPEN { driverEnterInlineTable(driver); } InlineTableList CURLY_CLOSE { driverExitInlineTable (driver); }
		|	CURLY_OPEN CURLY_CLOSE { driverEmptyInlineTable(driver); }
		;

InlineTableList	:	KeyPair
		|	InlineTableList COMMA KeyPair
		;

Array		:	ArrayEmpty
		|	ArrayNonEmpty
		;

ArrayNonEmpty	:	BRACKETS_OPEN { driverEnterArray (driver); } ArrayList ArrayEpilogue BRACKETS_CLOSE { driverExitArray (driver); };
ArrayEmpty	:	BRACKETS_OPEN BRACKETS_CLOSE { driverEmptyArray (driver); };


ArrayList	:	AnyCommentNL ArrayElement
		|	ArrayList COMMA AnyCommentNL ArrayElement
		;

ArrayElement	:	{ driverEnterArrayElement(driver); } Value { driverExitArrayElement (driver); }
		;

ArrayEpilogue	:	AnyCommentNL
		|	COMMA AnyCommentNL
		;

AnyCommentNL	:	AnyCommentNL NEWLINE { driverExitNewline (driver); }
		|	AnyCommentNL COMMENT NEWLINE { driverExitComment (driver, $2); }
		|	%empty
		;

Scalar		:	IntegerScalar { $$ = $1; }
		|	BooleanScalar { $$ = $1; }
		|	FloatScalar { $$ = $1; }
		|	StringScalar { $$ = $1; }
		|	DateScalar { $$ = $1; }
		;

IntegerScalar	:	DECIMAL { $$ = $1; }
		|	HEXADECIMAL { $$ = $1; }
		|	OCTAL { $$ = $1; }
		|	BINARY { $$ = $1; }
		;

BooleanScalar	:	BOOLEAN { $$ = $1; }
		;

FloatScalar	:	FLOAT { $$ = $1; }
		;

StringScalar	:	LITERAL_STRING { $$ = $1; }
		|	BASIC_STRING { $$ = $1; }
		|	MULTI_LITERAL_STRING { $$ = $1; }
		|	MULTI_BASIC_STRING { $$ = $1; }
		;

DateScalar	:	OFFSET_DATETIME { $$ = $1; }
		|	LOCAL_DATETIME { $$ = $1; }
		|	LOCAL_DATE { $$ = $1; }
		|	LOCAL_TIME { $$ = $1; }
		;
%%