Rob Shearman : widl: Do the consistency checks on interfaces after parsing is complete.
Alexandre Julliard
julliard at winehq.org
Tue Jan 6 08:23:14 CST 2009
Module: wine
Branch: master
Commit: b1f8560ae075757dacd466ffa4a7e54e5f0b2f59
URL: http://source.winehq.org/git/wine.git/?a=commit;h=b1f8560ae075757dacd466ffa4a7e54e5f0b2f59
Author: Rob Shearman <robertshearman at gmail.com>
Date: Mon Jan 5 23:33:19 2009 +0000
widl: Do the consistency checks on interfaces after parsing is complete.
---
tools/widl/parser.h | 1 -
tools/widl/parser.y | 21 ++++++++++++++++-----
tools/widl/typetree.c | 2 --
3 files changed, 16 insertions(+), 8 deletions(-)
diff --git a/tools/widl/parser.h b/tools/widl/parser.h
index 85171f7..5822984 100644
--- a/tools/widl/parser.h
+++ b/tools/widl/parser.h
@@ -45,7 +45,6 @@ void pop_import(void);
int is_type(const char *name);
-void check_functions(const type_t *iface);
func_list_t *gen_function_list(const statement_list_t *stmts);
#endif
diff --git a/tools/widl/parser.y b/tools/widl/parser.y
index d9b5c3c..0f15f85 100644
--- a/tools/widl/parser.y
+++ b/tools/widl/parser.y
@@ -70,8 +70,6 @@
unsigned char pointer_default = RPC_FC_UP;
static int is_object_interface = FALSE;
-/* are we inside a library block? */
-static int is_inside_library = FALSE;
typedef struct list typelist_t;
struct typenode {
@@ -140,6 +138,7 @@ static var_t *reg_const(var_t *var);
static char *gen_name(void);
static void check_arg(var_t *arg);
+static void check_statements(const statement_list_t *stmts, int is_inside_library);
static void check_all_user_types(const statement_list_t *stmts);
static attr_list_t *check_iface_attrs(const char *name, attr_list_t *attrs);
static attr_list_t *check_function_attrs(const char *name, attr_list_t *attrs);
@@ -346,6 +345,7 @@ static statement_list_t *append_statement(statement_list_t *list, statement_t *s
%%
input: gbl_statements { fix_incomplete();
+ check_statements($1, FALSE);
check_all_user_types($1);
write_header($1);
write_id_data($1);
@@ -433,14 +433,12 @@ libraryhdr: tLIBRARY aIDENTIFIER { $$ = $2; }
;
library_start: attributes libraryhdr '{' { $$ = make_library($2, check_library_attrs($2, $1));
if (!parse_only) start_typelib($$);
- is_inside_library = TRUE;
}
;
librarydef: library_start imp_statements '}'
semicolon_opt { $$ = $1;
$$->stmts = $2;
if (!parse_only) end_typelib();
- is_inside_library = FALSE;
}
;
@@ -2540,7 +2538,7 @@ static void add_explicit_handle_if_necessary(func_t *func)
}
}
-void check_functions(const type_t *iface)
+static void check_functions(const type_t *iface, int is_inside_library)
{
if (is_attr(iface->attrs, ATTR_EXPLICIT_HANDLE) && iface->funcs)
{
@@ -2559,6 +2557,19 @@ void check_functions(const type_t *iface)
}
}
+static void check_statements(const statement_list_t *stmts, int is_inside_library)
+{
+ const statement_t *stmt;
+
+ if (stmts) LIST_FOR_EACH_ENTRY(stmt, stmts, const statement_t, entry)
+ {
+ if (stmt->type == STMT_LIBRARY)
+ check_statements(stmt->u.lib->stmts, TRUE);
+ else if (stmt->type == STMT_TYPE && stmt->u.type->type == RPC_FC_IP)
+ check_functions(stmt->u.type, is_inside_library);
+ }
+}
+
static void check_all_user_types(const statement_list_t *stmts)
{
const statement_t *stmt;
diff --git a/tools/widl/typetree.c b/tools/widl/typetree.c
index 2b56bb8..f13ec53 100644
--- a/tools/widl/typetree.c
+++ b/tools/widl/typetree.c
@@ -73,7 +73,6 @@ void type_interface_define(type_t *iface, type_t *inherit, statement_list_t *stm
iface->details.iface->disp_methods = NULL;
iface->stmts = stmts;
iface->defined = TRUE;
- check_functions(iface);
compute_method_indexes(iface);
}
@@ -87,7 +86,6 @@ void type_dispinterface_define(type_t *iface, var_list_t *props, func_list_t *me
iface->details.iface->disp_methods = methods;
iface->stmts = NULL;
iface->defined = TRUE;
- check_functions(iface);
compute_method_indexes(iface);
}
More information about the wine-cvs
mailing list