Automatically validate manual SwIPCs against auto.id

Open roblabla opened this issue 7 years ago • 2 comments

As shown by https://github.com/reswitched/SwIPC/pull/25, there are a number of mistakes in the manually written IPC definition files. Thankfully, the automated process with which auto.id was generated means that we have something to check them against. As such, we should write a script that ensures the validity of all manual SwIPC files !

Mar 01 '18 14:03 roblabla

This is a list of "lints" that I made working on SwIPC stuff a while ago:

[ ] handle should have move/copy
[ ] buffer size should match size of type
[ ] buffer transfer type should be valid
[ ] buffer should be correctly placed in "in" values or "out" values
[ ] buffer size should not be zero

Aug 15 '18 06:08 misson20000

We now have a verifier.py whose goal will be to do the linting. It runs in travis. It currently only checks for duplicate function names in interfaces (while taking versions into account).

Aug 15 '18 17:08 roblabla