Non connected ports should be public by default
brice-morin opened this issue · comments
Brice Morin commented
In a thingml configuration, the port that are not connected by a connector should be public by default, and exposed through the public API.
Brice Morin commented
Current workaround: add @public "true"
on the ports that should be exposed:
my port
@public "true"
{
}
Brice Morin commented
ports should now be public by default unless you specify @public "false"