283 lines
8.8 KiB
Text
283 lines
8.8 KiB
Text
/*
|
|
*
|
|
***** BEGIN LICENSE BLOCK *****
|
|
|
|
Copyright (C) 2022 Olof Hagsand and Rubicon Communications, LLC(Netgate)
|
|
|
|
This file is part of CLIXON.
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|
|
|
|
Alternatively, the contents of this file may be used under the terms of
|
|
the GNU General Public License Version 3 or later (the "GPL"),
|
|
in which case the provisions of the GPL are applicable instead
|
|
of those above. If you wish to allow use of your version of this file only
|
|
under the terms of the GPL, and not to allow others to
|
|
use your version of this file under the terms of Apache License version 2,
|
|
indicate your decision by deleting the provisions above and replace them with
|
|
the notice and other provisions required by the GPL. If you do not delete
|
|
the provisions above, a recipient may use your version of this file under
|
|
the terms of any one of the Apache License version 2 or the GPL.
|
|
|
|
***** END LICENSE BLOCK *****
|
|
|
|
* Sub-parser for if-feature AND identifier-ref as defined in RFC7950 Section 14
|
|
if-feature-expr = if-feature-term
|
|
[sep or-keyword sep if-feature-expr]
|
|
|
|
if-feature-term = if-feature-factor
|
|
[sep and-keyword sep if-feature-term]
|
|
|
|
if-feature-factor = not-keyword sep if-feature-factor /
|
|
"(" optsep if-feature-expr optsep ")" /
|
|
identifier-ref-arg
|
|
identifier-ref-arg = identifier-ref
|
|
identifier-ref = [prefix ":"] identifier
|
|
prefix = identifier
|
|
identifier = (ALPHA / "_")
|
|
*(ALPHA / DIGIT / "_" / "-" / ".")
|
|
|
|
Called twice:
|
|
1. In parsing just for syntax checks (dont do feature-check)
|
|
2. In populate when all yangs are resolved, then do semantic feature-check
|
|
*/
|
|
%union {
|
|
char *string;
|
|
void *stack;
|
|
int number;
|
|
}
|
|
|
|
%token MY_EOF
|
|
%token AND
|
|
%token NOT
|
|
%token OR
|
|
%token <string> IDENTIFIER
|
|
%token SEP
|
|
|
|
%type <number> if_feature_factor if_feature_expr
|
|
%type <string> identifier_ref identifier prefix
|
|
|
|
%start top
|
|
|
|
%lex-param {void *_if} /* Add this argument to parse() and lex() function */
|
|
%parse-param {void *_if}
|
|
|
|
%{
|
|
|
|
/* typecast macro */
|
|
#define _IF ((clixon_yang_sub_parse_yacc *)_if)
|
|
#define _YYERROR(msg) {clixon_err(OE_YANG, 0, "%s", (msg)); YYERROR;}
|
|
|
|
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include <string.h>
|
|
#include <strings.h>
|
|
#include <errno.h>
|
|
#include <stdlib.h>
|
|
#include <sys/time.h>
|
|
|
|
/* cligen */
|
|
#include <cligen/cligen.h>
|
|
|
|
/* clixon */
|
|
#include "clixon_queue.h"
|
|
#include "clixon_hash.h"
|
|
#include "clixon_string.h"
|
|
#include "clixon_handle.h"
|
|
#include "clixon_yang.h"
|
|
#include "clixon_xml.h"
|
|
#include "clixon_err.h"
|
|
#include "clixon_log.h"
|
|
#include "clixon_debug.h"
|
|
#include "clixon_yang_module.h"
|
|
#include "clixon_xml_vec.h"
|
|
#include "clixon_data.h"
|
|
#include "clixon_yang_sub_parse.h"
|
|
|
|
/* Enable for debugging, steals some cycles otherwise */
|
|
#if 0
|
|
#define _PARSE_DEBUG(s) clixon_debug(CLIXON_DBG_YANG, (s))
|
|
#else
|
|
#define _PARSE_DEBUG(s)
|
|
#endif
|
|
|
|
void
|
|
clixon_yang_sub_parseerror(void *arg,
|
|
char *s)
|
|
{
|
|
clixon_yang_sub_parse_yacc *ife = (clixon_yang_sub_parse_yacc *)arg;
|
|
|
|
clixon_err(OE_YANG, 0, "yang_sub_parse: file:%s:%d \"%s\" %s: at or before: %s",
|
|
ife->if_mainfile,
|
|
ife->if_linenum,
|
|
ife->if_parse_string,
|
|
s,
|
|
clixon_yang_sub_parsetext);
|
|
return;
|
|
}
|
|
|
|
/*! Check if feature "str" is enabled or not in context of yang node ys
|
|
*
|
|
* @param[in] str feature str.
|
|
* @param[in] ys If-feature type yang node
|
|
* @retval 0 OK
|
|
* @retval -1 Error
|
|
*/
|
|
static int
|
|
if_feature_check(clixon_yang_sub_parse_yacc *ife,
|
|
char *str)
|
|
{
|
|
int retval = -1;
|
|
char *prefix = NULL;
|
|
char *feature = NULL;
|
|
yang_stmt *ymod; /* module yang node */
|
|
yang_stmt *yfeat; /* feature yang node */
|
|
cg_var *cv;
|
|
yang_stmt *ys;
|
|
|
|
if ((ys = ife->if_ys) == NULL)
|
|
return 0;
|
|
if (nodeid_split(str, &prefix, &feature) < 0)
|
|
goto done;
|
|
/* Specifically need to handle? strcmp(prefix, myprefix)) */
|
|
if (prefix == NULL)
|
|
ymod = ys_module(ys);
|
|
else
|
|
ymod = yang_find_module_by_prefix(ys, prefix);
|
|
if (ymod == NULL)
|
|
goto done;
|
|
/* Check if feature exists, and is set, otherwise remove */
|
|
if ((yfeat = yang_find(ymod, Y_FEATURE, feature)) == NULL){
|
|
clixon_err(OE_YANG, EINVAL, "Yang module %s has IF_FEATURE %s, but no such FEATURE statement exists",
|
|
ymod?yang_argument_get(ymod):"none",
|
|
feature);
|
|
goto done;
|
|
}
|
|
/* Check if this feature is enabled or not
|
|
* Continue loop to catch unbound features and make verdict at end
|
|
*/
|
|
cv = yang_cv_get(yfeat);
|
|
if (cv == NULL && ife->h) {
|
|
ys_populate_feature(ife->h, yfeat);
|
|
}
|
|
|
|
cv = yang_cv_get(yfeat);
|
|
if (cv == NULL || !cv_bool_get(cv)) /* disabled */
|
|
retval = 0;
|
|
else /* enabled */
|
|
retval = 1;
|
|
done:
|
|
if (prefix)
|
|
free(prefix);
|
|
if (feature)
|
|
free(feature);
|
|
return retval;
|
|
}
|
|
|
|
%}
|
|
|
|
%%
|
|
|
|
/* See RFC 7950 Sec 14 if-feature-expr-str */
|
|
top : if_feature_expr MY_EOF
|
|
{
|
|
_PARSE_DEBUG("top->if-feature-expr");
|
|
_IF->if_enabled = $1;
|
|
if (_IF->if_accept == YA_IF_FEATURE){
|
|
YYACCEPT;
|
|
}
|
|
else{
|
|
_YYERROR("Expected if-feature-expr");
|
|
}
|
|
}
|
|
;
|
|
|
|
if_feature_expr : if_feature_factor sep1 OR sep1 if_feature_expr
|
|
{
|
|
_PARSE_DEBUG("if-feature-expr->if-feature-factor sep OR sep expr");
|
|
$$ = $1 || $5;
|
|
}
|
|
| if_feature_factor sep1 AND sep1 if_feature_expr
|
|
{
|
|
_PARSE_DEBUG("if-feature-expr->if-feature-factor sep AND sep if-feature-expr");
|
|
$$ = $1 && $5;
|
|
}
|
|
| if_feature_factor
|
|
{
|
|
_PARSE_DEBUG("if-feature-expr->if-feature-factor");
|
|
$$ = $1;
|
|
}
|
|
;
|
|
|
|
if_feature_factor : NOT sep1 if_feature_factor
|
|
{ _PARSE_DEBUG("if-feature-factor-> NOT sep if-feature-factor");
|
|
$$ = !$3; }
|
|
| '(' optsep if_feature_expr optsep ')'
|
|
{ _PARSE_DEBUG("if-feature-factor-> ( optsep if-feature-expr optsep )");
|
|
$$ = $3; }
|
|
| identifier_ref {
|
|
_PARSE_DEBUG("if-feature-factor-> identifier-ref");
|
|
if (($$ = if_feature_check(_IF, $1)) < 0) {
|
|
free($1);
|
|
YYERROR;
|
|
}
|
|
free($1);
|
|
}
|
|
;
|
|
|
|
/* identifier-ref = [prefix ":"] identifier */
|
|
identifier_ref : identifier
|
|
{
|
|
// XXX memory leak?
|
|
_PARSE_DEBUG("identifier-ref -> identifier");
|
|
if (_IF->if_accept == YA_ID_REF){
|
|
YYACCEPT;
|
|
}
|
|
$$=$1;
|
|
}
|
|
| prefix ':' identifier
|
|
{
|
|
if (($$=clixon_string_del_join($1, ":", $3)) == NULL) _YYERROR("identifier_ref");
|
|
free($3);
|
|
if (_IF->if_accept == YA_ID_REF){
|
|
YYACCEPT;
|
|
}
|
|
_PARSE_DEBUG("identifier-ref -> prefix : identifier");
|
|
}
|
|
;
|
|
|
|
prefix : IDENTIFIER
|
|
{
|
|
_PARSE_DEBUG("prefix -> IDENTIFIER");
|
|
$$=$1;
|
|
|
|
}
|
|
;
|
|
|
|
identifier : IDENTIFIER
|
|
{
|
|
_PARSE_DEBUG("identifier -> IDENTIFIER");
|
|
$$=$1;
|
|
}
|
|
;
|
|
|
|
optsep : sep1 { _PARSE_DEBUG("optsep->sep"); }
|
|
| { _PARSE_DEBUG("optsep->"); }
|
|
;
|
|
|
|
sep1 : sep1 SEP { _PARSE_DEBUG("sep->sep SEP"); }
|
|
| SEP { _PARSE_DEBUG("sep->SEP"); }
|
|
;
|
|
|
|
%%
|
|
|