1 个不稳定版本
0.1.0 | 2021年5月28日 |
---|
#34 在 #invariants
565 每月下载次数
在 slitter 中使用
4KB
disabled_contracts: https://crates.io/crates/contracts 的占位实现
合同宏对开发很有用。然而,对于性能敏感的代码,重要的是显然不会因注释而产生任何开销。
本crate中的占位宏有助于实现这一点:代码可以在它们和真实的contracts crate之间根据功能进行切换,而合同代码甚至不必再构建,因此任何检查逻辑的辅助工具也可以条件化。
lib.rs
:
contracts crate宏的显然无操作版本。
有关真实宏的语义,请参阅该crate。