We declare ports in the code, when creating an Instance, and also in the yMMSL file. That's inevitable, and there can be cases where either is missing, but if both are specified then the manager should check that they are identical, and stop with an error message if they are not, or things get very confusing.
We declare ports in the code, when creating an
Instance
, and also in the yMMSL file. That's inevitable, and there can be cases where either is missing, but if both are specified then the manager should check that they are identical, and stop with an error message if they are not, or things get very confusing.