首页 文章

如何在Alloy中使用String?

提问于
浏览
0

如何在Alloy中使用String?

Alloy支持String的哪种函数或运算符?

我在这里搜索了问题,发现String是Alloy中的关键字 . 但是我找不到关于如何在Alloy中使用String的任何参考 . 你能给一个吗?如果没有,可以简要介绍一下合金中的String吗?

1 回答

  • 2

    您实际上可以在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"
    }
    

相关问题