Question

我正在尝试学习Microsoft Code Contracts库的方法，并且我有以下简单的功能：

internal static Engine CreateBuildEngine(Microsoft.Build.Framework.ILogger logger)
{
    Contract.Requires( logger != null );

    var engine = new Engine { DefaultToolsVersion = "3.5" };
    engine.RegisterLogger(logger);
    return engine;
}

尝试编译时，合同静态编译器会抛出以下警告消息：

warning : contracts: Assembly load resulted in metadata import 'Could not resolve member reference: Microsoft.Build.BuildEngine.Engine::set_DefaultToolsVersion.'

然后立即放弃（并且不会尝试进行任何进一步的合同处理）。如果我删除设置DefaultToolsVersion的代码，那么合同验证程序正常工作，但这是毫无意义的，因为它会导致代码不正确。

我在谷歌上找不到任何提及...有什么方法可以解决这个问题，还是只是合同库中的一个错误？（诚然，它处于释前状态）

由于

Microsoft合同：程序集加载导致元数据导入警告

0 个答案: