hide - 在节目中隐藏签名

Question

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

例如：

抽象信号 TypeMessage{}

一个 sig RichiestaLogin, RichiestaRegistrazione, RichiestaShell

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

Answer 1

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

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

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