Commit Graph

712 Commits

Author SHA1 Message Date
Rob Shearman d64e4c26ee widl: Prepare for supporting storage classes in declaration statements.
Return a decl_spec_t structure from decl_spec rules so that the storage
class and type qualifiers can both be returned.
2008-04-30 16:59:30 +02:00
Rob Shearman e35c79efbf widl: callback, code, comm_status and in_line are attribute names, not keywords. 2008-04-30 11:32:08 +02:00
Rob Shearman 48153a8944 widl: Allow pointer attributes to be applied to function pointers. 2008-04-30 11:31:51 +02:00
Rob Shearman 017213e11a widl: Make constdef and externdef take a declarator instead of an ident so that functions and arrays can be defined using the statements. 2008-04-30 11:31:47 +02:00
Rob Shearman 4f8f89e6bb widl: Add support for "inline" on function definitions.
Fix applying calling convention to function type.
2008-04-30 11:31:21 +02:00
Rob Shearman 146ef11b77 widl: Keep const attributes applied to pointers when writing out the type.
Use an attribute to store the const qualifier for the pointer and type.

Allow multiple type-qualifiers to be applied to a type by adding a 
declaration-specifier rule that encompasses type-qualifiers and types.
2008-04-30 11:30:55 +02:00
Rob Shearman 0cb73cef0b widl: Accept integer constant suffixes in the lexer. 2008-04-28 13:28:16 +02:00
Rob Shearman 62a6475593 widl: Support hex digits that use an uppercase 0X prefix. 2008-04-28 13:28:16 +02:00
Rob Shearman 80be9df3a7 widl: Add typedefs to typelibs which have the public or uuid attributes, not any other attribute. 2008-04-28 13:28:16 +02:00
Rob Shearman 242a8a02f5 widl: Move the func_declarator rule entirely into direct_declarator. 2008-04-25 12:10:42 +02:00
Rob Shearman 66fa9a714e widl: Create a statement object for import statements.
Move the writing of include directives into the generated header into 
header.c.
2008-04-25 12:10:34 +02:00
Rob Shearman 33c891e694 widl: Add support for string literals and wide-string literals in expressions. 2008-04-25 12:10:24 +02:00
Rob Shearman 957dd4b160 widl: Add support for declaring multiple fields of a structure in one statement. 2008-04-25 12:10:15 +02:00
Rob Shearman 14dd441c5b widl: Make the rules for parsing fields in structures, encapsulated unions and non-encapsulated unions more strict.
Move the rules in fields that handle empty union cases into separate 
union rules so that they can't erroneously be accepted for structures or 
other types of unions.
2008-04-25 12:10:04 +02:00
Rob Shearman 21cd6865c8 widl: Rename pident to declarator and parse the array declarations as part of declarators.
This allows arrays to be used in typedefs and const statements.
2008-04-25 12:09:56 +02:00
Rob Shearman 2f381f30a6 widl: Consolidate most of the inner loop of reg_typedefs into set_type. 2008-04-25 12:09:46 +02:00
Rob Shearman 1fcc2084e8 widl: Add typedef statements to the statement lists. 2008-04-24 22:32:47 +02:00
Rob Shearman df0e38c067 widl: Create a list of statements in the whole IDL file, instead of just a list of interfaces. 2008-04-24 22:32:20 +02:00
Rob Shearman 58be89230e widl: Allow NULL to be used in expressions. 2008-04-24 22:31:47 +02:00
Rob Shearman ec81a78f01 widl: Construct the pointer chain while parsing pointers, rather than storing a ptr_level.
This method is more flexible and somewhat simpler.
2008-04-24 22:31:37 +02:00
Rob Shearman 02f5412a53 widl: Implement lcid property on library declarations. 2008-04-24 22:31:20 +02:00
Rob Shearman 1a0d28bf02 widl: Remove duplicated code in the form of the write_struct_expr function by enhancing write_expr to allow toplevel identifiers to be prefixed by a string, if specified. 2008-04-22 13:05:18 +02:00
Rob Shearman 39a1fa672a widl: Use expr_resolve_type to get the type of the identifier in write_conf_or_var_desc.
Remove the conversion of pointer types into base types as this was only 
needed due to lack of proper type resolving.
2008-04-22 13:05:04 +02:00
Rob Shearman 80ab2a7c6d widl: Move expression functions to a new file, expr.c. 2008-04-22 13:04:58 +02:00
Rob Shearman 6244565df3 widl: Check that expressions resolve so that expressions in generated code will compile.
Also check that expressions return the correct type for the attribute.
2008-04-22 13:04:45 +02:00
Rob Shearman b88d82a14b widl: Pass the actual type into check_remoting_fields and check_field_common instead of the type name. 2008-04-22 13:04:31 +02:00
Rob Shearman b81904b8ee widl: Don't free input_name in pop_import as we keep pointers to it in the var_t type now. 2008-04-22 13:04:24 +02:00
Rob Shearman 95ac84e20b widl: Remove EXPR_MEMBERPTR and implement it using EXPR_PPTR and EXPR_MEMBER instead. 2008-04-22 13:04:19 +02:00
Rob Shearman cc3682cf12 widl: Add support for comparison, exclusive or, logical not and positive operators in expressions. 2008-04-22 13:04:03 +02:00
Rob Shearman 6f9020290b widl: Require a constant expression for case statements. 2008-04-22 13:03:39 +02:00
Rob Shearman b599d2596b widl: Fix operator precedence in expressions. 2008-04-22 13:03:34 +02:00
Rob Shearman ea9932557a widl: Add support for '%' operator in expressions. 2008-04-21 13:36:19 +02:00
Rob Shearman d27c7601e5 widl: Add support for arrays in expressions. 2008-04-21 13:36:19 +02:00
Rob Shearman 03d5017416 widl: Add support for "->" and "." operators in expressions. 2008-04-21 13:36:19 +02:00
Rob Shearman efd10742ec widl: Issue an error instead of crashing for dividing by zero in a constant expression. 2008-04-21 13:36:19 +02:00
Rob Shearman c46fcfb356 widl: Automatically add "handle_t IDL_handle" parameter to functions with no explicit handle specified whose containing interface has the explicit_handle attribute. 2008-04-21 13:36:19 +02:00
Rob Shearman c4ca32bbda widl: The implicit_handle attribute is allowed with a handle explicitly specified in the function parameters.
In that case, that handle is used instead of the implicit handle.

Fix the check for the explicit_handle attribute being specified without
a handle being specified in the function parameters, even though issuing
an error is wrong. (Thanks to Marcus Meissner & Coverity for spotting
that the check didn't do what it was supposed to do.)
2008-04-21 13:36:19 +02:00
Rob Shearman 15612e60fd widl: Check that fields in structures and unions referenced by non-local functions can be marshalled and that their attributes are consistent. 2008-04-21 13:36:19 +02:00
Rob Shearman 6e27e7840f widl: Stop looping in check_remoting_args when a context_handle or wire_marshal type is found as they are in effect fundamental types. 2008-04-21 13:36:19 +02:00
Rob Shearman 4b56ff7238 widl: Change alls calls to error in the parser to error_loc so that line number information is printed. 2008-04-16 14:07:35 +02:00
Rob Shearman 2ac495c85d widl: Add checking to arguments of non-local functions.
Check that out arguments have enough levels of indirection and that they 
don't derive from void * or a function pointer.
2008-04-14 13:39:47 +02:00
Rob Shearman 0053599688 widl: Add functions to print an error or warning message using location information to enable these to be printed accurately when a check is done after an element is parsed.
Add location information to variable automatically, since this is will 
be useful for type checking of arguments.
2008-04-14 13:39:42 +02:00
Rob Shearman f728fe168b widl: Write out TYPEFLAG, FUNCFLAG and VARFLAG flags for all attribute we currently parse.
Add FIXMEs for the remaining ones and remove the warning for 
unimplemented attribute types since we now support all the attributes 
that we parse.
2008-04-14 13:39:35 +02:00
Rob Shearman 56e2553eff widl: Add support for the broadcast and idempotent operation attributes. 2008-04-14 13:39:28 +02:00
Rob Shearman 66b8574d8d widl: Output a warning if duplicate attributes are specified. 2008-04-14 13:39:21 +02:00
Rob Shearman aa20221771 widl: Check that attributes are applicable for libraries, modules, dispinterfaces and coclasses and otherwise issue an error. 2008-04-14 13:39:16 +02:00
Rob Shearman fcc8a028d8 widl: The odl attribute is valid for dispinterfaces. 2008-04-14 13:39:08 +02:00
Rob Shearman abdc08e013 widl: Make the attrs parameter passed to start_typelib const. 2008-04-14 13:39:02 +02:00
Rob Shearman e9afe272be widl: Check that attributes applied to typedefs and fields are applicable and issue an error otherwise. 2008-04-14 13:38:56 +02:00
Rob Shearman 5f39b41526 widl: Check that attributes applied to interfaces, functions and arguments are applicable and issue an error if not. 2008-04-14 13:38:48 +02:00
Rob Shearman e4b0266b27 widl: Support non-default calling conventions for non-object functions. 2008-04-11 12:14:55 +02:00
Rob Shearman 5483ea9e87 widl: Support non-default calling conventions for object methods. 2008-04-11 12:14:52 +02:00
Dan Hipschman 976f570f61 widl: Fix a mistake in an ordered list (keywords). 2008-04-03 11:30:08 +02:00
Rob Shearman f7f31150ee widl: Turn on verbose errors, which gives a little more information in the case of a syntax error. 2008-04-02 19:54:08 +02:00
Rob Shearman bfde2c2e79 widl: Fix the writing out of function pointers with more than one level of indirection. 2008-04-02 19:54:01 +02:00
Rob Shearman 5a378905be widl: Add a newline between function prototypes for non-object interfaces. 2008-04-02 19:53:50 +02:00
Rob Shearman 35ba23bd48 widl: Support __fastcall and __pascal calling conventions.
Support the synonyms for these and existing calling conventions.
2008-04-02 19:53:42 +02:00
Rob Shearman d97f3205ba widl: Support parsing calling conventions for function identifiers.
Support automatically setting the calling convention to 
STDMETHODCALLTYPE if it is part of an object interface.

Write out the calling convention in write_type_v.
2008-04-02 19:53:23 +02:00
Rob Shearman 6a0c5a4fe9 widl: Store function and function pointer types completely within type_t type. 2008-04-02 19:53:09 +02:00
Rob Shearman a04b150839 widl: Add a function to get the return type of a parsed function.
This clarifies its use in code and makes it simpler to change the way 
functions are parsed into types.
2008-04-02 19:52:49 +02:00
Rob Shearman 772f3af9f0 widl: Be more strict about where semicolons can appear in IDL files.
In particular, don't allow them after cpp_quote and without a statement.

Update the rules for importlib, library definition, dispinterface 
definition, interface definition, coclass definition and module 
definition to optionally allow a semicolon postfix.

Call pop_import from the parser instead of the lexer to ensure that 
pop_import is only called after the last statement in the imported file 
has been parsed.
2008-04-01 19:10:43 +02:00
Rob Shearman a110cffd95 widl: Parse typedefs of function pointers. 2008-04-01 11:29:23 +02:00
Rob Shearman f8ea9ec163 widl: Make sure that string types are always written out by write_string_tfs and not write_simple_pointer.
This is because write_string_tfs has support for the full range of 
string types, write_simple_pointer doesn't have access to the var 
attributes which are needed to properly detect strings, and 
write_string_tfs sets the typestring offset to after the pointer is 
written and write_remoting_arg depends on this.
2008-03-27 17:33:09 +01:00
Rob Shearman f4a9619364 widl: Fix detection of non-pointer context handles.
is_ptr cannot be used because it follows the chain of types into the 
type which has the context_handle attribute, which is typically "void *" 
and so causes these context handles to be incorrectly detected as 
context handles. Instead, we can use is_aliaschain_ptr to follow the 
chain of aliases without following pointers and the absence of the 
context_handle attribute indicates that it must be present on a type 
after following a pointer.
2008-03-27 17:33:06 +01:00
Rob Shearman 59556de0c1 widl: Add support for generic binding handles. 2008-03-27 17:33:02 +01:00
Rob Shearman 8a0cb2b5c5 widl: Use is_string_type for detecting strings in write_typeformatstring_var to make it consistent with write_remoting_arg.
Fix the is_string_type function used for detecting strings by only 
examining aliases instead of both aliases and pointers. This is due to 
the requirement that pointers to strings be handled as pointers and so 
not detected as strings.
2008-03-27 17:32:58 +01:00
Rob Shearman 4194daf108 widl: Support using context handles as the binding handle in client functions. 2008-03-27 11:42:36 +01:00
Dan Hipschman 2fa83d94c8 widl: Make structures with FC_ENUM16 fields complex.
Structures containing enum fields without the v1_enum attribute must be
treated as complex because of the range check and memory/wire size
differences.  This includes a test which didn't pass before and now
passes on Wine and Windows.
2008-03-21 11:24:28 +01:00
Dan Hipschman d37b1a4969 widl: Ignore libraries in imported IDL files. 2008-03-19 11:22:56 +01:00
Michael Stefaniuc 5c9d1223db widl: Remove local variable shadowing in add_func_desc(). 2008-03-12 11:59:12 +01:00
Alexandre Julliard 1dca65607b widl: Avoid getopt constants that may not be defined. 2008-03-04 12:14:46 +01:00
Gerald Pfeifer 92015ee4ed widl: Include <unistd.h> for prototype of unlink(). 2008-02-25 11:54:16 +01:00
Dan Hipschman 2d7b1f18b1 widl: Allow is_string_type to work for typedef'd types. 2008-02-22 12:04:26 +01:00
Alexandre Julliard 41fbacefa1 Avoid the nounistd option that doesn't exist on older flex, define YY_NO_UNISTD_H instead. 2008-02-19 15:42:49 +01:00
Rob Shearman 878ea5d2e2 Add the nounistd option to all lex source files. 2008-02-19 13:39:25 +01:00
Rob Shearman a5886607d0 widl: Guard the inclusion of unistd.h. 2008-02-15 11:06:25 +01:00
Rob Shearman c233ba105e widl: Remove unused headers. 2008-02-15 11:06:21 +01:00
Colin Finck 318e61535c widl: Write the TLB file in binary mode, so the line endings won't be changed. 2008-02-08 11:01:09 +01:00
Colin Finck 0fae921727 widl: Support Windows paths in dup_basename and make_token. 2008-02-08 11:00:55 +01:00
Rob Shearman 661b01f922 widl: Output code for initialising and freeing full pointer translation tables. 2008-02-04 11:49:13 +01:00
Rob Shearman 454e489c2f widl: Don't search for a import file name with a path in the include directories for compatibility with MIDL. 2008-02-04 11:49:07 +01:00
Jacek Caban 2118aeca16 widl: Ignore ATTR_LOCAL in create_msft_typeinfo. 2008-02-04 11:30:30 +01:00
Francois Gouget d0794c4aeb Assorted spelling fixes. 2008-01-23 21:16:22 +01:00
Rob Shearman 5af6012fba widl: Write out code for initialising out-only client context handles. 2008-01-21 11:39:13 +01:00
Austin English 90f89fa74d tools: Spelling fixes. 2008-01-18 12:52:09 +01:00
Alexandre Julliard ba5336175c widl: Use the real argument names in the C method macros. 2008-01-18 12:03:22 +01:00
Rob Shearman a3040cea58 widl: Use symbolic names for some of the context handle attributes. 2008-01-07 21:33:53 +01:00
Rob Shearman 06ed169bc5 widl: Fix context handle "cannot be null" detection.
The "cannot be null" attibute is applied to a parameter if and only if 
it is in-only.
2008-01-07 21:33:50 +01:00
Rob Shearman e998892a23 widl: Fix the conditions under which array freeing code is output.
It doesn't matter whether or not the array is declared as a pointer or 
is declared using array subscripts - the array is still allocated by the 
unmarshalling function and so needs to be freed.

Fix a typo that caused varying arrays never to be freed.

Fix another typo with the check for conformant arrays being performed 
twice, redundantly.
2008-01-07 12:37:08 +01:00
Rob Shearman 15af19c6ec widl: Add support for strict context handles. 2008-01-07 12:32:21 +01:00
Rob Shearman 807001441d widl: Output calls for the new versions of the marshalling and unmarshalling routines for server context handles.
This needs to be done to match the call to NdrContextHandleInitialize 
and because we default to using strict context handles.
2008-01-07 12:32:00 +01:00
Rob Shearman 13f9c71960 widl: Make the offset of conformant string types point to the start of the conformant string format chars, not the pointer type.
Otherwise, writing a type at top-level could cause the pointer format 
string to be used in non-top-level places which may cause memory 
corruption during freeing.
2008-01-07 12:02:57 +01:00
Rob Shearman 9aaff94fb7 widl: Check that the buffer has enough space before unmarshalling base types in generated code. 2007-12-31 17:13:46 +01:00
Rob Shearman 6e7dcde26e widl: Add support for generating code for out-only context handles by calling NdrContextHandleInitialize. 2007-12-26 13:27:06 +01:00
Rob Shearman 3e5f7457f6 widl: Fix pointer detection in structures and arrays.
write_embedded_types doesn't descend into all types contained by the
array or structure, so create a new function, type_has_pointers, for the
purpose of descending into all types and returning whether or not
pointers are present.
2007-12-26 13:26:02 +01:00
Rob Shearman 7f3abe7757 widl: Fix the generation of temporary variables for declared arrays.
These need to include their array part so use var->type instead of 
var->ref->type.
2007-12-24 13:30:33 +01:00
Rob Shearman b57a322b02 widl: Tweak the rules for when to call pfnFree for arrays.
Varying arrays that aren't unmarshalled shouldn't be freed, but 
conformant arrays that aren't unmarshalled should.
2007-12-21 12:43:18 +01:00
Rob Shearman 37c8d8ecac widl: Fix the length used when clearing alignment space in generated files.
Only do the clearing when marshalling a base type.
2007-12-19 19:34:47 +01:00
Rob Shearman 57947d9f9c widl: The detection of types is highly dependent on the ordering of the various type detection functions.
Therefore, needs_freeing would have to duplicate a lot of
write_remoting_arg in order to get the detection right. Because of
this, it is easier and will cause less problems in the future to
simply move the logic of needs_freeing into write_remoting_arg in the
appropriate handling code for the detected type.
2007-12-19 18:32:13 +01:00
Rob Shearman b81f4c24db widl: Only base types or reference pointers to base types don't need to be freed.
There are other cases where calls to Free functions can be omitted (such 
as types always unmarshalled using buffer memory with no embedded 
pointers), but these are easier dealt with inside the relevent case in 
write_remoting_arg.
2007-12-17 11:57:25 +01:00