X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=generator-lib%2Fwrappi_types.mli;fp=generator-lib%2Fwrappi_types.mli;h=72840fdeecaab5041592adc982ca56f097be5368;hb=53126578ee08c0bd3b3987959fb7d768deb5aedc;hp=94cf371abfcb317f2e5d77531c83d0f68c71fc34;hpb=f4ef980b13bde6e00fa918e35fd834a9fe824d0e;p=wrappi.git diff --git a/generator-lib/wrappi_types.mli b/generator-lib/wrappi_types.mli index 94cf371..72840fd 100644 --- a/generator-lib/wrappi_types.mli +++ b/generator-lib/wrappi_types.mli @@ -41,15 +41,18 @@ type prec type parameter = string * ptype * prec option (** API parameter (argument name, type, optional precondition). *) -type rtype = RVoid | Return of ptype +type rtype = RVoid | RStaticString | Return of ptype (** API return type. A superset of {!ptype} because we allow the - special value [RVoid] for functions that don't return any value. *) + some special return-only types. *) type ftype = rtype * parameter list * parameter list (** A function type. Return type, list of required parameters, list of optional parameters. *) -type c_code = string +type c_code = { + cc_loc : Camlp4.PreCast.Loc.t; + cc_code : string; +} (** C code. *) type entry_point = {