genodelabs / goa

Tool for streamlining the development of Genode applications
GNU Affero General Public License v3.0
19 stars 17 forks source link

Throw an error on sessions that can not be provided from "requires" node #34

Closed l-johanson closed 1 year ago

l-johanson commented 1 year ago

Analog to the extended validation of elements in the <parent-provides>-node in runtime-files worked on in #26 , I would like to extend the validation to throw an error on sessions from the <requires>-node, which can not be provided.

For example the following vm session reference would not trigger a validation error in the runtime-file:

<requires>
    <vm/>
    <timer/>
</requires>

This would speed up debugging for users a lot and especially help eliminating first frustrations with the tooling.

Would you like to implement this or if not, are there any valuable hints you might give me concerning the implementation?

Kind regards, Lars

jschlatow commented 1 year ago

Fixed by #44