lightning-workbench

2熱度

1回答

如何在語言的具體語法定義中使用圖像

在LightningVLM模塊中，有一個帶有url屬性的IMAGE概念。 我在F-合金規範試着寫： guard_mapImage(n:Node,i:IMAGE){ i.url="/path/to/myImage.png" } ，但不顯示圖像（我得到的紅叉代替）。 我做錯了什麼？

lightning-workbench f-alloy 2015-10-23

---

0熱度

1回答

針對語義steps.fals選擇哪種語法作爲目標和源模塊？

對於初始化steps.fals時應選擇哪些部分作爲源模塊和目標模塊的語義部分 - 抽象或具體語法？

lightning-workbench f-alloy 2016-11-28

---

1熱度

1回答

具體語法 - 對關係領域

連接器I具有以下特徵： abstract sig Node{ arc: set Node} 是否有可能在一種指定圓弧關係作爲具體語法關係的連接器？ sig P extends Node{token:Int}{tokens>=0} 它也可以幫助我上面的情況，令牌字段。 最佳，

lightning-workbench f-alloy 2015-11-16

---