icinga2/lib/config/config_parser.yy

618 lines
12 KiB
Plaintext
Raw Normal View History

%code requires {
/******************************************************************************
* Icinga 2 *
* Copyright (C) 2012 Icinga Development Team (http://www.icinga.org/) *
* *
* This program is free software; you can redistribute it and/or *
* modify it under the terms of the GNU General Public License *
* as published by the Free Software Foundation; either version 2 *
* of the License, or (at your option) any later version. *
* *
* This program is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
* GNU General Public License for more details. *
* *
* You should have received a copy of the GNU General Public License *
* along with this program; if not, write to the Free Software Foundation *
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. *
******************************************************************************/
#include "i2-config.h"
2013-03-17 20:19:29 +01:00
#include "config/expression.h"
#include "config/expressionlist.h"
#include "config/configitembuilder.h"
#include "config/configcompiler.h"
#include "config/configcompilercontext.h"
#include "config/typerule.h"
#include "config/typerulelist.h"
#include "base/value.h"
2013-03-18 11:02:18 +01:00
#include "base/utility.h"
2013-03-17 20:19:29 +01:00
#include "base/array.h"
2013-06-25 09:21:25 +02:00
#include "base/scriptvariable.h"
2013-03-16 21:18:53 +01:00
#include <sstream>
#include <stack>
#include <boost/smart_ptr/make_shared.hpp>
2013-03-18 11:02:18 +01:00
#include <boost/exception/diagnostic_information.hpp>
#include <boost/foreach.hpp>
using namespace icinga;
2013-03-17 20:19:29 +01:00
#define YYLTYPE icinga::DebugInfo
}
2012-05-31 08:45:02 +02:00
%pure-parser
%locations
%defines
%error-verbose
%parse-param { ConfigCompiler *context }
2012-05-31 08:45:02 +02:00
%lex-param { void *scanner }
%union {
char *text;
double num;
icinga::Value *variant;
icinga::ExpressionOperator op;
icinga::TypeSpecifier type;
std::vector<String> *slist;
Expression *expr;
ExpressionList *exprl;
Array *array;
2012-05-31 08:45:02 +02:00
}
%token <text> T_STRING
%token <text> T_STRING_ANGLE
2012-05-31 08:45:02 +02:00
%token <num> T_NUMBER
%token T_NULL
%token <text> T_IDENTIFIER
%token <op> T_EQUAL "= (T_EQUAL)"
%token <op> T_PLUS_EQUAL "+= (T_PLUS_EQUAL)"
%token <op> T_MINUS_EQUAL "-= (T_MINUS_EQUAL)"
%token <op> T_MULTIPLY_EQUAL "*= (T_MULTIPLY_EQUAL)"
%token <op> T_DIVIDE_EQUAL "/= (T_DIVIDE_EQUAL)"
2013-06-25 09:21:25 +02:00
%token T_SET "set (T_SET)"
2013-06-26 08:21:35 +02:00
%token T_SHIFT_LEFT "<< (T_SHIFT_LEFT)"
%token T_SHIFT_RIGHT ">> (T_SHIFT_RIGHT)"
%token <type> T_TYPE_DICTIONARY "dictionary (T_TYPE_DICTIONARY)"
%token <type> T_TYPE_ARRAY "array (T_TYPE_ARRAY)"
%token <type> T_TYPE_NUMBER "number (T_TYPE_NUMBER)"
%token <type> T_TYPE_STRING "string (T_TYPE_STRING)"
%token <type> T_TYPE_SCALAR "scalar (T_TYPE_SCALAR)"
%token <type> T_TYPE_ANY "any (T_TYPE_ANY)"
%token <type> T_TYPE_NAME "name (T_TYPE_NAME)"
%token T_VALIDATOR "%validator (T_VALIDATOR)"
%token T_REQUIRE "%require (T_REQUIRE)"
%token T_ATTRIBUTE "%attribute (T_ATTRIBUTE)"
%token T_TYPE "type (T_TYPE)"
%token T_ABSTRACT "abstract (T_ABSTRACT)"
%token T_OBJECT "object (T_OBJECT)"
%token T_TEMPLATE "template (T_TEMPLATE)"
%token T_INCLUDE "include (T_INCLUDE)"
%token T_LIBRARY "library (T_LIBRARY)"
%token T_INHERITS "inherits (T_INHERITS)"
%token T_PARTIAL "partial (T_PARTIAL)"
%type <text> identifier
%type <array> array
%type <array> array_items
%type <array> array_items_inner
%type <variant> simplevalue
%type <variant> value
%type <expr> expression
%type <exprl> expressions
%type <exprl> expressions_inner
%type <exprl> expressionlist
%type <variant> typerulelist
%type <op> operator
%type <type> type
%type <num> partial_specifier
%type <slist> object_inherits_list
%type <slist> object_inherits_specifier
%type <variant> constterm
%type <variant> constexpression
%left '+' '-'
%left '*' '/'
2013-06-25 09:21:25 +02:00
%left '&'
%left '|'
2012-05-31 08:45:02 +02:00
%{
2012-05-31 08:59:40 +02:00
int yylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner);
2012-05-31 08:45:02 +02:00
2012-08-07 21:02:12 +02:00
void yyerror(YYLTYPE *locp, ConfigCompiler *, const char *err)
2012-05-31 08:45:02 +02:00
{
2013-03-16 21:18:53 +01:00
std::ostringstream message;
2012-07-09 11:39:14 +02:00
message << *locp << ": " << err;
ConfigCompilerContext::GetInstance()->AddError(false, message.str());
2012-05-31 08:45:02 +02:00
}
int yyparse(ConfigCompiler *context);
2013-03-16 21:18:53 +01:00
static std::stack<Array::Ptr> m_Arrays;
static bool m_Abstract;
2013-03-16 21:18:53 +01:00
static std::stack<TypeRuleList::Ptr> m_RuleLists;
static ConfigType::Ptr m_Type;
2012-05-31 10:16:32 +02:00
void ConfigCompiler::Compile(void)
2012-05-31 10:16:32 +02:00
{
try {
yyparse(this);
2013-03-16 21:18:53 +01:00
} catch (const std::exception& ex) {
ConfigCompilerContext::GetInstance()->AddError(false, boost::diagnostic_information(ex));
}
2012-05-31 10:16:32 +02:00
}
2012-05-31 09:43:46 +02:00
#define scanner (context->GetScanner())
2012-05-31 08:45:02 +02:00
%}
%%
statements: /* empty */
| statements statement
;
2013-06-25 09:21:25 +02:00
statement: object | type | include | library | variable
2012-05-31 08:45:02 +02:00
;
include: T_INCLUDE value
{
context->HandleInclude(*$2, false, yylloc);
delete $2;
}
| T_INCLUDE T_STRING_ANGLE
{
context->HandleInclude($2, true, yylloc);
free($2);
}
2012-05-31 08:45:02 +02:00
library: T_LIBRARY T_STRING
{
context->HandleLibrary($2);
2013-02-11 10:10:17 +01:00
free($2);
}
2013-06-25 09:21:25 +02:00
variable: T_SET identifier T_EQUAL value
{
2013-09-10 16:03:36 +02:00
Value *value = $4;
if (value->IsObjectType<ExpressionList>()) {
Dictionary::Ptr dict = boost::make_shared<Dictionary>();
ExpressionList::Ptr exprl = *value;
exprl->Execute(dict);
delete value;
value = new Value(dict);
}
ScriptVariable::Set($2, *value);
2013-06-25 09:21:25 +02:00
free($2);
2013-09-10 16:03:36 +02:00
delete value;
2013-06-25 09:21:25 +02:00
}
identifier: T_IDENTIFIER
| T_STRING
{
$$ = $1;
}
;
type: partial_specifier T_TYPE identifier
{
String name = String($3);
free($3);
m_Type = ConfigType::GetByName(name);
if (!m_Type) {
if ($1)
2013-03-16 21:18:53 +01:00
BOOST_THROW_EXCEPTION(std::invalid_argument("Partial type definition for unknown type '" + name + "'"));
m_Type = boost::make_shared<ConfigType>(name, yylloc);
m_Type->Register();
}
}
type_inherits_specifier typerulelist
{
TypeRuleList::Ptr ruleList = *$6;
m_Type->GetRuleList()->AddRules(ruleList);
m_Type->GetRuleList()->AddRequires(ruleList);
String validator = ruleList->GetValidator();
if (!validator.IsEmpty())
m_Type->GetRuleList()->SetValidator(validator);
delete $6;
}
;
partial_specifier: /* Empty */
{
$$ = 0;
}
| T_PARTIAL
{
$$ = 1;
}
;
typerulelist: '{'
{
m_RuleLists.push(boost::make_shared<TypeRuleList>());
}
typerules
'}'
{
$$ = new Value(m_RuleLists.top());
m_RuleLists.pop();
}
;
typerules: typerules_inner
| typerules_inner ','
typerules_inner: /* empty */
| typerule
| typerules_inner ',' typerule
;
typerule: T_REQUIRE T_STRING
{
m_RuleLists.top()->AddRequire($2);
2013-02-11 10:10:17 +01:00
free($2);
}
| T_VALIDATOR T_STRING
{
m_RuleLists.top()->SetValidator($2);
2013-02-11 10:10:17 +01:00
free($2);
}
| T_ATTRIBUTE type T_STRING
{
TypeRule rule($2, String(), $3, TypeRuleList::Ptr(), yylloc);
2013-02-11 10:10:17 +01:00
free($3);
m_RuleLists.top()->AddRule(rule);
}
| T_ATTRIBUTE T_TYPE_NAME '(' identifier ')' T_STRING
{
TypeRule rule($2, $4, $6, TypeRuleList::Ptr(), yylloc);
free($4);
free($6);
m_RuleLists.top()->AddRule(rule);
}
| T_ATTRIBUTE type T_STRING typerulelist
{
TypeRule rule($2, String(), $3, *$4, yylloc);
2013-02-11 10:10:17 +01:00
free($3);
delete $4;
m_RuleLists.top()->AddRule(rule);
}
;
type_inherits_specifier: /* empty */
2013-06-06 11:26:00 +02:00
| T_INHERITS identifier
{
m_Type->SetParent($2);
2013-02-11 10:10:17 +01:00
free($2);
}
;
type: T_TYPE_DICTIONARY
2013-03-14 12:17:46 +01:00
| T_TYPE_ARRAY
| T_TYPE_NUMBER
| T_TYPE_STRING
| T_TYPE_SCALAR
| T_TYPE_ANY
| T_TYPE_NAME
{
$$ = $1;
}
;
object:
{
m_Abstract = false;
}
object_declaration identifier T_STRING object_inherits_specifier expressionlist
{
ConfigItemBuilder::Ptr item = boost::make_shared<ConfigItemBuilder>(yylloc);
item->SetType($3);
if (strchr($4, ':') != NULL) {
std::ostringstream msgbuf;
msgbuf << "Name for object '" << $4 << "' of type '" << $3 << "' is invalid: Object names may not contain ':'";
free($3);
BOOST_THROW_EXCEPTION(std::invalid_argument(msgbuf.str()));
}
free($3);
item->SetName($4);
free($4);
if ($5) {
BOOST_FOREACH(const String& parent, *$5) {
item->AddParent(parent);
}
delete $5;
}
if ($6) {
ExpressionList::Ptr exprl = ExpressionList::Ptr($6);
item->AddExpressionList(exprl);
}
2012-05-31 08:45:02 +02:00
item->SetAbstract(m_Abstract);
item->Compile()->Register();
item.reset();
}
2012-05-31 08:45:02 +02:00
;
object_declaration: attributes T_OBJECT
| T_TEMPLATE
{
m_Abstract = true;
}
attributes: /* empty */
| attributes attribute
2012-05-31 08:45:02 +02:00
;
attribute: T_ABSTRACT
{
m_Abstract = true;
}
;
object_inherits_list:
{
$$ = NULL;
}
| T_STRING
{
$$ = new std::vector<String>();
$$->push_back($1);
2013-04-04 13:51:36 +02:00
free($1);
}
| object_inherits_list ',' T_STRING
{
if ($1)
$$ = $1;
else
$$ = new std::vector<String>();
2012-05-31 08:45:02 +02:00
$$->push_back($3);
2013-04-04 13:51:36 +02:00
free($3);
}
2012-05-31 08:45:02 +02:00
;
object_inherits_specifier:
{
$$ = NULL;
}
| T_INHERITS object_inherits_list
{
$$ = $2;
}
;
expressionlist: '{' expressions '}'
{
$$ = $2;
}
2012-05-31 08:45:02 +02:00
;
expressions: expressions_inner
{
$$ = $1;
}
| expressions_inner ','
{
$$ = $1;
}
expressions_inner: /* empty */
{
$$ = NULL;
}
| expression
{
$$ = new ExpressionList();
$$->AddExpression(*$1);
2013-04-04 13:51:36 +02:00
delete $1;
}
| expressions_inner ',' expression
{
if ($1)
$$ = $1;
else
$$ = new ExpressionList();
$$->AddExpression(*$3);
2013-04-04 13:51:36 +02:00
delete $3;
}
2012-05-31 08:45:02 +02:00
;
expression: identifier operator value
{
$$ = new Expression($1, $2, *$3, yylloc);
free($1);
delete $3;
}
| identifier '[' T_STRING ']' operator value
{
Expression subexpr($3, $5, *$6, yylloc);
free($3);
delete $6;
2012-06-15 19:32:41 +02:00
ExpressionList::Ptr subexprl = boost::make_shared<ExpressionList>();
subexprl->AddExpression(subexpr);
$$ = new Expression($1, OperatorPlus, subexprl, yylloc);
free($1);
}
;
operator: T_EQUAL
| T_PLUS_EQUAL
| T_MINUS_EQUAL
| T_MULTIPLY_EQUAL
| T_DIVIDE_EQUAL
{
$$ = $1;
}
2012-05-31 08:45:02 +02:00
;
array: '[' array_items ']'
2013-03-14 12:17:46 +01:00
{
$$ = $2;
2013-03-14 12:17:46 +01:00
}
;
array_items: array_items_inner
{
$$ = $1;
}
2013-03-14 12:17:46 +01:00
| array_items_inner ','
{
$$ = $1;
}
2013-03-14 12:17:46 +01:00
array_items_inner: /* empty */
{
$$ = NULL;
}
2013-03-14 12:17:46 +01:00
| value
{
$$ = new Array();
if ($1->IsObjectType<ExpressionList>()) {
ExpressionList::Ptr exprl = *$1;
Dictionary::Ptr dict = boost::make_shared<Dictionary>();
exprl->Execute(dict);
delete $1;
$1 = new Value(dict);
}
$$->Add(*$1);
2013-04-04 13:51:36 +02:00
delete $1;
2013-03-14 12:17:46 +01:00
}
| array_items_inner ',' value
{
if ($1)
$$ = $1;
else
$$ = new Array();
if ($3->IsObjectType<ExpressionList>()) {
ExpressionList::Ptr exprl = *$3;
Dictionary::Ptr dict = boost::make_shared<Dictionary>();
exprl->Execute(dict);
delete $3;
$3 = new Value(dict);
}
$$->Add(*$3);
2013-04-04 13:51:36 +02:00
delete $3;
2013-03-14 12:17:46 +01:00
}
;
simplevalue: T_STRING
{
$$ = new Value($1);
free($1);
}
| T_NUMBER
{
$$ = new Value($1);
}
| T_NULL
{
$$ = new Value();
}
2013-03-14 12:17:46 +01:00
| array
{
if ($1 == NULL)
$1 = new Array();
Array::Ptr array = Array::Ptr($1);
$$ = new Value(array);
2013-03-14 12:17:46 +01:00
}
;
2013-06-25 09:21:25 +02:00
constterm: '(' constexpression ')'
{
$$ = $2;
}
constexpression: T_STRING
2013-06-25 09:21:25 +02:00
{
$$ = new Value($1);
free($1);
2013-06-25 09:21:25 +02:00
}
| T_NUMBER
2013-06-25 09:21:25 +02:00
{
$$ = new Value($1);
}
| T_IDENTIFIER
{
$$ = new Value(ScriptVariable::Get($1));
2013-06-25 09:21:25 +02:00
free($1);
}
| constexpression '+' constexpression
{
if ($1->GetType() == ValueString || $3->GetType() == ValueString)
$$ = new Value((String)*$1 + (String)*$3);
else
$$ = new Value((double)*$1 + (double)*$3);
2013-06-25 09:21:25 +02:00
}
| constexpression '-' constexpression
{
$$ = new Value((double)*$1 - (double)*$3);
2013-06-25 09:21:25 +02:00
}
| constexpression '*' constexpression
{
$$ = new Value((double)*$1 * (double)*$3);
2013-06-25 09:21:25 +02:00
}
| constexpression '/' constexpression
{
$$ = new Value((double)*$1 / (double)*$3);
2013-06-25 09:21:25 +02:00
}
| constexpression '&' constexpression
{
$$ = new Value((long)*$1 & (long)*$3);
2013-06-25 09:21:25 +02:00
}
| constexpression '|' constexpression
{
$$ = new Value((long)*$1 | (long)*$3);
2013-06-25 09:21:25 +02:00
}
2013-06-26 08:21:35 +02:00
| constexpression T_SHIFT_LEFT constexpression
{
$$ = new Value((long)*$1 << (long)*$3);
2013-06-26 08:21:35 +02:00
}
| constexpression T_SHIFT_RIGHT constexpression
{
$$ = new Value((long)*$1 >> (long)*$3);
2013-06-26 08:21:35 +02:00
}
2013-06-25 09:21:25 +02:00
| '(' constexpression ')'
{
$$ = $2;
}
;
value: simplevalue
| expressionlist
{
ExpressionList::Ptr exprl = ExpressionList::Ptr($1);
$$ = new Value(exprl);
}
2013-06-25 09:21:25 +02:00
| constterm
{
$$ = $1;
2013-06-25 09:21:25 +02:00
}
2012-05-31 08:45:02 +02:00
;
%%