如何在语言的具体语法定义中使用Images

Question

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

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

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

但不显示图像（我改为红色十字架）。

我做错了什么？

Answer 1

“IMAGE”概念的“url”属性需要设置为有效的URL。

您可以使用“file：///path/to/image.png”来引用计算机上的图像。

此外，还可以使用Eclipse Platform URLs来引用Eclipse工作区内的文件，例如。 “平台：/resource/MyLightningProject/MyLanguage/image.png”