文件名称：libhoare:Rust 的契约式断言设计
文件大小：18KB
文件格式：ZIP
更新时间：2024-06-19 03:40:46
Rust
LibHoare 通过契约式断言对设计的简单 Rust 支持。 支持 先决条件（ precond ）， 后置条件（ postcond ）， 不变量（前和后）（ invariant ）。 每个宏都采用作为字符串参数给出的谓词。 每个宏都在debug_版本中可用，它只检查调试版本中的断言，在非调试版本中它们应该是零开销。 您可以在后置条件中使用result来获取函数返回的值。 在进入功能时检查前提条件。 通过任何路径离开函数时都会检查后置条件。 （图书馆以托尼命名，而不是格雷登。或者更确切地说，它是以托尼命名的逻辑命名的）。 使用 libhoare 您可以通过添加将 libhoare 与 Cargo 一起使用 [ dependencies . hoare ] git = " https://github.com/nick29581/libhoare.git " 到您的项目货运清
【文件预览】：
libhoare-master
----.travis.yml(140B)
----readme.md(4KB)
----tests-cfail()
--------cfail-3.rs(679B)
--------cfail-2.rs(682B)
--------cfail-6.rs(675B)
--------cfail-1.rs(678B)
--------cfail-4.rs(680B)
--------cfail-5.rs(676B)
----tests()
--------test_trivial.rs(5KB)
--------test_with_methods.rs(1KB)
----test.sh(791B)
----Cargo.toml(272B)
----examples()
--------lexer.rs(6KB)
--------doc.rs(1KB)
--------hello.rs(1KB)
----.gitignore(18B)
----tests-release()
--------test_release.rs(749B)
----libhoare()
--------lib.rs(16KB)