4 /******************************************************************************
6 * Copyright (C) 2012-2014 Icinga Development Team (http://www.icinga.org) *
8 * This program is free software; you can redistribute it and/or *
9 * modify it under the terms of the GNU General Public License *
10 * as published by the Free Software Foundation; either version 2 *
11 * of the License, or (at your option) any later version. *
13 * This program is distributed in the hope that it will be useful, *
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
16 * GNU General Public License for more details. *
18 * You should have received a copy of the GNU General Public License *
19 * along with this program; if not, write to the Free Software Foundation *
20 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. *
21 ******************************************************************************/
23 #include "config/i2-config.hpp"
24 #include "config/configitembuilder.hpp"
25 #include "config/configtype.hpp"
26 #include "config/configcompiler.hpp"
27 #include "config/configcompilercontext.hpp"
28 #include "config/typerule.hpp"
29 #include "config/typerulelist.hpp"
30 #include "config/expression.hpp"
31 #include "config/applyrule.hpp"
32 #include "config/objectrule.hpp"
33 #include "base/value.hpp"
34 #include "base/utility.hpp"
35 #include "base/scriptvariable.hpp"
36 #include "base/exception.hpp"
37 #include "base/dynamictype.hpp"
38 #include "base/configerror.hpp"
41 #include <boost/foreach.hpp>
43 #define YYLTYPE icinga::DebugInfo
44 #define YYERROR_VERBOSE
46 #define YYLLOC_DEFAULT(Current, Rhs, N) \
49 (Current).Path = YYRHSLOC(Rhs, 1).Path; \
50 (Current).FirstLine = YYRHSLOC(Rhs, 1).FirstLine; \
51 (Current).FirstColumn = YYRHSLOC(Rhs, 1).FirstColumn; \
52 (Current).LastLine = YYRHSLOC(Rhs, N).LastLine; \
53 (Current).LastColumn = YYRHSLOC(Rhs, N).LastColumn; \
55 (Current).Path = YYRHSLOC(Rhs, 0).Path; \
56 (Current).FirstLine = (Current).LastLine = \
57 YYRHSLOC(Rhs, 0).LastLine; \
58 (Current).FirstColumn = (Current).LastColumn = \
59 YYRHSLOC(Rhs, 0).LastColumn; \
63 #define YY_LOCATION_PRINT(file, loc) \
65 std::ostringstream msgbuf; \
67 std::string str = msgbuf.str(); \
68 fputs(str.c_str(), file); \
71 using namespace icinga;
73 int ignore_newlines = 0;
76 static void MakeRBinaryOp(Expression** result, Expression *left, Expression *right, DebugInfo& diLeft, DebugInfo& diRight)
78 *result = new T(left, right, DebugInfoRange(diLeft, diRight));
89 %parse-param { ConfigCompiler *context }
90 %lex-param { void *scanner }
95 icinga::Expression *expr;
96 icinga::Value *variant;
98 icinga::TypeSpecifier type;
99 std::vector<String> *slist;
100 std::vector<Expression *> *elist;
101 std::pair<String, Expression *> *cvitem;
102 std::map<String, Expression *> *cvlist;
105 %token T_NEWLINE "new-line"
106 %token <text> T_STRING
107 %token <text> T_STRING_ANGLE
108 %token <num> T_NUMBER
110 %token <text> T_IDENTIFIER
112 %token <csop> T_SET "= (T_SET)"
113 %token <csop> T_SET_ADD "+= (T_SET_ADD)"
114 %token <csop> T_SET_SUBTRACT "-= (T_SET_SUBTRACT)"
115 %token <csop> T_SET_MULTIPLY "*= (T_SET_MULTIPLY)"
116 %token <csop> T_SET_DIVIDE "/= (T_SET_DIVIDE)"
118 %token T_SHIFT_LEFT "<< (T_SHIFT_LEFT)"
119 %token T_SHIFT_RIGHT ">> (T_SHIFT_RIGHT)"
120 %token T_EQUAL "== (T_EQUAL)"
121 %token T_NOT_EQUAL "!= (T_NOT_EQUAL)"
122 %token T_IN "in (T_IN)"
123 %token T_NOT_IN "!in (T_NOT_IN)"
124 %token T_LOGICAL_AND "&& (T_LOGICAL_AND)"
125 %token T_LOGICAL_OR "|| (T_LOGICAL_OR)"
126 %token T_LESS_THAN_OR_EQUAL "<= (T_LESS_THAN_OR_EQUAL)"
127 %token T_GREATER_THAN_OR_EQUAL ">= (T_GREATER_THAN_OR_EQUAL)"
128 %token T_PLUS "+ (T_PLUS)"
129 %token T_MINUS "- (T_MINUS)"
130 %token T_MULTIPLY "* (T_MULTIPLY)"
131 %token T_DIVIDE_OP "/ (T_DIVIDE_OP)"
132 %token T_BINARY_AND "& (T_BINARY_AND)"
133 %token T_BINARY_OR "| (T_BINARY_OR)"
134 %token T_LESS_THAN "< (T_LESS_THAN)"
135 %token T_GREATER_THAN "> (T_GREATER_THAN)"
137 %token T_CONST "const (T_CONST)"
138 %token T_LOCAL "local (T_LOCAL)"
139 %token T_USE "use (T_USE)"
140 %token <type> T_TYPE_DICTIONARY "dictionary (T_TYPE_DICTIONARY)"
141 %token <type> T_TYPE_ARRAY "array (T_TYPE_ARRAY)"
142 %token <type> T_TYPE_NUMBER "number (T_TYPE_NUMBER)"
143 %token <type> T_TYPE_STRING "string (T_TYPE_STRING)"
144 %token <type> T_TYPE_SCALAR "scalar (T_TYPE_SCALAR)"
145 %token <type> T_TYPE_ANY "any (T_TYPE_ANY)"
146 %token <type> T_TYPE_NAME "name (T_TYPE_NAME)"
147 %token T_VALIDATOR "%validator (T_VALIDATOR)"
148 %token T_REQUIRE "%require (T_REQUIRE)"
149 %token T_ATTRIBUTE "%attribute (T_ATTRIBUTE)"
150 %token T_TYPE "type (T_TYPE)"
151 %token T_OBJECT "object (T_OBJECT)"
152 %token T_TEMPLATE "template (T_TEMPLATE)"
153 %token T_INCLUDE "include (T_INCLUDE)"
154 %token T_INCLUDE_RECURSIVE "include_recursive (T_INCLUDE_RECURSIVE)"
155 %token T_LIBRARY "library (T_LIBRARY)"
156 %token T_INHERITS "inherits (T_INHERITS)"
157 %token T_APPLY "apply (T_APPLY)"
158 %token T_TO "to (T_TO)"
159 %token T_WHERE "where (T_WHERE)"
160 %token T_IMPORT "import (T_IMPORT)"
161 %token T_ASSIGN "assign (T_ASSIGN)"
162 %token T_IGNORE "ignore (T_IGNORE)"
163 %token T_APPLY_FOR "for (T_APPLY_FOR)"
164 %token T_FUNCTION "function (T_FUNCTION)"
165 %token T_RETURN "return (T_RETURN)"
166 %token T_FOR "for (T_FOR)"
167 %token T_SIGNAL "signal (T_SIGNAL)"
168 %token T_FOLLOWS "=> (T_FOLLOWS)"
170 %type <text> identifier
171 %type <elist> rterm_items
172 %type <elist> rterm_items_inner
173 %type <slist> identifier_items
174 %type <slist> identifier_items_inner
175 %type <elist> indexer
176 %type <elist> indexer_items
177 %type <expr> indexer_item
178 %type <elist> lterm_items
179 %type <elist> lterm_items_inner
180 %type <variant> typerulelist
181 %type <csop> combined_set_op
184 %type <expr> rterm_without_indexer
185 %type <expr> rterm_array
186 %type <expr> rterm_scope
190 %type <expr> optional_rterm
191 %type <text> target_type_specifier
192 %type <cvlist> use_specifier
193 %type <cvlist> use_specifier_items
194 %type <cvitem> use_specifier_item
196 %right T_INCLUDE T_INCLUDE_RECURSIVE T_OBJECT T_TEMPLATE T_APPLY T_IMPORT T_ASSIGN T_IGNORE T_WHERE
197 %right T_FUNCTION T_SIGNAL T_FOR
200 %left T_LOCAL T_RETURN
202 %left T_SET T_SET_ADD T_SET_SUBTRACT T_SET_MULTIPLY T_SET_DIVIDE
206 %nonassoc T_EQUAL T_NOT_EQUAL
207 %nonassoc T_LESS_THAN T_LESS_THAN_OR_EQUAL T_GREATER_THAN T_GREATER_THAN_OR_EQUAL
208 %left T_SHIFT_LEFT T_SHIFT_RIGHT
210 %left T_MULTIPLY T_DIVIDE_OP
218 int yylex(YYSTYPE *lvalp, YYLTYPE *llocp, void *scanner);
220 void yyerror(YYLTYPE *locp, ConfigCompiler *, const char *err)
222 std::ostringstream message;
223 message << *locp << ": " << err;
224 ConfigCompilerContext::GetInstance()->AddMessage(true, message.str(), *locp);
227 int yyparse(ConfigCompiler *context);
229 static std::stack<bool> m_Abstract;
231 static std::stack<TypeRuleList::Ptr> m_RuleLists;
232 static ConfigType::Ptr m_Type;
234 static std::stack<bool> m_Apply;
235 static std::stack<bool> m_ObjectAssign;
236 static std::stack<bool> m_SeenAssign;
237 static std::stack<Expression *> m_Assign;
238 static std::stack<Expression *> m_Ignore;
239 static std::stack<String> m_FKVar;
240 static std::stack<String> m_FVVar;
241 static std::stack<Expression *> m_FTerm;
242 static std::stack<std::vector<Expression *> > m_Expressions;
244 Expression *ConfigCompiler::Compile(void)
246 m_Abstract = std::stack<bool>();
247 m_RuleLists = std::stack<TypeRuleList::Ptr>();
249 m_Apply = std::stack<bool>();
250 m_ObjectAssign = std::stack<bool>();
251 m_SeenAssign = std::stack<bool>();
252 m_Assign = std::stack<Expression *>();
253 m_Ignore = std::stack<Expression *>();
254 m_FKVar = std::stack<String>();
255 m_FVVar = std::stack<String>();
256 m_FTerm = std::stack<Expression *>();
257 m_Expressions.push(std::vector<Expression *>());
260 if (yyparse(this) != 0) {
265 DictExpression *expr = new DictExpression(m_Expressions.top());
269 } catch (const ConfigError& ex) {
270 const DebugInfo *di = boost::get_error_info<errinfo_debuginfo>(ex);
271 ConfigCompilerContext::GetInstance()->AddMessage(true, ex.what(), di ? *di : DebugInfo());
272 } catch (const std::exception& ex) {
273 ConfigCompilerContext::GetInstance()->AddMessage(true, DiagnosticInformation(ex));
281 #define scanner (context->GetScanner())
288 | statements statement sep
291 statement: type | library | constant
295 m_Expressions.top().push_back($1);
299 library: T_LIBRARY T_STRING
301 context->HandleLibrary($2);
306 constant: T_CONST identifier T_SET rterm
309 ScriptVariable::Ptr sv = ScriptVariable::Set($2, $4->Evaluate(frame));
313 sv->SetConstant(true);
317 identifier: T_IDENTIFIER
324 type: T_TYPE identifier
326 String name = String($2);
329 m_Type = ConfigType::GetByName(name);
332 m_Type = new ConfigType(name, DebugInfoRange(@1, @2));
336 type_inherits_specifier typerulelist
338 TypeRuleList::Ptr ruleList = *$5;
341 m_Type->GetRuleList()->AddRules(ruleList);
342 m_Type->GetRuleList()->AddRequires(ruleList);
344 String validator = ruleList->GetValidator();
345 if (!validator.IsEmpty())
346 m_Type->GetRuleList()->SetValidator(validator);
352 m_RuleLists.push(new TypeRuleList());
357 $$ = new Value(m_RuleLists.top());
362 typerules: typerules_inner
363 | typerules_inner sep
365 typerules_inner: /* empty */
367 | typerules_inner sep typerule
370 typerule: T_REQUIRE T_STRING
372 m_RuleLists.top()->AddRequire($2);
375 | T_VALIDATOR T_STRING
377 m_RuleLists.top()->SetValidator($2);
380 | T_ATTRIBUTE type T_STRING
382 TypeRule rule($2, String(), $3, TypeRuleList::Ptr(), DebugInfoRange(@1, @3));
385 m_RuleLists.top()->AddRule(rule);
387 | T_ATTRIBUTE T_TYPE_NAME '(' identifier ')' T_STRING
389 TypeRule rule($2, $4, $6, TypeRuleList::Ptr(), DebugInfoRange(@1, @6));
393 m_RuleLists.top()->AddRule(rule);
395 | T_ATTRIBUTE type T_STRING typerulelist
397 TypeRule rule($2, String(), $3, *$4, DebugInfoRange(@1, @4));
400 m_RuleLists.top()->AddRule(rule);
404 type_inherits_specifier: /* empty */
405 | T_INHERITS identifier
407 m_Type->SetParent($2);
412 type: T_TYPE_DICTIONARY
426 m_Abstract.push(false);
427 m_ObjectAssign.push(true);
428 m_SeenAssign.push(false);
432 object_declaration identifier rterm use_specifier rterm_scope
434 m_ObjectAssign.pop();
436 bool abstract = m_Abstract.top();
442 DictExpression *exprl = dynamic_cast<DictExpression *>($6);
445 bool seen_assign = m_SeenAssign.top();
448 Expression *ignore = m_Ignore.top();
451 Expression *assign = m_Assign.top();
454 Expression *filter = NULL;
457 if (!ObjectRule::IsValidSourceType(type))
458 BOOST_THROW_EXCEPTION(ConfigError("object rule 'assign' cannot be used for type '" + type + "'") << errinfo_debuginfo(DebugInfoRange(@2, @3)));
461 Expression *rex = new LogicalNegateExpression(ignore, DebugInfoRange(@2, @5));
463 filter = new LogicalAndExpression(assign, rex, DebugInfoRange(@2, @5));
468 $$ = new ObjectExpression(abstract, type, $4, filter, context->GetZone(), $5, exprl, DebugInfoRange(@2, @5));
472 object_declaration: T_OBJECT
475 m_Abstract.top() = true;
478 identifier_items: identifier_items_inner
482 | identifier_items_inner ','
488 identifier_items_inner: /* empty */
490 $$ = new std::vector<String>();
494 $$ = new std::vector<String>();
498 | identifier_items_inner ',' identifier
503 $$ = new std::vector<String>();
510 indexer: rterm_without_indexer indexer_items
513 $$->insert($$->begin(), $1);
517 indexer_items: indexer_item
519 $$ = new std::vector<Expression *>();
522 | indexer_items indexer_item
529 indexer_item: '.' identifier
531 $$ = MakeLiteral($2);
540 combined_set_op: T_SET
550 lterm_items: /* empty */
552 $$ = new std::vector<Expression *>();
558 | lterm_items_inner sep
563 lterm_items_inner: lterm
565 $$ = new std::vector<Expression *>();
568 | lterm_items_inner sep lterm
573 $$ = new std::vector<Expression *>();
579 lterm: T_LOCAL indexer combined_set_op rterm
581 $$ = new SetExpression(*$2, $3, $4, true, DebugInfoRange(@1, @4));
584 | indexer combined_set_op rterm
586 $$ = new SetExpression(*$1, $2, $3, false, DebugInfoRange(@1, @3));
589 | T_LOCAL identifier combined_set_op rterm
591 $$ = new SetExpression(MakeIndexer($2), $3, $4, true, DebugInfoRange(@1, @4));
594 | identifier combined_set_op rterm
596 $$ = new SetExpression(MakeIndexer($1), $2, $3, false, DebugInfoRange(@1, @3));
601 $$ = context->HandleInclude($2, false, DebugInfoRange(@1, @2));
604 | T_INCLUDE T_STRING_ANGLE
606 $$ = context->HandleInclude($2, true, DebugInfoRange(@1, @2));
609 | T_INCLUDE_RECURSIVE T_STRING
611 $$ = context->HandleIncludeRecursive($2, "*.conf", DebugInfoRange(@1, @2));
614 | T_INCLUDE_RECURSIVE T_STRING ',' T_STRING
616 $$ = context->HandleIncludeRecursive($2, $4, DebugInfoRange(@1, @4));
622 $$ = new ImportExpression($2, DebugInfoRange(@1, @2));
624 | T_ASSIGN T_WHERE rterm
626 if ((m_Apply.empty() || !m_Apply.top()) && (m_ObjectAssign.empty() || !m_ObjectAssign.top()))
627 BOOST_THROW_EXCEPTION(ConfigError("'assign' keyword not valid in this context."));
629 m_SeenAssign.top() = true;
632 m_Assign.top() = new LogicalOrExpression(m_Assign.top(), $3, DebugInfoRange(@1, @3));
638 | T_IGNORE T_WHERE rterm
640 if ((m_Apply.empty() || !m_Apply.top()) && (m_ObjectAssign.empty() || !m_ObjectAssign.top()))
641 BOOST_THROW_EXCEPTION(ConfigError("'ignore' keyword not valid in this context."));
644 m_Ignore.top() = new LogicalOrExpression(m_Ignore.top(), $3, DebugInfoRange(@1, @3));
652 $$ = new ReturnExpression($2, DebugInfoRange(@1, @2));
668 rterm_items: /* empty */
670 $$ = new std::vector<Expression *>();
676 | rterm_items_inner arraysep
682 rterm_items_inner: rterm
684 $$ = new std::vector<Expression *>();
687 | rterm_items_inner arraysep rterm
694 rterm_array: '[' newlines rterm_items newlines ']'
696 $$ = new ArrayExpression(*$3, DebugInfoRange(@1, @5));
699 | '[' newlines rterm_items ']'
701 $$ = new ArrayExpression(*$3, DebugInfoRange(@1, @4));
704 | '[' rterm_items newlines ']'
706 $$ = new ArrayExpression(*$2, DebugInfoRange(@1, @4));
709 | '[' rterm_items ']'
711 $$ = new ArrayExpression(*$2, DebugInfoRange(@1, @3));
716 rterm_scope: '{' newlines lterm_items newlines '}'
718 $$ = new DictExpression(*$3, DebugInfoRange(@1, @5));
721 | '{' newlines lterm_items '}'
723 $$ = new DictExpression(*$3, DebugInfoRange(@1, @4));
726 | '{' lterm_items newlines '}'
728 $$ = new DictExpression(*$2, DebugInfoRange(@1, @4));
731 | '{' lterm_items '}'
733 $$ = new DictExpression(*$2, DebugInfoRange(@1, @3));
738 rterm: rterm_without_indexer
744 $$ = new IndexerExpression(*$1, @1);
749 rterm_without_indexer: T_STRING
751 $$ = MakeLiteral($1);
756 $$ = MakeLiteral($1);
762 | rterm '(' rterm_items ')'
764 $$ = new FunctionCallExpression($1, *$3, DebugInfoRange(@1, @4));
769 $$ = new VariableExpression($1, @1);
774 $$ = new LogicalNegateExpression($2, DebugInfoRange(@1, @2));
778 $$ = new NegateExpression($2, DebugInfoRange(@1, @2));
780 | T_MINUS rterm %prec UNARY_MINUS
782 $$ = new SubtractExpression(MakeLiteral(0), $2, DebugInfoRange(@1, @2));
801 | rterm T_LOGICAL_OR rterm { MakeRBinaryOp<LogicalOrExpression>(&$$, $1, $3, @1, @3); }
802 | rterm T_LOGICAL_AND rterm { MakeRBinaryOp<LogicalAndExpression>(&$$, $1, $3, @1, @3); }
803 | rterm T_BINARY_OR rterm { MakeRBinaryOp<BinaryOrExpression>(&$$, $1, $3, @1, @3); }
804 | rterm T_BINARY_AND rterm { MakeRBinaryOp<BinaryAndExpression>(&$$, $1, $3, @1, @3); }
805 | rterm T_IN rterm { MakeRBinaryOp<InExpression>(&$$, $1, $3, @1, @3); }
806 | rterm T_NOT_IN rterm { MakeRBinaryOp<NotInExpression>(&$$, $1, $3, @1, @3); }
807 | rterm T_EQUAL rterm { MakeRBinaryOp<EqualExpression>(&$$, $1, $3, @1, @3); }
808 | rterm T_NOT_EQUAL rterm { MakeRBinaryOp<NotEqualExpression>(&$$, $1, $3, @1, @3); }
809 | rterm T_LESS_THAN rterm { MakeRBinaryOp<LessThanExpression>(&$$, $1, $3, @1, @3); }
810 | rterm T_LESS_THAN_OR_EQUAL rterm { MakeRBinaryOp<LessThanOrEqualExpression>(&$$, $1, $3, @1, @3); }
811 | rterm T_GREATER_THAN rterm { MakeRBinaryOp<GreaterThanExpression>(&$$, $1, $3, @1, @3); }
812 | rterm T_GREATER_THAN_OR_EQUAL rterm { MakeRBinaryOp<GreaterThanOrEqualExpression>(&$$, $1, $3, @1, @3); }
813 | rterm T_SHIFT_LEFT rterm { MakeRBinaryOp<ShiftLeftExpression>(&$$, $1, $3, @1, @3); }
814 | rterm T_SHIFT_RIGHT rterm { MakeRBinaryOp<ShiftRightExpression>(&$$, $1, $3, @1, @3); }
815 | rterm T_PLUS rterm { MakeRBinaryOp<AddExpression>(&$$, $1, $3, @1, @3); }
816 | rterm T_MINUS rterm { MakeRBinaryOp<SubtractExpression>(&$$, $1, $3, @1, @3); }
817 | rterm T_MULTIPLY rterm { MakeRBinaryOp<MultiplyExpression>(&$$, $1, $3, @1, @3); }
818 | rterm T_DIVIDE_OP rterm { MakeRBinaryOp<DivideExpression>(&$$, $1, $3, @1, @3); }
819 | T_FUNCTION identifier '(' identifier_items ')' use_specifier rterm_scope
821 DictExpression *aexpr = dynamic_cast<DictExpression *>($7);
824 $$ = new FunctionExpression($2, *$4, $6, aexpr, DebugInfoRange(@1, @6));
828 | T_FUNCTION '(' identifier_items ')' use_specifier rterm_scope
830 DictExpression *aexpr = dynamic_cast<DictExpression *>($6);
833 $$ = new FunctionExpression("", *$3, $5, aexpr, DebugInfoRange(@1, @5));
836 | T_SIGNAL identifier T_SET_ADD rterm
838 $$ = new SlotExpression($2, $4, DebugInfoRange(@1, @4));
841 | T_FOR '(' identifier T_FOLLOWS identifier T_IN rterm ')' rterm_scope
843 DictExpression *aexpr = dynamic_cast<DictExpression *>($9);
846 $$ = new ForExpression($3, $5, $7, aexpr, DebugInfoRange(@1, @9));
850 | T_FOR '(' identifier T_IN rterm ')' rterm_scope
852 DictExpression *aexpr = dynamic_cast<DictExpression *>($7);
855 $$ = new ForExpression($3, "", $5, aexpr, DebugInfoRange(@1, @7));
860 target_type_specifier: /* empty */
870 use_specifier: /* empty */
874 | T_USE '(' use_specifier_items ')'
880 use_specifier_items: use_specifier_item
882 $$ = new std::map<String, Expression *>();
886 | use_specifier_items ',' use_specifier_item
894 use_specifier_item: identifier
896 $$ = new std::pair<String, Expression *>($1, new VariableExpression($1, @1));
898 | identifier T_SET rterm
900 $$ = new std::pair<String, Expression *>($1, $3);
904 apply_for_specifier: /* empty */
905 | T_APPLY_FOR '(' identifier T_FOLLOWS identifier T_IN rterm ')'
915 | T_APPLY_FOR '(' identifier T_IN rterm ')'
926 optional_rterm: /* empty */
939 m_SeenAssign.push(false);
946 T_APPLY identifier optional_rterm apply_for_specifier target_type_specifier use_specifier rterm_scope
955 if (!ApplyRule::IsValidSourceType(type))
956 BOOST_THROW_EXCEPTION(ConfigError("'apply' cannot be used with type '" + type + "'") << errinfo_debuginfo(DebugInfoRange(@2, @3)));
958 if (!ApplyRule::IsValidTargetType(type, target)) {
960 std::vector<String> types = ApplyRule::GetTargetTypes(type);
963 for (std::vector<String>::size_type i = 0; i < types.size(); i++) {
964 if (typeNames != "") {
965 if (i == types.size() - 1)
971 typeNames += "'" + types[i] + "'";
974 BOOST_THROW_EXCEPTION(ConfigError("'apply' target type is ambiguous (can be one of " + typeNames + "): use 'to' to specify a type") << errinfo_debuginfo(DebugInfoRange(@2, @3)));
976 BOOST_THROW_EXCEPTION(ConfigError("'apply' target type '" + target + "' is invalid") << errinfo_debuginfo(DebugInfoRange(@2, @5)));
979 DictExpression *exprl = dynamic_cast<DictExpression *>($8);
983 if (!m_SeenAssign.top())
984 BOOST_THROW_EXCEPTION(ConfigError("'apply' is missing 'assign'") << errinfo_debuginfo(DebugInfoRange(@2, @3)));
988 Expression *ignore = m_Ignore.top();
991 Expression *assign = m_Assign.top();
997 Expression *rex = new LogicalNegateExpression(ignore, DebugInfoRange(@2, @5));
999 filter = new LogicalAndExpression(assign, rex, DebugInfoRange(@2, @5));
1003 String fkvar = m_FKVar.top();
1006 String fvvar = m_FVVar.top();
1009 Expression *fterm = m_FTerm.top();
1012 $$ = new ApplyExpression(type, target, $4, filter, fkvar, fvvar, fterm, $7, exprl, DebugInfoRange(@2, @7));
1017 | T_NEWLINE newlines
1020 /* required separator */
1028 arraysep: ',' newlines