.net 4.0 代码契约-重写器因缺少引用而失败

我正在尝试为我拥有的一些库使用代码契约。我的库A引用了第三方库B。库C引用了A，从不使用B，也不使用使用B的A位。重写器虽然试图找到库B，但失败了。A的引用程序集存在，我希望重写器对此感到满意

除了把A中依赖于B的部分移到它自己的组件中之外，我还有什么想法可以构建它吗

---

编辑：回答一个问题，是的，a中存在公开B中类型的公共类型。我希望分析将在库a结束，并将B视为根本没有引用程序集（即，忽略它）。

似乎没有办法解决这个问题。在某些方面，我认为这很好，因为它可以帮助您了解第三方依赖项泄漏的位置。

似乎没有办法解决这一问题。在某些方面，我认为这很好，因为它可以帮助您了解第三方依赖项泄漏的位置。

A的公共接口是否包含B中定义的对象？@Jeffrey L Whitledge:我更新了我的问题，希望能为您澄清一些问题。A的公共接口是否包含B中定义的对象？@Jeffrey L Whitledge:我更新了我希望我的问题能为你们澄清一些事情。