在Show中隐藏签名

Question

我可以在显示模型时隐藏未使用的签名（当我执行“pred show {”时 跑秀8“）？ 对于未使用的签名，我指的是没有箭头连接的签名。

例如：

abstract sig TypeMessage {}

一个sig RichiestaLogin，RichiestaRegistrazione，RichiestaShell

不进入我的代码的细节，有些实例我使用了消息类型和其他使用它们的实例，因此某些情况仍未连接。 我不会在我的模型图中显示那些实例没有连接。

Answer 1

如果你不想在你的模型中使用它们，那么约束你的模型（或者更好的是'show'谓词）来排除具有未连接原子的模型（其中'连接'意味着你想要的意思）。

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

如果唯一的问题是你发现未连接的原子分散注意力，我会尽量学会不被它们分心。