Open emil14 opened 1 month ago
Is it possible to analyze code without port names currently or would this be a new mode of analysis?
I just figured out that this could only be possible for interfaces. Components must always provide some port names even if there's 1 in/outport. The reason is that we need to somehow refer to our own ports in the network.
Ofc it could be possible to have empty strings as port names and refer to them like :->:
but looks weird. Feels safer to avoid this.
Is it possible to analyze code without port names currently or would this be a new mode of analysis?
Analyzer will need some fixes if we will allow this but it's not rocket science :)
That could even be a enforced rule not to have port names for interfaces with one port on a side, that makes easier to implement that interface and makes code harder to broke after renaming stuff
In this case we don't care about the port names. It could make sense to allow any component where count ports and their type matches to implement this interface