如何在Alloy中使用String?
Alloy支持String的哪种函数或运算符?
我在这里搜索了问题,发现String是Alloy中的关键字 . 但是我找不到关于如何在Alloy中使用String的任何参考 . 你能给一个吗?如果没有,可以简要介绍一下合金中的String吗?
您实际上可以在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" }
1 回答
您实际上可以在Alloy中使用字符串,但仅作为文字来指定常量值(即,不支持任何字符串操作,并且Alloy不实现字符串解算器) . 也就是说,字符串的主要用途是将常量字符串文字分配给某些字段,其唯一目的是使可视化时生成的实例更具可读性 . 这是一个简单的例子