Commit Graph

1018 Commits

Author SHA1 Message Date
Rob Shearman 48a5db074b widl: Output correct code for freeing of conformant-sized and non-conformant strings.
_StubMsg.pfnFree should be used instead of NdrPointerFree for
conformant-sized strings since the buffer will have been allocated
using NdrAllocate.

Non-conformant strings do not need any freeing since they use a buffer
that is allocated on the stack.
2009-03-23 14:22:41 +01:00
Rob Shearman 12b23fa220 widl: Check the attributes applied to function declarations. 2009-03-23 14:22:23 +01:00
Michael Stefaniuc efbb4ebf3e widl: Output "LONG" instead of "long" for a 32bit integer.
long is always 32bit in IDL files but that's not true in C.
2009-03-13 11:15:21 +01:00
Rob Shearman 8cdda26897 widl: Returned pointers should default to being unique, not reference. 2009-03-11 10:29:20 +01:00
Rob Shearman 728a738a82 widl: Move type_basic_get_fc to typegen.c and rename it to get_basic_fc.
Move to using type_basic_get_type in other files where appropriate.
2009-03-09 12:14:35 +01:00
Rob Shearman 630b48941f widl: Fix a memory leak in the server/stub code when unmarshalling pointers to strings at the top level.
It is necessary for the first pointer to have an offset to a second
pointer instead of directly to the string type, since the second
pointer frees the memory for the string.
2009-03-09 12:13:53 +01:00
Rob Shearman f170f9b5d5 widl: Output server code for freeing returned types. 2009-03-09 12:12:57 +01:00
Rob Shearman 23673ca373 widl: Determine pointer fc at generation time instead of at parse time.
Avoid changing the details of a pointer once created.
Properly determine the pointer type for arrays.
2009-03-09 12:09:39 +01:00
Rob Shearman f8e36ab4ab widl: Consolidate non-simple pointer writing into one function. 2009-03-09 12:08:57 +01:00
Rob Shearman a8238dd142 widl: Pass var attrs into write_no_repeat_pointer_descriptions and use them for the string check. 2009-03-05 18:39:02 +01:00
Rob Shearman 9d878f220b widl: Add coclass and module types to the global namespace. 2009-03-05 18:39:02 +01:00
Rob Shearman 13c3967522 widl: Move type_new_enum, type_new_struct, type_new_encapsulated_union and type_new_unencapsulated_union to typetree.c. 2009-03-05 18:39:02 +01:00
Rob Shearman 7c711d0736 widl: Allow enum and union tags to be used without being defined. 2009-03-05 18:39:02 +01:00
Rob Shearman 4866026d7f widl: Move the pointer referent, array element, function return type and interface inheritance properties from type_t to details structures for the appropriate types. 2009-03-05 18:39:02 +01:00
Rob Shearman 277e0617d5 widl: Store the abstract identifier of the type in type object instead of an NDR format character. 2009-03-05 18:39:02 +01:00
Rob Shearman b7dd838136 widl: Remove the single keyword and type.
It isn't valid in MIDL or the FreeDCE IDL compiler, nor does it appear
in the DCE/RPC or C99 specs.
2009-03-05 18:39:02 +01:00
Rob Shearman 319a7a102e widl: Implement a more abstract way of representing basic types. 2009-03-05 18:38:45 +01:00
Rob Shearman 0be9d2595d widl: Fix get_explicit_generic_handle_type and is_context_handle to detect attributes set on typedefs other than the first.
Change get_explicit_handle_var to use accessors for the type structure.
2009-03-05 16:34:00 +01:00
Rob Shearman 7e08ff27c2 widl: Move declarray property to array_details.
Invert the property since an array being declared as a pointer is more
surprising than an array being declared as an array.

Provide an accessor, type_array_is_decl_as_ptr.
2009-03-05 16:34:00 +01:00
Rob Shearman f27261e525 widl: Only classify top-level pointers as ref pointers if they don't have any other pointer attributes. 2009-02-25 11:54:31 +01:00
Rob Shearman a93f531c21 widl: Ignore pointer attributes applied to interface pointers.
Print a warning if a pointer attribute is specified since the
generated code won't do what the developer expects.
2009-02-25 11:54:26 +01:00
Rob Shearman 2c6e611c8a widl: Add typegen_detect_type and use it.
Add typegen_detect_type for detecting types useful during
client/server/proxy code generation.
2009-02-23 15:25:57 +01:00
Rob Shearman af0800729b widl: Use type_get_type to determine the types of types during C client, server and proxy code generation. 2009-02-23 15:25:53 +01:00
Rob Shearman 28a2c06cf7 widl: Use type_get_type to determine the types of types during typelib generation. 2009-02-23 15:25:47 +01:00
Rob Shearman 0f7f7922ba widl: Use type_get_type to determine the types of types during parsing and checking. 2009-02-23 15:25:44 +01:00
Rob Shearman d854f32283 widl: Use type_get_type to determine the types of types during header writing. 2009-02-23 15:25:30 +01:00
Rob Shearman fb934347b4 widl: Use type_get_type to determine the types during statement enumeration. 2009-02-23 15:25:20 +01:00
Rob Shearman ba91ee607c widl: Don't directly access the type structure when determining the types in expressions.
Use type_get_type and friends instead.
2009-02-23 15:25:10 +01:00
Rob Shearman 944f22db80 widl: Fix typos in write_remoting_arg which caused ref pointers to unions to not result in direct calls to NonEncapsulatedUnion/EncapsulatedUnion functions. 2009-02-19 12:51:40 +01:00
Rob Shearman 04484a4013 widl: Call Pointer function for freeing non-conformant strings and for all phases for returned non-conformant strings, as is done for conformant strings.
Also call Pointer functions for any string that isn't a reference pointer.
2009-02-16 15:35:14 +01:00
Rob Shearman 8f87eddd39 widl: Only duplicate a type if absolutely necessary.
Document how much of hack duplicating a type in order to change its
pointer type is.
2009-02-16 15:35:14 +01:00
Rob Shearman e054c52cd1 widl: Call Struct and Union phase functions for reference pointers to structures and unions.
It's slightly quicker than calling pointer phase functions and does
the same job.
2009-02-16 15:35:14 +01:00
Rob Shearman 47c82ac472 widl: Fix marshalling/unmarshalling of enum arguments.
The generated code should use NdrSimpleType{Marshall,Unmarshall} instead
of direct buffer access, since the memory size isn't always equal to
the size on the wire and extra checks.
2009-02-16 15:35:14 +01:00
Michael Stefaniuc 2b066327ec tools: Remove unused alloca.h include. 2009-02-13 13:00:02 +01:00
Alexandre Julliard 20e4cb98a7 widl: Change write_type_def_or_decl and write_type_decl to take an argument name instead of a printf format. 2009-02-10 12:32:36 +01:00
Alexandre Julliard 25624b677d widl: Print all NdrFcShort parameters as shorts to avoid warnings for negative values. 2009-02-06 14:54:03 +01:00
Alexandre Julliard fcc096083f widl: Add printf format attribute on all printf-like functions and fix resulting warnings. 2009-02-06 14:54:03 +01:00
Alexandre Julliard ef6971da40 widl: Replace unsigned long and size_t by unsigned int where appropriate. 2009-02-06 14:54:03 +01:00
Alexandre Julliard 844c8a1804 widl: Add a dummy reference to the filter function to avoid a warning. 2009-02-06 14:54:02 +01:00
Alexandre Julliard a0fb6246c0 widl: Avoid using GetExceptionCode outside of an exception handler. 2009-02-06 14:54:02 +01:00
Rob Shearman d3085abc08 Change parameter type from size_t to SIZE_T for MIDL_user_allocate. 2009-02-02 11:55:21 +01:00
Alexandre Julliard d02f9d1804 widl: We need an offset after the correlation descriptor for unencapsulated unions. 2009-01-23 16:47:51 +01:00
Austin English e5418e194a widl: Fix a compiler warning. 2009-01-20 12:30:50 +01:00
Rob Shearman 28ee1ee90f widl: Add new type_get_type and type_get_real_type_type functions.
Use these to implement a few helper functions. Change the type
verification in type accessor functions to use these new functions.
2009-01-19 13:36:26 +01:00
Rob Shearman bdb1321544 widl: Add a new function, type_alias_get_aliasee to wrap the retrieval of the type that the alias aliases. 2009-01-19 13:36:26 +01:00
Francois Gouget a17f48219a widl: Add a trailing '\n' to an error() message. 2009-01-14 14:52:21 +01:00
Michael Karcher 1c56d293f0 widl: Dereference operator in expr works on any declared pointer. 2009-01-12 16:53:18 +01:00
Michael Karcher f80e4aa9d2 widl: Don't forget conformance info on [iid_is] void pointers. 2009-01-12 16:53:18 +01:00
Michael Karcher 8092e85ece widl: Fix handling of [local] functions without [call_as]. 2009-01-12 16:53:18 +01:00
Michael Stefaniuc 9192297345 widl: Move "inline" right after the storage class specifier. 2009-01-10 17:43:11 +01:00
Michael Karcher 656de48e4e widl: Write struct fields as signed fields. 2009-01-08 14:11:35 +01:00
Michael Karcher 5f7886925d widl: Make write_base_type take a format char instead of a type desc ptr. 2009-01-08 14:05:00 +01:00
Rob Shearman 1d8dbeff9a widl: Make the case of messages output by warning and error functions consistent.
Standardise on lower case "warning" and "error", since they match the
case of what gcc prints.
2009-01-07 14:41:31 +01:00
Rob Shearman 77228b52e6 widl: Determine the type of an array entirely at code generation time instead of at parse time.
Previously, this was done partially (for fixed array types only).
2009-01-07 12:27:14 +01:00
Rob Shearman 8a976a7d78 widl: Replace uses of get_func_return_type with type_function_get_rettype.
Also replace direct accesses into the type structure to get the return
type of a function with the same function.
2009-01-06 14:36:25 +01:00
Rob Shearman 9b139018cf widl: Add new function, type_iface_get_stmts.
Use it to retrieve statements contained in interface types.
2009-01-06 12:58:41 +01:00
Rob Shearman 8fc59d0ead widl: Add a new function, type_iface_get_inherit.
Use it for retrieving the parent interface for interfaces.
2009-01-06 12:58:33 +01:00
Rob Shearman 67ac03ae4e widl: Add a new function, type_pointer_get_ref.
Use it for retrieving the type that a pointer refers to.
2009-01-06 12:58:25 +01:00
Rob Shearman 2b87d269e1 widl: Add a new function, type_array_get_element.
Use it whenever retrieving the element type of an array.
2009-01-06 12:58:13 +01:00
Rob Shearman 8a42bc1f7b widl: Move the ifaces field of the type_t structure to coclass details. 2009-01-06 12:58:01 +01:00
Rob Shearman 83b1f08117 widl: Add function for getting the interfaces defined by a coclass type.
Split out the defining of coclass types in the parser into a function.
2009-01-06 12:57:56 +01:00
Rob Shearman 1f519e17cc widl: Don't store typelib kind information in the type structure.
It can trivially be derived from the type field now.
2009-01-06 12:57:31 +01:00
Rob Shearman 64520ecdc7 widl: Move creation of module type into a separate function, type_new_module and give it a special FC type. 2009-01-06 12:57:15 +01:00
Rob Shearman 8b326c4ff8 widl: Move duptype and alias to parser.y.
Make duptype static and rename alias to type_new_alias.
2009-01-06 12:57:02 +01:00
Rob Shearman cb8d3322be widl: Add new type_is_alias and type_get_real_type helper functions.
Use type_is_alias to replace cumbersome "type->kind == TKIND_ALIAS" expressions.
Use type_get_real_type to simplify some code.
2009-01-06 12:56:51 +01:00
Rob Shearman 200ec53835 widl: Access array type properties through accessors instead of getting them directly.
Store array type properties in the details union to save a bit of
memory and to make the general properties more obvious.
2009-01-06 12:56:33 +01:00
Rob Shearman 901a42b7f9 widl: Move funcs and stmts fields from type_t structure to module_details and function_details. 2009-01-06 12:56:15 +01:00
Rob Shearman b1f8560ae0 widl: Do the consistency checks on interfaces after parsing is complete. 2009-01-06 12:53:49 +01:00
Rob Shearman d2c4ff2305 widl: Add aliased types to the typelib for statements in the library block if the typedef itself doesn't need to be added.
Otherwise, the order of types in the typelib will be wrong or types
will be missing.
2009-01-03 14:55:31 +01:00
Rob Shearman 10a422ae14 widl: Use is_string_type instead of is_attr(..., ATTR_STRING) for detecting strings.
Detecting strings is a bit harder than just looking for the string
attribute, so make sure to use the function which has the purpose of
doing just that.

Fixes compilation of generated server/proxy code when a parameter has
both the [out] and [string] attributes.
2009-01-02 14:27:43 +01:00
Michael Karcher 2fe1f36793 widl: Recurse search for need of delegation.
If any ancestor of an interface needs delegation, the interface itself
has holes in the vtables and thus needs delegation, too.
2009-01-02 12:53:20 +01:00
Rob Shearman 36c03f6a94 widl: Remove duplicate pointer handling code in get_struct_type.
Only make the structure complex if there is an interface pointer, not
if there is a pointer to a union or complex struct since these are
handled perfectly well by the pointer marshalling code.

Fix the detection of structures with ref-pointers or pointers in 64-bit code.
2008-12-31 12:35:49 +01:00
Rob Shearman c6e7609b01 widl: Don't add NULL pointer checks in generated code for user types. 2008-12-31 12:30:40 +01:00
Rob Shearman 6b955b514d widl: Generate header files from the parse tree instead of using hooks in the parser. 2008-12-29 14:54:34 +01:00
Rob Shearman bf5a9cb61e widl: Write the local stubs file based on the parsed list of statements, rather than using hooks in the parser code. 2008-12-29 14:47:03 +01:00
Rob Shearman 7d7dd182c1 widl: Write the generated file containing IID, DIID, CLSID and LIBID data based on the parsed list of statements instead of using hooks in the parser code. 2008-12-29 14:46:41 +01:00
Rob Shearman 5223d04a7c widl: Write the typelib based on the statement list generated in the typelib_t object instead of using hooks in the parser code. 2008-12-29 14:46:27 +01:00
Rob Shearman 1a71479fbd widl: Create a separate type_t object for each structure declaration or defintion.
Set the details of the structure to the previously defined version if
available, or add it to a list of incomplete types otherwise. Only set
the defined flag when the structure is actually defined in the IDL
file so that the type is written out in the exact order that it is
mentioned in the file.
2008-12-29 14:46:02 +01:00
Rob Shearman efdd020514 widl: Don't create a temporary variable in the t_ident rule.
The identifier doesn't have any properties of a variable and we only
use it for holding the name before it is freed.

Use get_type instead of get_typev in the type_new_* functions and get
rid of get_typev.
2008-12-29 14:45:28 +01:00
Rob Shearman 213f32744f widl: Store the type-specific information in a union in the type_t structure.
Use pointers for the information for structures, enumerations,
functions and interfaces so that we can determine whether or not the
type has been defined yet and to enable more information to be stored.
2008-12-29 14:45:16 +01:00
Rob Shearman 04a22cc412 widl: Hide the details of where arguments, fields, values and cases are stored in the type_t structure for functions, structures, enums and unions. 2008-12-29 14:42:47 +01:00
Rob Shearman fbffe4a229 widl: Follow aliases in check_remoting_fields so that the fields for the type are correctly enumerated. 2008-12-29 14:42:18 +01:00
Rob Shearman 2e0aefc1fd widl: Structures and arrays with pointers should be complex when generating code for 64-bit platforms.
The non-complex variants depend on the wire size of the
structure/array matching the buffer size, but this no longer applies
when pointers are 8 bytes instead of 4.
2008-12-27 20:23:19 +01:00
Alexandre Julliard 53626dbd93 widl: Add support for generating 32-bit and/or 64-bit code for proxies/clients/servers. 2008-12-26 17:22:25 +01:00
Alexandre Julliard b1ab7d88b3 widl: Add --win32/--win64 options to select the type of code generated. 2008-12-26 17:21:12 +01:00
Alexandre Julliard 9ca1382eae widl: Store the size of a pointer in a variable instead of hardcoding the value of the host compiler. 2008-12-26 17:20:53 +01:00
Alexandre Julliard a011f0cd5b widl: Move determination of the exact type of structures and array to the code generation phase.
The exact type can depend on the size of the type in memory, and that
can vary depending on whether we are generating 32-bit or 64-bit code.
2008-12-26 17:16:06 +01:00
Alexandre Julliard 34613835a7 widl: Use ULONG_PTR instead of unsigned long for pointer casts in generated code. 2008-12-15 20:08:39 +01:00
Alexandre Julliard 014dcb81e8 widl: Use local functions where possible instead of STUB_FORWARDING_FUNCTION in stub vtables. 2008-12-08 16:05:38 +01:00
Andrew Talbot d7f9d92b47 widl: Remove unneeded address-of operators from function names. 2008-12-08 11:27:53 +01:00
Andrew Talbot e05b8aa301 widl: Remove unneeded address-of operators from array names. 2008-12-08 11:27:50 +01:00
Vincent Povirk 479f5a1b21 widl: Fix string format warning.
yyerror takes a single string argument, not a format string.
2008-12-05 12:30:31 +01:00
Alexandre Julliard 9bf60549a5 widl: Sort the proxy interfaces by iid and use a binary search in IID_Lookup. 2008-12-01 16:25:45 +01:00
Alexandre Julliard 61d600f42f widl: Output vtable information even for interfaces that don't define new functions. 2008-12-01 14:51:17 +01:00
Alexandre Julliard 36519069b3 widl: Don't define PROXY_DELEGATION unconditionally. 2008-12-01 14:45:43 +01:00
Alexandre Julliard 0ad28a8592 widl: Make the generated global variables and functions hidden. 2008-12-01 14:39:39 +01:00
Rob Shearman cc51c30a63 widl: Fix optimisation for writing out ref pointers to simple structs and base types.
The optimisation in write_remoting_arg for sizing, marshalling,
unmarshalling and freeing ref pointers to base types directly was
broken in d458a599eb and caused
unnecessary calls to pointer marshalling functions.

The same was true for a similar optimisation for simple structures
where their size can be pre-calculated, freeing omitted and the
NdrSimpleStructMarshall/Unmarshall functions called directly instead
of calling NdrPointerMarshall/Unmarshall first.

Fix this by looking at the type of the referrent instead of the type
of the pointer, making sure to not classify user types as simple
structures.

Additionally remove some dead code that would never be executed
because the code is in an RPC_FC_RP case, inside a !is_ptr if block
(and RPC_FC_RP is a pointer type).
2008-12-01 12:46:46 +01:00
Rob Shearman 41152b7929 widl: Output the correct buffer size required for parameters whose sizes are known at type-generation time.
Replace code to calculate the size of RPC_FC_STRUCT types with
fields_memsize since the memory size of these types will always be
equal to the buffer size.

Remove dead code in get_required_buffer_size.
2008-12-01 12:46:19 +01:00
Alexandre Julliard 584d2c9118 widl: Do not make the stub vtbl const for delegating interfaces since it needs to be patched up at run-time. 2008-12-01 11:30:05 +01:00
Alexandre Julliard cb7a0da5db widl: Fix the handling of proxy delegation.
Generate a BaseIIDList for delegated interface, and point directly to
the methods that have been defined in the same file instead of
delegating them.
2008-11-28 12:55:59 +01:00
Alexandre Julliard 0b7478a79f widl: Make sure format strings for structure and union types are only output once. 2008-11-25 21:47:47 +01:00
Daniel Zimmermann 89cf227601 widl: Fix check for interface type in get_size_procformatstring. 2008-11-18 14:05:22 +01:00
Andrew Talbot 08c6f507b8 widl: Remove superfluous semicolons. 2008-11-17 13:11:47 +01:00
Dmitry Timoshkov d560b7bbb0 widl: Make the generated string pointers const as well. 2008-11-11 11:40:50 +01:00
Huw Davies 81bab55a94 widl: Include errno.h. 2008-10-20 22:33:40 +02:00
Rob Shearman cb3ea6843c widl: Check for overflow when parsing integer constants. 2008-10-18 19:33:18 +02:00
Alexandre Julliard b4b8a342d7 widl: Add support for attributes on enum, struct and union definitions. 2008-10-10 12:54:05 +02:00
Rob Shearman 2e8dec4115 widl: Don't automatically add DUMMYUNIONNAME and DUMMYSTRUCTNAME names to anonymous unions and structs.
It doesn't match what MIDL does.
2008-09-18 14:18:28 +02:00
Alexandre Julliard f203263528 widl: Remove unnecessary casts in the generated code. 2008-09-15 19:40:51 +02:00
Alexandre Julliard cdfec4da31 widl: Implemented RpcAbnormalTermination in the generic exception handling code. 2008-09-15 18:18:16 +02:00
Alexandre Julliard 654e78aa38 widl: Implemented __finally support in client functions. 2008-09-15 18:03:56 +02:00
Alexandre Julliard 0f12f358cd widl: Implemented __finally support in server functions. 2008-09-15 18:03:49 +02:00
Alexandre Julliard 3bab54cf04 widl: Implemented __finally support in stub functions. 2008-09-15 18:03:44 +02:00
Alexandre Julliard b8fb66c71a widl: Separate declaration and initialisation for indirect arguments. 2008-09-15 16:46:33 +02:00
Alexandre Julliard bf011b0f53 widl: Infrastructure for adding a prefix to local variable references. 2008-09-15 16:46:01 +02:00
Alexandre Julliard 3bdaba2a93 widl: Make the exception handling macros more general and use the same code everywhere. 2008-09-15 14:05:26 +02:00
Alexandre Julliard 1218aff94d widl: Create an explicit structure for the function frame of all generated functions.
Store _StubMsg in the frame structure since it's needed for exception handling.
2008-09-15 14:02:26 +02:00
Rob Shearman e0dd72162a widl: Remove redundant code.
dispinterfaces now have a type of RPC_FC_IP instead of 0, so this code
will never be reached.
2008-09-11 11:45:33 +02:00
Rob Shearman 39978c68f9 widl: Fix the writing typedefs to dispinterfaces and pointers to interfaces.
Currently, stdole2.tlb isn't generated correctly and causes "<failed>"
to appear instead of "FontEvents" in the IFontEventsDisp typedef when
viewed with oleview.

The problem is that the typedef should just generate a VT_USERDEFINED
record, but ends up generating a VT_PTR -> VT_USERDEFINED. So remove
the extra writing of VT_PTR entries.

Fix the skipped pointers checks in encode_type and encode_type to
specifically detect VT_UNKNOWN and VT_DISPATCH types which don't need
one level of pointers, whereas interfaces encoded as VT_USERDEFINED
do.
2008-09-10 10:55:34 +02:00
Austin English bfc34a3c9c widl: Remove unreached code (Smatch). 2008-09-10 10:55:11 +02:00
Steven Edwards 6bdfc2fa2c widl: Open files in binary mode to avoid corruption from text mode on Windows. 2008-09-10 10:40:18 +02:00
Dan Hipschman a41de877da widl: Output NULL for inherited methods in the vtbl. 2008-09-02 18:01:53 +02:00
Alexandre Julliard 5ce606e834 widl: Add support for finally function in proxy methods. 2008-08-30 11:25:22 +02:00
Alexandre Julliard 29e20b869c widl: Replace write_name() by get_name() to make the code more readable. 2008-08-30 11:15:04 +02:00
Rob Shearman 6f2687a389 widl: Raise RPC_X_SS_IN_NULL_CONTEXT exception for NULL in-only context handles instead of RPC_X_NULL_REF_PTR.
Based on a patch by Michael Martin.
2008-08-27 13:21:21 +02:00
Alexandre Julliard b3ec2e5f95 makefiles: Recurse into all directories for install-lib and install-dev too. 2008-08-25 14:27:03 +02:00
Dan Hipschman 790e6dcd29 widl: Honor typedef pointer attributes. 2008-08-18 14:34:10 +02:00
Alexandre Julliard 28a2179dd6 Add noinput directive to all lex files to avoid a compiler warning. 2008-07-07 12:31:33 +02:00
Alexandre Julliard c0ebae42f1 widl: Fix a couple of uninitialized variable compiler warnings. 2008-07-07 12:16:51 +02:00
Rob Shearman 90d633cdd1 widl: Remove some unnecessary calls to duptype. 2008-07-07 12:11:23 +02:00
Rob Shearman ed0c013849 widl: Rename find_type_helper, find_type and find_type2 to find_type, find_type_error and find_type_error2 respectively. 2008-07-07 12:11:23 +02:00
Alexandre Julliard d6e76274d9 widl: Add support for exception handling in the generated proxy code. 2008-07-03 13:08:19 +02:00
Alexandre Julliard 900bc5697e widl: Add support for exception handling in the generated server code. 2008-07-03 13:08:19 +02:00
Rob Shearman d60dc3f88b widl: Consolidate top-level parameter conformance/variance expression writing into a separate function.
Descend through as many pointer types as necessary to find the
fundamental type and determine whether it needs a top-level parameter
conformance/variance expression to be written.

Add support for writing top-level parameter conformance/variance
expressions for non-encapsulated unions.
2008-07-03 11:50:52 +02:00
Dan Hipschman d87bc0520f widl: Factor a small part of the grammar. 2008-07-02 11:41:31 +02:00
Dan Hipschman 6725c5d756 widl: Implement type redefinition checks.
This allows widl to catch type redefinitions and report an error, like MIDL.
However, this does a better job than MIDL since it also reports the location
of the originial definition, like GCC.
2008-07-02 11:40:50 +02:00
Rob Shearman 037fa861ab widl: Check that the structure has been defined in check_remoting_args. 2008-07-02 11:38:50 +02:00
Rob Shearman fb224429f7 widl: Increment the buffer offset by 8 for embedded pointers inside varying arrays in varying structures.
The 8 bytes are for the variance and offset and are added just before
the array, as seen in the marshalling code in rpcrt4. No offset needs
to be added for non-varying structures since the buffer mark is set
after the conformance in marshalled or unmarshalled.
2008-07-02 11:38:47 +02:00
Alexandre Julliard e213ac9aca widl: Add some support for unencapsulated unions that need a conformance descriptor. 2008-07-01 12:25:44 +02:00
Alexandre Julliard 6e9a6577c3 widl: [default] is an allowed attribute for union fields. 2008-06-26 21:10:32 +02:00
Rob Shearman b2286fd45c widl: Fix check_remoting_fields to enumerate the correct list of fields. 2008-06-24 11:48:15 +02:00
Rob Shearman 925a700574 widl: Fix type_memsize to follow aliases so that the correct size is calculated. 2008-06-24 11:48:11 +02:00
Rob Shearman 4997f1849b widl: Fix the types of enums with the v1_enum attribute applied. 2008-06-24 11:48:03 +02:00
Rob Shearman b3dde47ed7 widl: Fix crash in find_array_or_string_in_struct if the structure or union has no fields or cases. 2008-06-24 11:47:56 +02:00
Rob Shearman ada3ca6f09 widl: Set the type of the type_t node constructured for dispinterfaces to RPC_FC_IP, like we do for interfaces. 2008-06-24 11:47:51 +02:00
Rob Shearman 50e54c0c15 widl: Factor out the finding of a registered type to reduce code duplication. 2008-06-24 11:47:46 +02:00
Rob Shearman 28a9b94afc widl: Fix the embedded pointer offsets in generated code when the containing structure has padding.
Do so by calculating the alignment of members when iterating through
the structures and adding it onto the buffer and memory offsets.

Only call type_memsize once elsewhere in the embedded pointer
processing functions since the return value will be the same from the
second call.
2008-06-23 19:25:53 +02:00
Rob Shearman 5f1de5a11d widl: Replace code to round up values and calculate padding with macros to improve readability. 2008-06-23 19:25:38 +02:00
Rob Shearman bb647c9b67 widl: Fix generation of the type format string for conformant-varying structures.
The conformance needs to be added on to the offset in the buffer so
set this before calling each the writer of each class of pointer
description in write_pointer_description.

Pass the passed in offsets to buffer and memory to
write_pointer_description_offsets in
write_varying_array_pointer_descriptions.
2008-06-21 11:13:04 +02:00
Simon Richter b5614f763f widl: Write string lengths in host endianness.
Type libraries are currently parsed in host endianness, so byte arrays
that are going to be interpreted as integers need to be written in the
appropriate byte order.
2008-06-18 15:21:48 +02:00
Marcus Meissner 1ff216c874 widl: Mark non-returning functions as noreturn. 2008-05-07 12:07:54 +02:00
Francois Gouget 633ee950a1 Assorted spelling fixes. 2008-05-07 12:07:11 +02:00
Francois Gouget d2364d5d27 Add a comment warning when a table must be kept sorted for later use with bsearch(). 2008-05-06 16:11:09 +02:00
Gerald Pfeifer 652602f5c8 widl: Fix syntax to also work with older versions of bison. 2008-05-02 16:05:48 +02:00
Rob Shearman 033cade616 widl: Consolidate writing of COM and dispatch interfaces into one function to remove duplicated code.
Split up the writing into start and end to eventually support the style 
MIDL uses where it writes declared types, etc. between the start and end 
of the interface.

Make internal header functions take the file pointer to print to.

Don't write interface IDs for non-object interfaces and always write 
handle declarations even if the interface has no methods, like MIDL does.
2008-05-01 18:11:26 +02:00
Rob Shearman e71219e66e widl: Add the parsing of storage classes into declaration-specifiers.
Support the static and register keywords.

This consolidates externdef and constdef rules into one declaration rule.
2008-04-30 16:59:47 +02:00
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