在节目中隐藏签名

Question

我可以在显示模型时隐藏已使用的签名吗（当我执行“pred show{} 运行 8 英寸的节目）？ 对于已使用的签名，我的意思是没有箭头连接的签名。

例如：

抽象信号类型消息{}

one sig RichiestaLogin, RichiestaRegistrazione, RichiestaShell

不深入我的代码的细节，有些实例我使用消息类型和其他实例使用它们，因此有些实例保持未连接。 我不会在我的模型图中显示这些实例未连接。

Answer 1

如果您不希望它们出现在您的模型中，请限制您的模型（或者最好是“显示”谓词）以排除具有未连接原子的模型（其中“连接”表示您想要的任何含义）。

如果你真的想在模型实例中允许它们，但只是从显示中排除它们，你可以定义一个 TypeMessage 的子集，它只包含那些未连接的 TypeMessage 原子。然后自定义您的显示主题以禁止显示该集合的成员。

如果唯一的问题是您发现未连接的原子会分散注意力，我会尝试学习不要被它们分散注意力。