Lightning workbench 如何在语言的具体语法定义中使用图像

在LightningVLM模块中，有一个带有url属性的图像概念

我试图在我的F-Alloy规范中写下以下内容：

guard_mapImage(n:Node,i:IMAGE){
     i.url="/path/to/myImage.png"
}

但图像不显示（我得到的是红色十字）

我做错了什么？

需要将“图像”概念的“url”属性设置为有效的url

你可以用“file:///path/to/image.png“引用计算机上的图像

此外，还可以使用来引用Eclipse工作区内的文件，例如“platform:/resource/MyLightningProject/MyLanguage/image.png”