RPMsg inter-partition messaging
regenerate EverParse C files with wire 0.9.0
Wire_3d now generates ExternalTypedefs.h, ExternalAPI.h, Wrapper,
and Fields files for schemas using WireCtx. Bitfield padding is
fixed so .3d structs match the OCaml codec wire_size. Test.c passes
NULL for the WIRECTX parameter and links per-schema Field stubs.
Affected: ax25, cfdp, fsr, ltp, mbr, pid1, pus, rpmsg, sdls,
spacefibre, squashfs, tcpcl, udpcl, spacewire, and others via @gen.
+14
-8
+9
-3
c/dune.inc
+9
-3
c/dune.inc
···
9
9
(rule
10
10
(alias gen)
11
11
(mode fallback)
12
-
(targets EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c test.c)
12
+
(targets EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c rpmsg_endpoint_info_ExternalTypedefs.h rpmsg_endpoint_info_ExternalAPI.h rpmsg_endpoint_infoWrapper.c rpmsg_endpoint_infoWrapper.h rpmsg_endpoint_info_Fields.h rpmsg_endpoint_info_Fields.c test.c)
13
13
(deps gen.exe rpmsg_endpoint_info.3d)
14
14
(action
15
15
(run ./gen.exe c)))
16
16
17
17
(rule
18
18
(alias runtest)
19
-
(deps test.c EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c)
19
+
(deps test.c EverParse.h EverParseEndianness.h rpmsg_endpoint_info.h rpmsg_endpoint_info.c rpmsg_endpoint_info_ExternalTypedefs.h rpmsg_endpoint_info_ExternalAPI.h rpmsg_endpoint_infoWrapper.c rpmsg_endpoint_infoWrapper.h rpmsg_endpoint_info_Fields.h rpmsg_endpoint_info_Fields.c)
20
20
(action
21
21
(system
22
-
"cc -std=c11 -Wall -Wextra -Werror -o test_rpmsg test.c rpmsg_endpoint_info.c && ./test_rpmsg")))
22
+
"cc -std=c99 -Wall -Wextra -Werror -Wpedantic -Wstrict-prototypes -Wmissing-prototypes -Wshadow -Wcast-qual -o test_rpmsg test.c rpmsg_endpoint_info.c rpmsg_endpoint_info_Fields.c && ./test_rpmsg")))
23
23
24
24
(install
25
25
(package rpmsg)
···
28
28
(rpmsg_endpoint_info.3d as c/rpmsg_endpoint_info.3d)
29
29
(rpmsg_endpoint_info.h as c/rpmsg_endpoint_info.h)
30
30
(rpmsg_endpoint_info.c as c/rpmsg_endpoint_info.c)
31
+
(rpmsg_endpoint_info_ExternalTypedefs.h as c/rpmsg_endpoint_info_ExternalTypedefs.h)
32
+
(rpmsg_endpoint_info_ExternalAPI.h as c/rpmsg_endpoint_info_ExternalAPI.h)
33
+
(rpmsg_endpoint_infoWrapper.c as c/rpmsg_endpoint_infoWrapper.c)
34
+
(rpmsg_endpoint_infoWrapper.h as c/rpmsg_endpoint_infoWrapper.h)
35
+
(rpmsg_endpoint_info_Fields.h as c/rpmsg_endpoint_info_Fields.h)
36
+
(rpmsg_endpoint_info_Fields.c as c/rpmsg_endpoint_info_Fields.c)
31
37
(EverParse.h as c/EverParse.h)
32
38
(EverParseEndianness.h as c/EverParseEndianness.h)))
+5
-5
c/rpmsg_endpoint_info.3d
+5
-5
c/rpmsg_endpoint_info.3d
···
1
1
extern typedef struct _WireCtx WireCtx
2
2
3
-
extern unit WireSetBytes(mutable WireCtx *ctx, UINT32 idx, UINT32 v)
3
+
extern unit rpmsg_endpoint_infoSetBytes(mutable WireCtx *ctx, UINT32 idx, UINT32 v)
4
4
5
-
extern unit WireSetU32(mutable WireCtx *ctx, UINT32 idx, UINT32 v)
5
+
extern unit rpmsg_endpoint_infoSetU32(mutable WireCtx *ctx, UINT32 idx, UINT32 v)
6
6
7
7
entrypoint
8
8
typedef struct _rpmsg_endpoint_info(mutable WireCtx *ctx)
9
9
{
10
-
UINT8 name[:byte-size 32] {:on-success WireSetBytes(ctx, (UINT32) 0, (UINT32) 0); return true; };
11
-
UINT32 src {:on-success WireSetU32(ctx, (UINT32) 1, src); return true; };
12
-
UINT32 dst {:on-success WireSetU32(ctx, (UINT32) 2, dst); return true; };
10
+
UINT8 name[:byte-size 32] {:on-success rpmsg_endpoint_infoSetBytes(ctx, (UINT32) 0, (UINT32) 0); return true; };
11
+
UINT32 src {:on-success rpmsg_endpoint_infoSetU32(ctx, (UINT32) 1, src); return true; };
12
+
UINT32 dst {:on-success rpmsg_endpoint_infoSetU32(ctx, (UINT32) 2, dst); return true; };
13
13
} rpmsg_endpoint_info;
14
14
15
15