如何在合金中使用琴弦？

Question

如何在合金中使用琴弦？

Alloy支持String的哪種函數或運算符？

我在這里搜索問題，發現String是Alloy中的關鍵字。 但是我找不到關於如何在Alloy中使用String的任何參考。 你能給一個嗎？ 如果沒有，可以簡要介紹一下合金中的弦嗎？

Answer 1

實際上，您可以在Alloy中使用字符串，但只能將其用作文字來指定常量值（即，不支持任何字符串操作，並且Alloy不實現字符串求解器）。 就是說，字符串的主要用途是Alloy，這是將常量字符串文字分配給某些字段，其唯一目的是使生成的實例在可視化時更具可讀性。 這是一個簡單的例子

sig Person {
  name: String,
  email: String
}
one sig P1 extends Person {} {
  name = "Joe"
  email = "joe@email.com"
}
run {
  some p: Person | p.name != "Joe"
}