1/*
2 * Author: Karl MacMillan <kmacmillan@tresys.com>
3 *
4 * Copyright (C) 2006 Tresys Technology, LLC
5 *
6 *  This library is free software; you can redistribute it and/or
7 *  modify it under the terms of the GNU Lesser General Public
8 *  License as published by the Free Software Foundation; either
9 *  version 2.1 of the License, or (at your option) any later version.
10 *
11 *  This library is distributed in the hope that it will be useful,
12 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
13 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 *  Lesser General Public License for more details.
15 *
16 *  You should have received a copy of the GNU Lesser General Public
17 *  License along with this library; if not, write to the Free Software
18 *  Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
19 */
20
21#include "parse_util.h"
22#include "queue.h"
23
24/* these are defined in policy_parse.y and are needed for read_source_policy */
25extern FILE *yyin;
26extern void init_parser(int);
27extern int yyparse(void);
28extern void yyrestart(FILE *);
29extern queue_t id_queue;
30extern unsigned int policydb_errors;
31extern unsigned long policydb_lineno;
32extern policydb_t *policydbp;
33extern int mlspol;
34extern void set_source_file(const char *name);
35
36int read_source_policy(policydb_t * p, const char *file, const char *progname)
37{
38	yyin = fopen(file, "r");
39	if (!yyin) {
40		fprintf(stderr, "%s:  unable to open %s\n", progname, file);
41		return -1;
42	}
43	set_source_file(file);
44
45	if ((id_queue = queue_create()) == NULL) {
46		fprintf(stderr, "%s: out of memory!\n", progname);
47		return -1;
48	}
49
50	policydbp = p;
51	mlspol = p->mls;
52
53	init_parser(1);
54	if (yyparse() || policydb_errors) {
55		fprintf(stderr,
56			"%s:  error(s) encountered while parsing configuration\n",
57			progname);
58		return -1;
59	}
60	rewind(yyin);
61	init_parser(2);
62	set_source_file(file);
63	yyrestart(yyin);
64	if (yyparse() || policydb_errors) {
65		fprintf(stderr,
66			"%s:  error(s) encountered while parsing configuration\n",
67			progname);
68		return -1;
69	}
70	queue_destroy(id_queue);
71
72	if (policydb_errors)
73		return -1;
74
75	fclose(yyin);
76
77	return 0;
78}
79