Commit Graph

297 Commits

Author SHA1 Message Date
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 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 fb934347b4 widl: Use type_get_type to determine the types during statement enumeration. 2009-02-23 15:25:20 +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
Michael Stefaniuc 2b066327ec tools: Remove unused alloca.h include. 2009-02-13 13:00:02 +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
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
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 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 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 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
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 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 b4b8a342d7 widl: Add support for attributes on enum, struct and union definitions. 2008-10-10 12:54:05 +02:00
Dan Hipschman 790e6dcd29 widl: Honor typedef pointer attributes. 2008-08-18 14:34:10 +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
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
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 4997f1849b widl: Fix the types of enums with the v1_enum attribute applied. 2008-06-24 11:48:03 +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
Francois Gouget 633ee950a1 Assorted spelling fixes. 2008-05-07 12:07:11 +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 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 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 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 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 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 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 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 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 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 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 59556de0c1 widl: Add support for generic binding handles. 2008-03-27 17:33:02 +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