如何设置条件使exposeConnector仅在选中SubModel_A时启用？

我的Modelica模型允许用户通过choices注释在多个可替换子模型中选择：

replaceable Interface.To.SubModels subModel annotation (
    choices(
      choice(redeclare SubModel_A  subModel "subModel A"),
      choice(redeclare SubModel_B  subModel "subModel B")) ;

子模型SubModel_A继承自Interface.To.SubModels，其接口包含专属的附加连接器MyConnector，可在模型层使用。模型层定义了布尔参数用于控制是否暴露与SubModel_A相连的条件连接器：

parameter Boolean exposeConnector=true ;
MyConnector myConnector if exposeConnector ;
...
connect(myConnector; subModel.myConnector);

我希望布尔参数exposeConnector仅在子模型设为SubModel_A时在用户界面中激活，比如使用annotation(Dialog(enable=CONDITION))，请问是否可行？若可行，CONDITION条件应如何编写？

解答 #

可行，通过判断子模型的类型即可实现该需求。

条件写法 #

修改exposeConnector的参数定义，添加Dialog注释并使用isInstanceOf函数作为激活条件：

parameter Boolean exposeConnector=true annotation(
    Dialog(enable=isInstanceOf(subModel, SubModel_A)));

关键说明 #

• isInstanceOf是Modelica标准库提供的函数，用于判断实例是否属于指定类型（或其子类型），刚好匹配子模型类型判断的场景。
• 要确保SubModel_A在当前模型作用域中可见（比如通过import语句导入），否则条件会触发错误。
• 当用户将子模型切换为SubModel_B时，exposeConnector参数会自动变为不可编辑状态，完全符合需求。

内容的提问来源于stack exchange，提问作者AngeliqueR