HEADS-project / heads_ide

Home Page:http://heads-project.eu

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Non connected ports should be public by default

brice-morin opened this issue · comments

In a thingml configuration, the port that are not connected by a connector should be public by default, and exposed through the public API.

Current workaround: add @public "true" on the ports that should be exposed:

my port 
@public "true"
{

}

ports should now be public by default unless you specify @public "false"