diff options
Diffstat (limited to 'moon-abe/cpabe-0.11/policy_lang.c')
-rw-r--r-- | moon-abe/cpabe-0.11/policy_lang.c | 2164 |
1 files changed, 0 insertions, 2164 deletions
diff --git a/moon-abe/cpabe-0.11/policy_lang.c b/moon-abe/cpabe-0.11/policy_lang.c deleted file mode 100644 index 9bc646d8..00000000 --- a/moon-abe/cpabe-0.11/policy_lang.c +++ /dev/null @@ -1,2164 +0,0 @@ -/* A Bison parser, made by GNU Bison 3.0.2. */ - -/* Bison implementation for Yacc-like parsers in C - - Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc. - - 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 3 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, see <http://www.gnu.org/licenses/>. */ - -/* As a special exception, you may create a larger work that contains - part or all of the Bison parser skeleton and distribute that work - under terms of your choice, so long as that work isn't itself a - parser generator using the skeleton or a modified version thereof - as a parser skeleton. Alternatively, if you modify or redistribute - the parser skeleton itself, you may (at your option) remove this - special exception, which will cause the skeleton and the resulting - Bison output files to be licensed under the GNU General Public - License without this special exception. - - This special exception was added by the Free Software Foundation in - version 2.2 of Bison. */ - -/* C LALR(1) parser skeleton written by Richard Stallman, by - simplifying the original so-called "semantic" parser. */ - -/* All symbols defined below should begin with yy or YY, to avoid - infringing on user name space. This should be done even for local - variables, as they might otherwise be expanded by user macros. - There are some unavoidable exceptions within include files to - define necessary library symbols; they are noted "INFRINGES ON - USER NAME SPACE" below. */ - -/* Identify Bison output. */ -#define YYBISON 1 - -/* Bison version. */ -#define YYBISON_VERSION "3.0.2" - -/* Skeleton name. */ -#define YYSKELETON_NAME "yacc.c" - -/* Pure parsers. */ -#define YYPURE 0 - -/* Push parsers. */ -#define YYPUSH 0 - -/* Pull parsers. */ -#define YYPULL 1 - - - - -/* Copy the first part of user declarations. */ -#line 1 "policy_lang.y" /* yacc.c:339 */ - -#include <stdio.h> -#include <ctype.h> -#include <string.h> -#include <stdlib.h> -#include <stdint.h> -#include <glib.h> -#include <pbc.h> - -#include "common.h" -#include "policy_lang.h" - -typedef struct -{ - uint64_t value; - int bits; /* zero if this is a flexint */ -} -sized_integer_t; - -typedef struct -{ - int k; /* one if leaf, otherwise threshold */ - char* attr; /* attribute string if leaf, otherwise null */ - GPtrArray* children; /* pointers to bswabe_policy_t's, len == 0 for leaves */ -} -cpabe_policy_t; - -cpabe_policy_t* final_policy = 0; - -int yylex(); -void yyerror( const char* s ); -sized_integer_t* expint( uint64_t value, uint64_t bits ); -sized_integer_t* flexint( uint64_t value ); -cpabe_policy_t* leaf_policy( char* attr ); -cpabe_policy_t* kof2_policy( int k, cpabe_policy_t* l, cpabe_policy_t* r ); -cpabe_policy_t* kof_policy( int k, GPtrArray* list ); -cpabe_policy_t* eq_policy( sized_integer_t* n, char* attr ); -cpabe_policy_t* lt_policy( sized_integer_t* n, char* attr ); -cpabe_policy_t* gt_policy( sized_integer_t* n, char* attr ); -cpabe_policy_t* le_policy( sized_integer_t* n, char* attr ); -cpabe_policy_t* ge_policy( sized_integer_t* n, char* attr ); - -#line 109 "policy_lang.c" /* yacc.c:339 */ - -# ifndef YY_NULLPTR -# if defined __cplusplus && 201103L <= __cplusplus -# define YY_NULLPTR nullptr -# else -# define YY_NULLPTR 0 -# endif -# endif - -/* Enabling verbose error messages. */ -#ifdef YYERROR_VERBOSE -# undef YYERROR_VERBOSE -# define YYERROR_VERBOSE 1 -#else -# define YYERROR_VERBOSE 0 -#endif - - -/* Debug traces. */ -#ifndef YYDEBUG -# define YYDEBUG 0 -#endif -#if YYDEBUG -extern int yydebug; -#endif - -/* Token type. */ -#ifndef YYTOKENTYPE -# define YYTOKENTYPE - enum yytokentype - { - TAG = 258, - INTLIT = 259, - OR = 260, - AND = 261, - OF = 262, - LEQ = 263, - GEQ = 264 - }; -#endif - -/* Value type. */ -#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED -typedef union YYSTYPE YYSTYPE; -union YYSTYPE -{ -#line 45 "policy_lang.y" /* yacc.c:355 */ - - char* str; - uint64_t nat; - sized_integer_t* sint; - cpabe_policy_t* tree; - GPtrArray* list; - -#line 164 "policy_lang.c" /* yacc.c:355 */ -}; -# define YYSTYPE_IS_TRIVIAL 1 -# define YYSTYPE_IS_DECLARED 1 -#endif - - -extern YYSTYPE yylval; - -int yyparse (void); - - - -/* Copy the second part of user declarations. */ - -#line 179 "policy_lang.c" /* yacc.c:358 */ - -#ifdef short -# undef short -#endif - -#ifdef YYTYPE_UINT8 -typedef YYTYPE_UINT8 yytype_uint8; -#else -typedef unsigned char yytype_uint8; -#endif - -#ifdef YYTYPE_INT8 -typedef YYTYPE_INT8 yytype_int8; -#else -typedef signed char yytype_int8; -#endif - -#ifdef YYTYPE_UINT16 -typedef YYTYPE_UINT16 yytype_uint16; -#else -typedef unsigned short int yytype_uint16; -#endif - -#ifdef YYTYPE_INT16 -typedef YYTYPE_INT16 yytype_int16; -#else -typedef short int yytype_int16; -#endif - -#ifndef YYSIZE_T -# ifdef __SIZE_TYPE__ -# define YYSIZE_T __SIZE_TYPE__ -# elif defined size_t -# define YYSIZE_T size_t -# elif ! defined YYSIZE_T -# include <stddef.h> /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t -# else -# define YYSIZE_T unsigned int -# endif -#endif - -#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) - -#ifndef YY_ -# if defined YYENABLE_NLS && YYENABLE_NLS -# if ENABLE_NLS -# include <libintl.h> /* INFRINGES ON USER NAME SPACE */ -# define YY_(Msgid) dgettext ("bison-runtime", Msgid) -# endif -# endif -# ifndef YY_ -# define YY_(Msgid) Msgid -# endif -#endif - -#ifndef YY_ATTRIBUTE -# if (defined __GNUC__ \ - && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ - || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C -# define YY_ATTRIBUTE(Spec) __attribute__(Spec) -# else -# define YY_ATTRIBUTE(Spec) /* empty */ -# endif -#endif - -#ifndef YY_ATTRIBUTE_PURE -# define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) -#endif - -#ifndef YY_ATTRIBUTE_UNUSED -# define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) -#endif - -#if !defined _Noreturn \ - && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) -# if defined _MSC_VER && 1200 <= _MSC_VER -# define _Noreturn __declspec (noreturn) -# else -# define _Noreturn YY_ATTRIBUTE ((__noreturn__)) -# endif -#endif - -/* Suppress unused-variable warnings by "using" E. */ -#if ! defined lint || defined __GNUC__ -# define YYUSE(E) ((void) (E)) -#else -# define YYUSE(E) /* empty */ -#endif - -#if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ -/* Suppress an incorrect diagnostic about yylval being uninitialized. */ -# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ - _Pragma ("GCC diagnostic push") \ - _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ - _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") -# define YY_IGNORE_MAYBE_UNINITIALIZED_END \ - _Pragma ("GCC diagnostic pop") -#else -# define YY_INITIAL_VALUE(Value) Value -#endif -#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN -# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN -# define YY_IGNORE_MAYBE_UNINITIALIZED_END -#endif -#ifndef YY_INITIAL_VALUE -# define YY_INITIAL_VALUE(Value) /* Nothing. */ -#endif - - -#if ! defined yyoverflow || YYERROR_VERBOSE - -/* The parser invokes alloca or malloc; define the necessary symbols. */ - -# ifdef YYSTACK_USE_ALLOCA -# if YYSTACK_USE_ALLOCA -# ifdef __GNUC__ -# define YYSTACK_ALLOC __builtin_alloca -# elif defined __BUILTIN_VA_ARG_INCR -# include <alloca.h> /* INFRINGES ON USER NAME SPACE */ -# elif defined _AIX -# define YYSTACK_ALLOC __alloca -# elif defined _MSC_VER -# include <malloc.h> /* INFRINGES ON USER NAME SPACE */ -# define alloca _alloca -# else -# define YYSTACK_ALLOC alloca -# if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS -# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ - /* Use EXIT_SUCCESS as a witness for stdlib.h. */ -# ifndef EXIT_SUCCESS -# define EXIT_SUCCESS 0 -# endif -# endif -# endif -# endif -# endif - -# ifdef YYSTACK_ALLOC - /* Pacify GCC's 'empty if-body' warning. */ -# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) -# ifndef YYSTACK_ALLOC_MAXIMUM - /* The OS might guarantee only one guard page at the bottom of the stack, - and a page size can be as small as 4096 bytes. So we cannot safely - invoke alloca (N) if N exceeds 4096. Use a slightly smaller number - to allow for a few compiler-allocated temporary stack slots. */ -# define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */ -# endif -# else -# define YYSTACK_ALLOC YYMALLOC -# define YYSTACK_FREE YYFREE -# ifndef YYSTACK_ALLOC_MAXIMUM -# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM -# endif -# if (defined __cplusplus && ! defined EXIT_SUCCESS \ - && ! ((defined YYMALLOC || defined malloc) \ - && (defined YYFREE || defined free))) -# include <stdlib.h> /* INFRINGES ON USER NAME SPACE */ -# ifndef EXIT_SUCCESS -# define EXIT_SUCCESS 0 -# endif -# endif -# ifndef YYMALLOC -# define YYMALLOC malloc -# if ! defined malloc && ! defined EXIT_SUCCESS -void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ -# endif -# endif -# ifndef YYFREE -# define YYFREE free -# if ! defined free && ! defined EXIT_SUCCESS -void free (void *); /* INFRINGES ON USER NAME SPACE */ -# endif -# endif -# endif -#endif /* ! defined yyoverflow || YYERROR_VERBOSE */ - - -#if (! defined yyoverflow \ - && (! defined __cplusplus \ - || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) - -/* A type that is properly aligned for any stack member. */ -union yyalloc -{ - yytype_int16 yyss_alloc; - YYSTYPE yyvs_alloc; -}; - -/* The size of the maximum gap between one aligned stack and the next. */ -# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) - -/* The size of an array large to enough to hold all stacks, each with - N elements. */ -# define YYSTACK_BYTES(N) \ - ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \ - + YYSTACK_GAP_MAXIMUM) - -# define YYCOPY_NEEDED 1 - -/* Relocate STACK from its old location to the new one. The - local variables YYSIZE and YYSTACKSIZE give the old and new number of - elements in the stack, and YYPTR gives the new location of the - stack. Advance YYPTR to a properly aligned location for the next - stack. */ -# define YYSTACK_RELOCATE(Stack_alloc, Stack) \ - do \ - { \ - YYSIZE_T yynewbytes; \ - YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ - Stack = &yyptr->Stack_alloc; \ - yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ - yyptr += yynewbytes / sizeof (*yyptr); \ - } \ - while (0) - -#endif - -#if defined YYCOPY_NEEDED && YYCOPY_NEEDED -/* Copy COUNT objects from SRC to DST. The source and destination do - not overlap. */ -# ifndef YYCOPY -# if defined __GNUC__ && 1 < __GNUC__ -# define YYCOPY(Dst, Src, Count) \ - __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src))) -# else -# define YYCOPY(Dst, Src, Count) \ - do \ - { \ - YYSIZE_T yyi; \ - for (yyi = 0; yyi < (Count); yyi++) \ - (Dst)[yyi] = (Src)[yyi]; \ - } \ - while (0) -# endif -# endif -#endif /* !YYCOPY_NEEDED */ - -/* YYFINAL -- State number of the termination state. */ -#define YYFINAL 15 -/* YYLAST -- Last index in YYTABLE. */ -#define YYLAST 45 - -/* YYNTOKENS -- Number of terminals. */ -#define YYNTOKENS 17 -/* YYNNTS -- Number of nonterminals. */ -#define YYNNTS 5 -/* YYNRULES -- Number of rules. */ -#define YYNRULES 21 -/* YYNSTATES -- Number of states. */ -#define YYNSTATES 44 - -/* YYTRANSLATE[YYX] -- Symbol number corresponding to YYX as returned - by yylex, with out-of-bounds checking. */ -#define YYUNDEFTOK 2 -#define YYMAXUTOK 264 - -#define YYTRANSLATE(YYX) \ - ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) - -/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM - as returned by yylex, without out-of-bounds checking. */ -static const yytype_uint8 yytranslate[] = -{ - 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 10, 2, 2, 2, 2, - 11, 12, 2, 2, 16, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 14, 13, 15, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 1, 2, 3, 4, - 5, 6, 7, 8, 9 -}; - -#if YYDEBUG - /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */ -static const yytype_uint8 yyrline[] = -{ - 0, 67, 67, 69, 70, 72, 73, 74, 75, 76, - 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, - 88, 90 -}; -#endif - -#if YYDEBUG || YYERROR_VERBOSE || 0 -/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. - First, the terminals, then, starting at YYNTOKENS, nonterminals. */ -static const char *const yytname[] = -{ - "$end", "error", "$undefined", "TAG", "INTLIT", "OR", "AND", "OF", - "LEQ", "GEQ", "'#'", "'('", "')'", "'='", "'<'", "'>'", "','", "$accept", - "result", "number", "policy", "arg_list", YY_NULLPTR -}; -#endif - -# ifdef YYPRINT -/* YYTOKNUM[NUM] -- (External) token number corresponding to the - (internal) symbol number NUM (which must be that of a token). */ -static const yytype_uint16 yytoknum[] = -{ - 0, 256, 257, 258, 259, 260, 261, 262, 263, 264, - 35, 40, 41, 61, 60, 62, 44 -}; -# endif - -#define YYPACT_NINF -5 - -#define yypact_value_is_default(Yystate) \ - (!!((Yystate) == (-5))) - -#define YYTABLE_NINF -1 - -#define yytable_value_is_error(Yytable_value) \ - 0 - - /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing - STATE-NUM. */ -static const yytype_int8 yypact[] = -{ - -2, -1, -4, -2, 4, 2, 17, 1, 1, 1, - 1, 1, 13, 29, 15, -5, 32, 33, 34, 37, - 38, -2, -2, 35, -5, -5, -5, -5, -5, -2, - -5, -5, -5, -5, -5, -5, -5, 19, -5, 17, - 22, -5, -2, 17 -}; - - /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. - Performed when YYTABLE does not specify something else to do. Zero - means the default is an error. */ -static const yytype_uint8 yydefact[] = -{ - 0, 5, 4, 0, 0, 0, 2, 0, 0, 0, - 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, - 0, 0, 0, 4, 12, 13, 9, 10, 11, 0, - 3, 19, 17, 18, 14, 15, 16, 6, 7, 20, - 0, 8, 0, 21 -}; - - /* YYPGOTO[NTERM-NUM]. */ -static const yytype_int8 yypgoto[] = -{ - -5, -5, 21, -3, -5 -}; - - /* YYDEFGOTO[NTERM-NUM]. */ -static const yytype_int8 yydefgoto[] = -{ - -1, 4, 5, 6, 40 -}; - - /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If - positive, shift that token. If negative, reduce the rule whose - number is the opposite. If YYTABLE_NINF, syntax error. */ -static const yytype_uint8 yytable[] = -{ - 14, 1, 2, 12, 15, 23, 13, 7, 8, 3, - 16, 17, 9, 10, 11, 18, 19, 20, 37, 38, - 21, 22, 21, 22, 29, 22, 39, 31, 24, 25, - 26, 27, 28, 30, 41, 32, 33, 34, 42, 43, - 35, 36, 0, 0, 0, 13 -}; - -static const yytype_int8 yycheck[] = -{ - 3, 3, 4, 7, 0, 4, 10, 8, 9, 11, - 8, 9, 13, 14, 15, 13, 14, 15, 21, 22, - 5, 6, 5, 6, 11, 6, 29, 12, 7, 8, - 9, 10, 11, 4, 12, 3, 3, 3, 16, 42, - 3, 3, -1, -1, -1, 10 -}; - - /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing - symbol of state STATE-NUM. */ -static const yytype_uint8 yystos[] = -{ - 0, 3, 4, 11, 18, 19, 20, 8, 9, 13, - 14, 15, 7, 10, 20, 0, 8, 9, 13, 14, - 15, 5, 6, 4, 19, 19, 19, 19, 19, 11, - 4, 12, 3, 3, 3, 3, 3, 20, 20, 20, - 21, 12, 16, 20 -}; - - /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ -static const yytype_uint8 yyr1[] = -{ - 0, 17, 18, 19, 19, 20, 20, 20, 20, 20, - 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, - 21, 21 -}; - - /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */ -static const yytype_uint8 yyr2[] = -{ - 0, 2, 1, 3, 1, 1, 3, 3, 5, 3, - 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, - 1, 3 -}; - - -#define yyerrok (yyerrstatus = 0) -#define yyclearin (yychar = YYEMPTY) -#define YYEMPTY (-2) -#define YYEOF 0 - -#define YYACCEPT goto yyacceptlab -#define YYABORT goto yyabortlab -#define YYERROR goto yyerrorlab - - -#define YYRECOVERING() (!!yyerrstatus) - -#define YYBACKUP(Token, Value) \ -do \ - if (yychar == YYEMPTY) \ - { \ - yychar = (Token); \ - yylval = (Value); \ - YYPOPSTACK (yylen); \ - yystate = *yyssp; \ - goto yybackup; \ - } \ - else \ - { \ - yyerror (YY_("syntax error: cannot back up")); \ - YYERROR; \ - } \ -while (0) - -/* Error token number */ -#define YYTERROR 1 -#define YYERRCODE 256 - - - -/* Enable debugging if requested. */ -#if YYDEBUG - -# ifndef YYFPRINTF -# include <stdio.h> /* INFRINGES ON USER NAME SPACE */ -# define YYFPRINTF fprintf -# endif - -# define YYDPRINTF(Args) \ -do { \ - if (yydebug) \ - YYFPRINTF Args; \ -} while (0) - -/* This macro is provided for backward compatibility. */ -#ifndef YY_LOCATION_PRINT -# define YY_LOCATION_PRINT(File, Loc) ((void) 0) -#endif - - -# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ -do { \ - if (yydebug) \ - { \ - YYFPRINTF (stderr, "%s ", Title); \ - yy_symbol_print (stderr, \ - Type, Value); \ - YYFPRINTF (stderr, "\n"); \ - } \ -} while (0) - - -/*----------------------------------------. -| Print this symbol's value on YYOUTPUT. | -`----------------------------------------*/ - -static void -yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) -{ - FILE *yyo = yyoutput; - YYUSE (yyo); - if (!yyvaluep) - return; -# ifdef YYPRINT - if (yytype < YYNTOKENS) - YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); -# endif - YYUSE (yytype); -} - - -/*--------------------------------. -| Print this symbol on YYOUTPUT. | -`--------------------------------*/ - -static void -yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep) -{ - YYFPRINTF (yyoutput, "%s %s (", - yytype < YYNTOKENS ? "token" : "nterm", yytname[yytype]); - - yy_symbol_value_print (yyoutput, yytype, yyvaluep); - YYFPRINTF (yyoutput, ")"); -} - -/*------------------------------------------------------------------. -| yy_stack_print -- Print the state stack from its BOTTOM up to its | -| TOP (included). | -`------------------------------------------------------------------*/ - -static void -yy_stack_print (yytype_int16 *yybottom, yytype_int16 *yytop) -{ - YYFPRINTF (stderr, "Stack now"); - for (; yybottom <= yytop; yybottom++) - { - int yybot = *yybottom; - YYFPRINTF (stderr, " %d", yybot); - } - YYFPRINTF (stderr, "\n"); -} - -# define YY_STACK_PRINT(Bottom, Top) \ -do { \ - if (yydebug) \ - yy_stack_print ((Bottom), (Top)); \ -} while (0) - - -/*------------------------------------------------. -| Report that the YYRULE is going to be reduced. | -`------------------------------------------------*/ - -static void -yy_reduce_print (yytype_int16 *yyssp, YYSTYPE *yyvsp, int yyrule) -{ - unsigned long int yylno = yyrline[yyrule]; - int yynrhs = yyr2[yyrule]; - int yyi; - YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", - yyrule - 1, yylno); - /* The symbols being reduced. */ - for (yyi = 0; yyi < yynrhs; yyi++) - { - YYFPRINTF (stderr, " $%d = ", yyi + 1); - yy_symbol_print (stderr, - yystos[yyssp[yyi + 1 - yynrhs]], - &(yyvsp[(yyi + 1) - (yynrhs)]) - ); - YYFPRINTF (stderr, "\n"); - } -} - -# define YY_REDUCE_PRINT(Rule) \ -do { \ - if (yydebug) \ - yy_reduce_print (yyssp, yyvsp, Rule); \ -} while (0) - -/* Nonzero means print parse trace. It is left uninitialized so that - multiple parsers can coexist. */ -int yydebug; -#else /* !YYDEBUG */ -# define YYDPRINTF(Args) -# define YY_SYMBOL_PRINT(Title, Type, Value, Location) -# define YY_STACK_PRINT(Bottom, Top) -# define YY_REDUCE_PRINT(Rule) -#endif /* !YYDEBUG */ - - -/* YYINITDEPTH -- initial size of the parser's stacks. */ -#ifndef YYINITDEPTH -# define YYINITDEPTH 200 -#endif - -/* YYMAXDEPTH -- maximum size the stacks can grow to (effective only - if the built-in stack extension method is used). - - Do not make this value too large; the results are undefined if - YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH) - evaluated with infinite-precision integer arithmetic. */ - -#ifndef YYMAXDEPTH -# define YYMAXDEPTH 10000 -#endif - - -#if YYERROR_VERBOSE - -# ifndef yystrlen -# if defined __GLIBC__ && defined _STRING_H -# define yystrlen strlen -# else -/* Return the length of YYSTR. */ -static YYSIZE_T -yystrlen (const char *yystr) -{ - YYSIZE_T yylen; - for (yylen = 0; yystr[yylen]; yylen++) - continue; - return yylen; -} -# endif -# endif - -# ifndef yystpcpy -# if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE -# define yystpcpy stpcpy -# else -/* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in - YYDEST. */ -static char * -yystpcpy (char *yydest, const char *yysrc) -{ - char *yyd = yydest; - const char *yys = yysrc; - - while ((*yyd++ = *yys++) != '\0') - continue; - - return yyd - 1; -} -# endif -# endif - -# ifndef yytnamerr -/* Copy to YYRES the contents of YYSTR after stripping away unnecessary - quotes and backslashes, so that it's suitable for yyerror. The - heuristic is that double-quoting is unnecessary unless the string - contains an apostrophe, a comma, or backslash (other than - backslash-backslash). YYSTR is taken from yytname. If YYRES is - null, do not copy; instead, return the length of what the result - would have been. */ -static YYSIZE_T -yytnamerr (char *yyres, const char *yystr) -{ - if (*yystr == '"') - { - YYSIZE_T yyn = 0; - char const *yyp = yystr; - - for (;;) - switch (*++yyp) - { - case '\'': - case ',': - goto do_not_strip_quotes; - - case '\\': - if (*++yyp != '\\') - goto do_not_strip_quotes; - /* Fall through. */ - default: - if (yyres) - yyres[yyn] = *yyp; - yyn++; - break; - - case '"': - if (yyres) - yyres[yyn] = '\0'; - return yyn; - } - do_not_strip_quotes: ; - } - - if (! yyres) - return yystrlen (yystr); - - return yystpcpy (yyres, yystr) - yyres; -} -# endif - -/* Copy into *YYMSG, which is of size *YYMSG_ALLOC, an error message - about the unexpected token YYTOKEN for the state stack whose top is - YYSSP. - - Return 0 if *YYMSG was successfully written. Return 1 if *YYMSG is - not large enough to hold the message. In that case, also set - *YYMSG_ALLOC to the required number of bytes. Return 2 if the - required number of bytes is too large to store. */ -static int -yysyntax_error (YYSIZE_T *yymsg_alloc, char **yymsg, - yytype_int16 *yyssp, int yytoken) -{ - YYSIZE_T yysize0 = yytnamerr (YY_NULLPTR, yytname[yytoken]); - YYSIZE_T yysize = yysize0; - enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; - /* Internationalized format string. */ - const char *yyformat = YY_NULLPTR; - /* Arguments of yyformat. */ - char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; - /* Number of reported tokens (one for the "unexpected", one per - "expected"). */ - int yycount = 0; - - /* There are many possibilities here to consider: - - If this state is a consistent state with a default action, then - the only way this function was invoked is if the default action - is an error action. In that case, don't check for expected - tokens because there are none. - - The only way there can be no lookahead present (in yychar) is if - this state is a consistent state with a default action. Thus, - detecting the absence of a lookahead is sufficient to determine - that there is no unexpected or expected token to report. In that - case, just report a simple "syntax error". - - Don't assume there isn't a lookahead just because this state is a - consistent state with a default action. There might have been a - previous inconsistent state, consistent state with a non-default - action, or user semantic action that manipulated yychar. - - Of course, the expected token list depends on states to have - correct lookahead information, and it depends on the parser not - to perform extra reductions after fetching a lookahead from the - scanner and before detecting a syntax error. Thus, state merging - (from LALR or IELR) and default reductions corrupt the expected - token list. However, the list is correct for canonical LR with - one exception: it will still contain any token that will not be - accepted due to an error action in a later state. - */ - if (yytoken != YYEMPTY) - { - int yyn = yypact[*yyssp]; - yyarg[yycount++] = yytname[yytoken]; - if (!yypact_value_is_default (yyn)) - { - /* Start YYX at -YYN if negative to avoid negative indexes in - YYCHECK. In other words, skip the first -YYN actions for - this state because they are default actions. */ - int yyxbegin = yyn < 0 ? -yyn : 0; - /* Stay within bounds of both yycheck and yytname. */ - int yychecklim = YYLAST - yyn + 1; - int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; - int yyx; - - for (yyx = yyxbegin; yyx < yyxend; ++yyx) - if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR - && !yytable_value_is_error (yytable[yyx + yyn])) - { - if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) - { - yycount = 1; - yysize = yysize0; - break; - } - yyarg[yycount++] = yytname[yyx]; - { - YYSIZE_T yysize1 = yysize + yytnamerr (YY_NULLPTR, yytname[yyx]); - if (! (yysize <= yysize1 - && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) - return 2; - yysize = yysize1; - } - } - } - } - - switch (yycount) - { -# define YYCASE_(N, S) \ - case N: \ - yyformat = S; \ - break - YYCASE_(0, YY_("syntax error")); - YYCASE_(1, YY_("syntax error, unexpected %s")); - YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s")); - YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s")); - YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s")); - YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s")); -# undef YYCASE_ - } - - { - YYSIZE_T yysize1 = yysize + yystrlen (yyformat); - if (! (yysize <= yysize1 && yysize1 <= YYSTACK_ALLOC_MAXIMUM)) - return 2; - yysize = yysize1; - } - - if (*yymsg_alloc < yysize) - { - *yymsg_alloc = 2 * yysize; - if (! (yysize <= *yymsg_alloc - && *yymsg_alloc <= YYSTACK_ALLOC_MAXIMUM)) - *yymsg_alloc = YYSTACK_ALLOC_MAXIMUM; - return 1; - } - - /* Avoid sprintf, as that infringes on the user's name space. - Don't have undefined behavior even if the translation - produced a string with the wrong number of "%s"s. */ - { - char *yyp = *yymsg; - int yyi = 0; - while ((*yyp = *yyformat) != '\0') - if (*yyp == '%' && yyformat[1] == 's' && yyi < yycount) - { - yyp += yytnamerr (yyp, yyarg[yyi++]); - yyformat += 2; - } - else - { - yyp++; - yyformat++; - } - } - return 0; -} -#endif /* YYERROR_VERBOSE */ - -/*-----------------------------------------------. -| Release the memory associated to this symbol. | -`-----------------------------------------------*/ - -static void -yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) -{ - YYUSE (yyvaluep); - if (!yymsg) - yymsg = "Deleting"; - YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); - - YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN - YYUSE (yytype); - YY_IGNORE_MAYBE_UNINITIALIZED_END -} - - - - -/* The lookahead symbol. */ -int yychar; - -/* The semantic value of the lookahead symbol. */ -YYSTYPE yylval; -/* Number of syntax errors so far. */ -int yynerrs; - - -/*----------. -| yyparse. | -`----------*/ - -int -yyparse (void) -{ - int yystate; - /* Number of tokens to shift before error messages enabled. */ - int yyerrstatus; - - /* The stacks and their tools: - 'yyss': related to states. - 'yyvs': related to semantic values. - - Refer to the stacks through separate pointers, to allow yyoverflow - to reallocate them elsewhere. */ - - /* The state stack. */ - yytype_int16 yyssa[YYINITDEPTH]; - yytype_int16 *yyss; - yytype_int16 *yyssp; - - /* The semantic value stack. */ - YYSTYPE yyvsa[YYINITDEPTH]; - YYSTYPE *yyvs; - YYSTYPE *yyvsp; - - YYSIZE_T yystacksize; - - int yyn; - int yyresult; - /* Lookahead token as an internal (translated) token number. */ - int yytoken = 0; - /* The variables used to return semantic value and location from the - action routines. */ - YYSTYPE yyval; - -#if YYERROR_VERBOSE - /* Buffer for error messages, and its allocated size. */ - char yymsgbuf[128]; - char *yymsg = yymsgbuf; - YYSIZE_T yymsg_alloc = sizeof yymsgbuf; -#endif - -#define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) - - /* The number of symbols on the RHS of the reduced rule. - Keep to zero when no symbol should be popped. */ - int yylen = 0; - - yyssp = yyss = yyssa; - yyvsp = yyvs = yyvsa; - yystacksize = YYINITDEPTH; - - YYDPRINTF ((stderr, "Starting parse\n")); - - yystate = 0; - yyerrstatus = 0; - yynerrs = 0; - yychar = YYEMPTY; /* Cause a token to be read. */ - goto yysetstate; - -/*------------------------------------------------------------. -| yynewstate -- Push a new state, which is found in yystate. | -`------------------------------------------------------------*/ - yynewstate: - /* In all cases, when you get here, the value and location stacks - have just been pushed. So pushing a state here evens the stacks. */ - yyssp++; - - yysetstate: - *yyssp = yystate; - - if (yyss + yystacksize - 1 <= yyssp) - { - /* Get the current used size of the three stacks, in elements. */ - YYSIZE_T yysize = yyssp - yyss + 1; - -#ifdef yyoverflow - { - /* Give user a chance to reallocate the stack. Use copies of - these so that the &'s don't force the real ones into - memory. */ - YYSTYPE *yyvs1 = yyvs; - yytype_int16 *yyss1 = yyss; - - /* Each stack pointer address is followed by the size of the - data in use in that stack, in bytes. This used to be a - conditional around just the two extra args, but that might - be undefined if yyoverflow is a macro. */ - yyoverflow (YY_("memory exhausted"), - &yyss1, yysize * sizeof (*yyssp), - &yyvs1, yysize * sizeof (*yyvsp), - &yystacksize); - - yyss = yyss1; - yyvs = yyvs1; - } -#else /* no yyoverflow */ -# ifndef YYSTACK_RELOCATE - goto yyexhaustedlab; -# else - /* Extend the stack our own way. */ - if (YYMAXDEPTH <= yystacksize) - goto yyexhaustedlab; - yystacksize *= 2; - if (YYMAXDEPTH < yystacksize) - yystacksize = YYMAXDEPTH; - - { - yytype_int16 *yyss1 = yyss; - union yyalloc *yyptr = - (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); - if (! yyptr) - goto yyexhaustedlab; - YYSTACK_RELOCATE (yyss_alloc, yyss); - YYSTACK_RELOCATE (yyvs_alloc, yyvs); -# undef YYSTACK_RELOCATE - if (yyss1 != yyssa) - YYSTACK_FREE (yyss1); - } -# endif -#endif /* no yyoverflow */ - - yyssp = yyss + yysize - 1; - yyvsp = yyvs + yysize - 1; - - YYDPRINTF ((stderr, "Stack size increased to %lu\n", - (unsigned long int) yystacksize)); - - if (yyss + yystacksize - 1 <= yyssp) - YYABORT; - } - - YYDPRINTF ((stderr, "Entering state %d\n", yystate)); - - if (yystate == YYFINAL) - YYACCEPT; - - goto yybackup; - -/*-----------. -| yybackup. | -`-----------*/ -yybackup: - - /* Do appropriate processing given the current state. Read a - lookahead token if we need one and don't already have one. */ - - /* First try to decide what to do without reference to lookahead token. */ - yyn = yypact[yystate]; - if (yypact_value_is_default (yyn)) - goto yydefault; - - /* Not known => get a lookahead token if don't already have one. */ - - /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol. */ - if (yychar == YYEMPTY) - { - YYDPRINTF ((stderr, "Reading a token: ")); - yychar = yylex (); - } - - if (yychar <= YYEOF) - { - yychar = yytoken = YYEOF; - YYDPRINTF ((stderr, "Now at end of input.\n")); - } - else - { - yytoken = YYTRANSLATE (yychar); - YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); - } - - /* If the proper action on seeing token YYTOKEN is to reduce or to - detect an error, take that action. */ - yyn += yytoken; - if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) - goto yydefault; - yyn = yytable[yyn]; - if (yyn <= 0) - { - if (yytable_value_is_error (yyn)) - goto yyerrlab; - yyn = -yyn; - goto yyreduce; - } - - /* Count tokens shifted since error; after three, turn off error - status. */ - if (yyerrstatus) - yyerrstatus--; - - /* Shift the lookahead token. */ - YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); - - /* Discard the shifted token. */ - yychar = YYEMPTY; - - yystate = yyn; - YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN - *++yyvsp = yylval; - YY_IGNORE_MAYBE_UNINITIALIZED_END - - goto yynewstate; - - -/*-----------------------------------------------------------. -| yydefault -- do the default action for the current state. | -`-----------------------------------------------------------*/ -yydefault: - yyn = yydefact[yystate]; - if (yyn == 0) - goto yyerrlab; - goto yyreduce; - - -/*-----------------------------. -| yyreduce -- Do a reduction. | -`-----------------------------*/ -yyreduce: - /* yyn is the number of a rule to reduce with. */ - yylen = yyr2[yyn]; - - /* If YYLEN is nonzero, implement the default value of the action: - '$$ = $1'. - - Otherwise, the following line sets YYVAL to garbage. - This behavior is undocumented and Bison - users should not rely upon it. Assigning to YYVAL - unconditionally makes the parser a bit smaller, and it avoids a - GCC warning that YYVAL may be used uninitialized. */ - yyval = yyvsp[1-yylen]; - - - YY_REDUCE_PRINT (yyn); - switch (yyn) - { - case 2: -#line 67 "policy_lang.y" /* yacc.c:1646 */ - { final_policy = (yyvsp[0].tree); } -#line 1273 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 3: -#line 69 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.sint) = expint((yyvsp[-2].nat), (yyvsp[0].nat)); } -#line 1279 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 4: -#line 70 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.sint) = flexint((yyvsp[0].nat)); } -#line 1285 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 5: -#line 72 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = leaf_policy((yyvsp[0].str)); } -#line 1291 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 6: -#line 73 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = kof2_policy(1, (yyvsp[-2].tree), (yyvsp[0].tree)); } -#line 1297 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 7: -#line 74 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = kof2_policy(2, (yyvsp[-2].tree), (yyvsp[0].tree)); } -#line 1303 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 8: -#line 75 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = kof_policy((yyvsp[-4].nat), (yyvsp[-1].list)); } -#line 1309 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 9: -#line 76 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = eq_policy((yyvsp[0].sint), (yyvsp[-2].str)); } -#line 1315 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 10: -#line 77 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = lt_policy((yyvsp[0].sint), (yyvsp[-2].str)); } -#line 1321 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 11: -#line 78 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = gt_policy((yyvsp[0].sint), (yyvsp[-2].str)); } -#line 1327 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 12: -#line 79 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = le_policy((yyvsp[0].sint), (yyvsp[-2].str)); } -#line 1333 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 13: -#line 80 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = ge_policy((yyvsp[0].sint), (yyvsp[-2].str)); } -#line 1339 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 14: -#line 81 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = eq_policy((yyvsp[-2].sint), (yyvsp[0].str)); } -#line 1345 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 15: -#line 82 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = gt_policy((yyvsp[-2].sint), (yyvsp[0].str)); } -#line 1351 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 16: -#line 83 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = lt_policy((yyvsp[-2].sint), (yyvsp[0].str)); } -#line 1357 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 17: -#line 84 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = ge_policy((yyvsp[-2].sint), (yyvsp[0].str)); } -#line 1363 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 18: -#line 85 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = le_policy((yyvsp[-2].sint), (yyvsp[0].str)); } -#line 1369 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 19: -#line 86 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.tree) = (yyvsp[-1].tree); } -#line 1375 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 20: -#line 88 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.list) = g_ptr_array_new(); - g_ptr_array_add((yyval.list), (yyvsp[0].tree)); } -#line 1382 "policy_lang.c" /* yacc.c:1646 */ - break; - - case 21: -#line 90 "policy_lang.y" /* yacc.c:1646 */ - { (yyval.list) = (yyvsp[-2].list); - g_ptr_array_add((yyval.list), (yyvsp[0].tree)); } -#line 1389 "policy_lang.c" /* yacc.c:1646 */ - break; - - -#line 1393 "policy_lang.c" /* yacc.c:1646 */ - default: break; - } - /* User semantic actions sometimes alter yychar, and that requires - that yytoken be updated with the new translation. We take the - approach of translating immediately before every use of yytoken. - One alternative is translating here after every semantic action, - but that translation would be missed if the semantic action invokes - YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or - if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an - incorrect destructor might then be invoked immediately. In the - case of YYERROR or YYBACKUP, subsequent parser actions might lead - to an incorrect destructor call or verbose syntax error message - before the lookahead is translated. */ - YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc); - - YYPOPSTACK (yylen); - yylen = 0; - YY_STACK_PRINT (yyss, yyssp); - - *++yyvsp = yyval; - - /* Now 'shift' the result of the reduction. Determine what state - that goes to, based on the state we popped back to and the rule - number reduced by. */ - - yyn = yyr1[yyn]; - - yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; - if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) - yystate = yytable[yystate]; - else - yystate = yydefgoto[yyn - YYNTOKENS]; - - goto yynewstate; - - -/*--------------------------------------. -| yyerrlab -- here on detecting error. | -`--------------------------------------*/ -yyerrlab: - /* Make sure we have latest lookahead translation. See comments at - user semantic actions for why this is necessary. */ - yytoken = yychar == YYEMPTY ? YYEMPTY : YYTRANSLATE (yychar); - - /* If not already recovering from an error, report this error. */ - if (!yyerrstatus) - { - ++yynerrs; -#if ! YYERROR_VERBOSE - yyerror (YY_("syntax error")); -#else -# define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ - yyssp, yytoken) - { - char const *yymsgp = YY_("syntax error"); - int yysyntax_error_status; - yysyntax_error_status = YYSYNTAX_ERROR; - if (yysyntax_error_status == 0) - yymsgp = yymsg; - else if (yysyntax_error_status == 1) - { - if (yymsg != yymsgbuf) - YYSTACK_FREE (yymsg); - yymsg = (char *) YYSTACK_ALLOC (yymsg_alloc); - if (!yymsg) - { - yymsg = yymsgbuf; - yymsg_alloc = sizeof yymsgbuf; - yysyntax_error_status = 2; - } - else - { - yysyntax_error_status = YYSYNTAX_ERROR; - yymsgp = yymsg; - } - } - yyerror (yymsgp); - if (yysyntax_error_status == 2) - goto yyexhaustedlab; - } -# undef YYSYNTAX_ERROR -#endif - } - - - - if (yyerrstatus == 3) - { - /* If just tried and failed to reuse lookahead token after an - error, discard it. */ - - if (yychar <= YYEOF) - { - /* Return failure if at end of input. */ - if (yychar == YYEOF) - YYABORT; - } - else - { - yydestruct ("Error: discarding", - yytoken, &yylval); - yychar = YYEMPTY; - } - } - - /* Else will try to reuse lookahead token after shifting the error - token. */ - goto yyerrlab1; - - -/*---------------------------------------------------. -| yyerrorlab -- error raised explicitly by YYERROR. | -`---------------------------------------------------*/ -yyerrorlab: - - /* Pacify compilers like GCC when the user code never invokes - YYERROR and the label yyerrorlab therefore never appears in user - code. */ - if (/*CONSTCOND*/ 0) - goto yyerrorlab; - - /* Do not reclaim the symbols of the rule whose action triggered - this YYERROR. */ - YYPOPSTACK (yylen); - yylen = 0; - YY_STACK_PRINT (yyss, yyssp); - yystate = *yyssp; - goto yyerrlab1; - - -/*-------------------------------------------------------------. -| yyerrlab1 -- common code for both syntax error and YYERROR. | -`-------------------------------------------------------------*/ -yyerrlab1: - yyerrstatus = 3; /* Each real token shifted decrements this. */ - - for (;;) - { - yyn = yypact[yystate]; - if (!yypact_value_is_default (yyn)) - { - yyn += YYTERROR; - if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) - { - yyn = yytable[yyn]; - if (0 < yyn) - break; - } - } - - /* Pop the current state because it cannot handle the error token. */ - if (yyssp == yyss) - YYABORT; - - - yydestruct ("Error: popping", - yystos[yystate], yyvsp); - YYPOPSTACK (1); - yystate = *yyssp; - YY_STACK_PRINT (yyss, yyssp); - } - - YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN - *++yyvsp = yylval; - YY_IGNORE_MAYBE_UNINITIALIZED_END - - - /* Shift the error token. */ - YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); - - yystate = yyn; - goto yynewstate; - - -/*-------------------------------------. -| yyacceptlab -- YYACCEPT comes here. | -`-------------------------------------*/ -yyacceptlab: - yyresult = 0; - goto yyreturn; - -/*-----------------------------------. -| yyabortlab -- YYABORT comes here. | -`-----------------------------------*/ -yyabortlab: - yyresult = 1; - goto yyreturn; - -#if !defined yyoverflow || YYERROR_VERBOSE -/*-------------------------------------------------. -| yyexhaustedlab -- memory exhaustion comes here. | -`-------------------------------------------------*/ -yyexhaustedlab: - yyerror (YY_("memory exhausted")); - yyresult = 2; - /* Fall through. */ -#endif - -yyreturn: - if (yychar != YYEMPTY) - { - /* Make sure we have latest lookahead translation. See comments at - user semantic actions for why this is necessary. */ - yytoken = YYTRANSLATE (yychar); - yydestruct ("Cleanup: discarding lookahead", - yytoken, &yylval); - } - /* Do not reclaim the symbols of the rule whose action triggered - this YYABORT or YYACCEPT. */ - YYPOPSTACK (yylen); - YY_STACK_PRINT (yyss, yyssp); - while (yyssp != yyss) - { - yydestruct ("Cleanup: popping", - yystos[*yyssp], yyvsp); - YYPOPSTACK (1); - } -#ifndef yyoverflow - if (yyss != yyssa) - YYSTACK_FREE (yyss); -#endif -#if YYERROR_VERBOSE - if (yymsg != yymsgbuf) - YYSTACK_FREE (yymsg); -#endif - return yyresult; -} -#line 94 "policy_lang.y" /* yacc.c:1906 */ - - -sized_integer_t* -expint( uint64_t value, uint64_t bits ) -{ - sized_integer_t* s; - - if( bits == 0 ) - die("error parsing policy: zero-length integer \"%llub%llu\"\n", - value, bits); - else if( bits > 64 ) - die("error parsing policy: no more than 64 bits allowed \"%llub%llu\"\n", - value, bits); - - s = malloc(sizeof(sized_integer_t)); - s->value = value; - s->bits = bits; - - return s; -} - -sized_integer_t* -flexint( uint64_t value ) -{ - sized_integer_t* s; - - s = malloc(sizeof(sized_integer_t)); - s->value = value; - s->bits = 0; - - return s; -} - -void -policy_free( cpabe_policy_t* p ) -{ - int i; - - if( p->attr ) - free(p->attr); - - for( i = 0; i < p->children->len; i++ ) - policy_free(g_ptr_array_index(p->children, i)); - g_ptr_array_free(p->children, 1); - - free(p); -} - -cpabe_policy_t* -leaf_policy( char* attr ) -{ - cpabe_policy_t* p; - - p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); - p->k = 1; - p->attr = attr; - p->children = g_ptr_array_new(); - - return p; -} - -cpabe_policy_t* -kof2_policy( int k, cpabe_policy_t* l, cpabe_policy_t* r ) -{ - cpabe_policy_t* p; - - p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); - p->k = k; - p->attr = 0; - p->children = g_ptr_array_new(); - g_ptr_array_add(p->children, l); - g_ptr_array_add(p->children, r); - - return p; -} - -cpabe_policy_t* -kof_policy( int k, GPtrArray* list ) -{ - cpabe_policy_t* p; - - if( k < 1 ) - die("error parsing policy: trivially satisfied operator \"%dof\"\n", k); - else if( k > list->len ) - die("error parsing policy: unsatisfiable operator \"%dof\" (only %d operands)\n", - k, list->len); - else if( list->len == 1 ) - die("error parsing policy: identity operator \"%dof\" (only one operand)\n", k); - - p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); - p->k = k; - p->attr = 0; - p->children = list; - - return p; -} - -char* -bit_marker( char* base, char* tplate, int bit, char val ) -{ - char* lx; - char* rx; - char* s; - - lx = g_strnfill(64 - bit - 1, 'x'); - rx = g_strnfill(bit, 'x'); - s = g_strdup_printf(tplate, base, lx, !!val, rx); - free(lx); - free(rx); - - return s; -} - -cpabe_policy_t* -eq_policy( sized_integer_t* n, char* attr ) -{ - if( n->bits == 0 ) - return leaf_policy - (g_strdup_printf("%s_flexint_%llu", attr, n->value)); - else - return leaf_policy - (g_strdup_printf("%s_expint%02d_%llu", attr, n->bits, n->value)); - - return 0; -} - -cpabe_policy_t* -bit_marker_list( int gt, char* attr, char* tplate, int bits, uint64_t value ) -{ - cpabe_policy_t* p; - int i; - - i = 0; - while( gt ? (((uint64_t)1)<<i & value) : !(((uint64_t)1)<<i & value) ) - i++; - - p = leaf_policy(bit_marker(attr, tplate, i, gt)); - for( i = i + 1; i < bits; i++ ) - if( gt ) - p = kof2_policy(((uint64_t)1<<i & value) ? 2 : 1, p, - leaf_policy(bit_marker(attr, tplate, i, gt))); - else - p = kof2_policy(((uint64_t)1<<i & value) ? 1 : 2, p, - leaf_policy(bit_marker(attr, tplate, i, gt))); - - return p; -} - -cpabe_policy_t* -flexint_leader( int gt, char* attr, uint64_t value ) -{ - cpabe_policy_t* p; - int k; - - p = (cpabe_policy_t*) malloc(sizeof(cpabe_policy_t)); - p->attr = 0; - p->children = g_ptr_array_new(); - - for( k = 2; k <= 32; k *= 2 ) - if( ( gt && ((uint64_t)1<<k) > value) || - (!gt && ((uint64_t)1<<k) >= value) ) - g_ptr_array_add - (p->children, leaf_policy - (g_strdup_printf(gt ? "%s_ge_2^%02d" : "%s_lt_2^%02d", attr, k))); - - p->k = gt ? 1 : p->children->len; - - if( p->children->len == 0 ) - { - policy_free(p); - p = 0; - } - else if( p->children->len == 1 ) - { - cpabe_policy_t* t; - - t = g_ptr_array_remove_index(p->children, 0); - policy_free(p); - p = t; - } - - return p; -} - -cpabe_policy_t* -cmp_policy( sized_integer_t* n, int gt, char* attr ) -{ - cpabe_policy_t* p; - char* tplate; - - /* some error checking */ - - if( gt && n->value >= ((uint64_t)1<<(n->bits ? n->bits : 64)) - 1 ) - die("error parsing policy: unsatisfiable integer comparison %s > %llu\n" - "(%d-bits are insufficient to satisfy)\n", attr, n->value, - n->bits ? n->bits : 64); - else if( !gt && n->value == 0 ) - die("error parsing policy: unsatisfiable integer comparison %s < 0\n" - "(all numerical attributes are unsigned)\n", attr); - else if( !gt && n->value > ((uint64_t)1<<(n->bits ? n->bits : 64)) - 1 ) - die("error parsing policy: trivially satisfied integer comparison %s < %llu\n" - "(any %d-bit number will satisfy)\n", attr, n->value, - n->bits ? n->bits : 64); - - /* create it */ - - /* horrible */ - tplate = n->bits ? - g_strdup_printf("%%s_expint%02d_%%s%%d%%s", n->bits) : - strdup("%s_flexint_%s%d%s"); - p = bit_marker_list(gt, attr, tplate, n->bits ? n->bits : - (n->value >= ((uint64_t)1<<32) ? 64 : - n->value >= ((uint64_t)1<<16) ? 32 : - n->value >= ((uint64_t)1<< 8) ? 16 : - n->value >= ((uint64_t)1<< 4) ? 8 : - n->value >= ((uint64_t)1<< 2) ? 4 : 2), n->value); - free(tplate); - - if( !n->bits ) - { - cpabe_policy_t* l; - - l = flexint_leader(gt, attr, n->value); - if( l ) - p = kof2_policy(gt ? 1 : 2, l, p); - } - - return p; -} - -cpabe_policy_t* -lt_policy( sized_integer_t* n, char* attr ) -{ - return cmp_policy(n, 0, attr); -} - -cpabe_policy_t* -gt_policy( sized_integer_t* n, char* attr ) -{ - return cmp_policy(n, 1, attr); -} - -cpabe_policy_t* -le_policy( sized_integer_t* n, char* attr ) -{ - n->value++; - return cmp_policy(n, 0, attr); -} - -cpabe_policy_t* -ge_policy( sized_integer_t* n, char* attr ) -{ - n->value--; - return cmp_policy(n, 1, attr); -} - -char* cur_string = 0; - -#define PEEK_CHAR ( *cur_string ? *cur_string : EOF ) -#define NEXT_CHAR ( *cur_string ? *(cur_string++) : EOF ) - -int -yylex() -{ - int c; - int r; - - while( isspace(c = NEXT_CHAR) ); - - r = 0; - if( c == EOF ) - r = 0; - else if( c == '&' ) - r = AND; - else if( c == '|' ) - r = OR; - else if( strchr("(),=#", c) || (strchr("<>", c) && PEEK_CHAR != '=') ) - r = c; - else if( c == '<' && PEEK_CHAR == '=' ) - { - NEXT_CHAR; - r = LEQ; - } - else if( c == '>' && PEEK_CHAR == '=' ) - { - NEXT_CHAR; - r = GEQ; - } - else if( isdigit(c) ) - { - GString* s; - - s = g_string_new(""); - g_string_append_c(s, c); - while( isdigit(PEEK_CHAR) ) - g_string_append_c(s, NEXT_CHAR); - - sscanf(s->str, "%llu", &(yylval.nat)); - - g_string_free(s, 1); - r = INTLIT; - } - else if( isalpha(c) ) - { - GString* s; - - s = g_string_new(""); - g_string_append_c(s, c); - - while( isalnum(PEEK_CHAR) || PEEK_CHAR == '_' ) - g_string_append_c(s, NEXT_CHAR); - - if( !strcmp(s->str, "and") ) - { - g_string_free(s, 1); - r = AND; - } - else if( !strcmp(s->str, "or") ) - { - g_string_free(s, 1); - r = OR; - } - else if( !strcmp(s->str, "of") ) - { - g_string_free(s, 1); - r = OF; - } - else - { - yylval.str = s->str; - g_string_free(s, 0); - r = TAG; - } - } - else - die("syntax error at \"%c%s\"\n", c, cur_string); - - return r; -} - -void -yyerror( const char* s ) -{ - die("error parsing policy: %s\n", s); -} - -#define POLICY_IS_OR(p) (((cpabe_policy_t*)(p))->k == 1 && ((cpabe_policy_t*)(p))->children->len) -#define POLICY_IS_AND(p) (((cpabe_policy_t*)(p))->k == ((cpabe_policy_t*)(p))->children->len) - -void -merge_child( cpabe_policy_t* p, int i ) -{ - int j; - cpabe_policy_t* c; - - c = g_ptr_array_index(p->children, i); - if( POLICY_IS_AND(p) ) - { - p->k += c->k; - p->k--; - } - - g_ptr_array_remove_index_fast(p->children, i); - for( j = 0; j < c->children->len; j++ ) - g_ptr_array_add(p->children, g_ptr_array_index(c->children, j)); - - g_ptr_array_free(c->children, 0); - free(c); -} - -void -simplify( cpabe_policy_t* p ) -{ - int i; - - for( i = 0; i < p->children->len; i++ ) - simplify(g_ptr_array_index(p->children, i)); - - if( POLICY_IS_OR(p) ) - for( i = 0; i < p->children->len; i++ ) - if( POLICY_IS_OR(g_ptr_array_index(p->children, i)) ) - merge_child(p, i); - - if( POLICY_IS_AND(p) ) - for( i = 0; i < p->children->len; i++ ) - if( POLICY_IS_AND(g_ptr_array_index(p->children, i)) ) - merge_child(p, i); -} - -int -cmp_tidy( const void* a, const void* b ) -{ - cpabe_policy_t* pa; - cpabe_policy_t* pb; - - pa = *((cpabe_policy_t**) a); - pb = *((cpabe_policy_t**) b); - - if( pa->children->len > 0 && pb->children->len == 0 ) - return -1; - else if( pa->children->len == 0 && pb->children->len > 0 ) - return 1; - else if( pa->children->len == 0 && pb->children->len == 0 ) - return strcmp(pa->attr, pb->attr); - else - return 0; -} - -void -tidy( cpabe_policy_t* p ) -{ - int i; - - for( i = 0; i < p->children->len; i++ ) - tidy(g_ptr_array_index(p->children, i)); - - if( p->children->len > 0 ) - qsort(p->children->pdata, p->children->len, - sizeof(cpabe_policy_t*), cmp_tidy); -} - -char* -format_policy_postfix( cpabe_policy_t* p ) -{ - int i; - char* r; - char* s; - char* t; - - if( p->children->len == 0 ) - return strdup(p->attr); - - r = format_policy_postfix(g_ptr_array_index(p->children, 0)); - for( i = 1; i < p->children->len; i++ ) - { - s = format_policy_postfix(g_ptr_array_index(p->children, i)); - t = g_strjoin(" ", r, s, (char*) 0); - free(r); - free(s); - r = t; - } - - t = g_strdup_printf("%s %dof%d", r, p->k, p->children->len); - free(r); - - return t; -} - -/* - Crufty. -*/ -int -actual_bits( uint64_t value ) -{ - int i; - - for( i = 32; i >= 1; i /= 2 ) - if( value >= ((uint64_t)1<<i) ) - return i * 2; - - return 1; -} - -/* - It is pretty crufty having this here since it is only used in - keygen. Maybe eventually there will be a separate .c file with the - policy_lang module. -*/ -void -parse_attribute( GSList** l, char* a ) -{ - if( !strchr(a, '=') ) - *l = g_slist_append(*l, a); - else - { - int i; - char* s; - char* tplate; - uint64_t value; - int bits; - - s = malloc(sizeof(char) * strlen(a)); - - if( sscanf(a, " %s = %llu # %u ", s, &value, &bits) == 3 ) - { - /* expint */ - - if( bits > 64 ) - die("error parsing attribute \"%s\": 64 bits is the maximum allowed\n", - a, value, bits); - - if( value >= ((uint64_t)1<<bits) ) - die("error parsing attribute \"%s\": value %llu too big for %d bits\n", - a, value, bits); - - tplate = g_strdup_printf("%%s_expint%02d_%%s%%d%%s", bits); - for( i = 0; i < bits; i++ ) - *l = g_slist_append - (*l, bit_marker(s, tplate, i, !!((uint64_t)1<<i & value))); - free(tplate); - - *l = g_slist_append - (*l, g_strdup_printf("%s_expint%02d_%llu", s, bits, value)); - } - else if( sscanf(a, " %s = %llu ", s, &value) == 2 ) - { - /* flexint */ - - for( i = 2; i <= 32; i *= 2 ) - *l = g_slist_append - (*l, g_strdup_printf - (value < ((uint64_t)1<<i) ? "%s_lt_2^%02d" : "%s_ge_2^%02d", s, i)); - - for( i = 0; i < 64; i++ ) - *l = g_slist_append - (*l, bit_marker(s, "%s_flexint_%s%d%s", i, !!((uint64_t)1<<i & value))); - - *l = g_slist_append - (*l, g_strdup_printf("%s_flexint_%llu", s, value)); - } - else - die("error parsing attribute \"%s\"\n" - "(note that numerical attributes are unsigned integers)\n", a); - - free(s); - } -} - -char* -parse_policy_lang( char* s ) -{ - char* parsed_policy; - - cur_string = s; - - yyparse(); - simplify(final_policy); - tidy(final_policy); - parsed_policy = format_policy_postfix(final_policy); - - policy_free(final_policy); - - return parsed_policy; -} |