From e0b3ecbe06cb47d14ee64dbf1bdbd9cbc27ac648 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Sun, 22 Mar 2015 18:53:50 +0100 Subject: kconfig_parser rewritten and now supports revers dependency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Most of the kconfig_parser is changed. Now dependency are not copied before transfer to CNF and CNF expression is direcly extracted from kconfíg parsed output structures. --- programs/src/kconfig_parser/cnfexpr.h | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 programs/src/kconfig_parser/cnfexpr.h (limited to 'programs/src/kconfig_parser/cnfexpr.h') diff --git a/programs/src/kconfig_parser/cnfexpr.h b/programs/src/kconfig_parser/cnfexpr.h new file mode 100644 index 0000000..ed5c2fb --- /dev/null +++ b/programs/src/kconfig_parser/cnfexpr.h @@ -0,0 +1,26 @@ +#ifndef _CNFEXPR_H_ +#define _CNFEXPR_H_ + +#include +#include +#include +#include "symlist.h" +#include "kconfig/lkc.h" + +enum cnfexpr_type { + CT_EXPR, CT_FALSE, CT_TRUE +}; + +struct cnfexpr { + enum cnfexpr_type type; + int **exprs; + unsigned *sizes; + unsigned size; +}; + +struct cnfexpr *kconfig_cnfexpr(struct symlist *sl, struct expr *expr); +void cnf_printf(struct cnfexpr *); + +struct boolexp *printf_original(struct symlist *sl, struct expr *expr); + +#endif /* _CNFEXPR_H_ */ -- cgit v1.2.3