4 Apr
2012
4 Apr
'12
2:14 p.m.
Roman Ćapacz wrote:
Could you give a use case why we need it in the first place?
Use of Ports with isSink/isSource could be more intuitive for NSI.
Thanks, good enough for me :) I was just wondering if it had more profound implications, like disallowing certain statements (e.g. "if B is defined by someone else, you MUST NOT say A --(R)--> B, but MUST say B --(R')--> A."). If it is just syntactic sugar, I don't see a problem with it. MY only (minor) remark is that too much (syntactic) sugar is not good for us, as it makes NML more complex than it need to be. (In this case, we might want to check with the NSI folks if the current limitation is a problem or not). Regards, Freek