|
|
1
4
我知道 Mono.Cecil ,一个扩展System.Reflection工具集的框架库,由 Lin Fu 项目 我不确定构建过程支持,您应该查看它们的大小。 |
|
|
2
4
.NET 4.0包括 code contracts MicrosoftResearch的项目,它对方法的前/后条件执行运行时(和一些编译时)断言。断言在库中实现,而.NET编译器在IL中作为方法调用发出前置/后置条件。然而,由于契约通常是在方法的开头指定的,因此辅助工具需要重写IL,以将断言置于正确的顺序和位置。
(我找不到有关这些工具的任何其他技术信息) 我还没有使用VisualStudio2010,但我已经看到了代码契约特性的演示,它集成到IDE构建过程中。cccheck必须始终运行,如果生成的程序集中存在合同,则返回代码。如果它们存在,代码将表示应该运行ccrewrite。 |
|
|
3
3
|
|
|
4
1
Fody 是一个可扩展的工具,用于基于插件体系结构编织.net程序集。 |