Alloy技术咨询：如何通过Magic Layout将整数属性嵌入实例显示

• 你推测的原因没错：整数属于Alloy内置基本类型，默认可视化规则不会自动将其与自定义sig属性同等对待，因此需要手动配置才能嵌入实例显示，具体有两种方法：
  1. 可视化界面配置：打开实例可视化窗口后，点击右上角的齿轮图标进入设置，找到对应Socket sig的展示配置项，在「要在实例内部显示的属性」列表里手动添加socketID，保存设置后重新渲染实例即可。
  2. 代码注释配置：直接在Socket sig定义后添加--@layout注释，显式指定要嵌入的属性，示例代码如下：

     sig Socket {
       occupied: Bool,
       type: Type,
       socketID: Int
     } --@layout(show inside: occupied, type, socketID)
     

  两种方式都能让整数类型的socketID嵌入到Socket实例内部展示，避免冗余的关系连线。

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