![](/img/trans.png)
[英]Does C# have a way to write an object with int fields (byte, ushort, ulong, etc.) as a byte array?
[英]Alloy: facts etc. about Int
我最近和Alloy合作。 我可以這樣說:
fact{
all i: Int | i >= 0
}
我想說:Alloy使用的所有整數都應該是正數。 合金不會失敗,但也不給我實例。
問候
你現在不能這么說。 您可以為整數指定的唯一范圍(告訴Alloy哪個整數為“use”)是位寬(例如, 4 Int
); 然后,合金總是使用該位寬內的所有整數(例如,對於4位的位寬,使用的整數是-8, ..., 7
)。
如果模型中有Int類型的字段,則可以使用事實(如上所述)來限制其值:
sig S { i: Int }
fact { all s: S | s.i >= 0 }
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.