Code Contracts with WPF references (VS Beta 1)
unfortunately, can't compile solution. i'm getting an error:
--- error list ---
error 1 unresolved assembly reference not allowed: windowsbase.
c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core.wpf.mvvm\ccrewrite vvmf.core.wpf.mvvm
error 2 the command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1. vvmf.core.wpf.mvvm
--- output ---
ccrewrite : error : unresolved assembly reference not allowed: windowsbase.
system.invalidoperationexception: unresolved assembly reference not allowed: windowsbase.
@ system.compiler.ir2md.getassemblyrefindex(assemblynode assembly)
@ system.compiler.ir2md.gettyperefindex(typenode type)
@ system.compiler.ir2md.visitreferencedtype(typenode type)
@ system.compiler.ir2md.visitmethod(method method)
@ system.compiler.ir2md.visit(node node)
@ system.compiler.ir2md.visitclass(class class)
@ system.compiler.ir2md.visit(node node)
@ system.compiler.ir2md.visitmodule(module module)
@ system.compiler.ir2md.setupmetadatawriter(string debugsymbolslocation)
@ system.compiler.ir2md.writepe(module module, string debugsymbolslocation, binarywriter writer)
@ system.compiler.writer.writepe(string location, boolean writedebugsymbols, module module, boolean delaysign, string keyfilename, string keyname)
@ system.compiler.module.writemodule(string location, boolean writedebugsymbols)
@ microsoft.contracts.foxtrot.driver.program.mikesarchitecture(assemblynode assemblynode, contractnodes contractnodes)
@ microsoft.contracts.foxtrot.driver.program.internalmain(string[] args)
elapsed time: 5465ms
c:\program files (x86)\microsoft\contracts\msbuild\v4.0\microsoft.codecontracts.targets(123,9): error msb3073: command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1.
of course, windowsbase added solution.
--- error list ---
error 1 unresolved assembly reference not allowed: windowsbase.
c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core.wpf.mvvm\ccrewrite vvmf.core.wpf.mvvm
error 2 the command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1. vvmf.core.wpf.mvvm
--- output ---
ccrewrite : error : unresolved assembly reference not allowed: windowsbase.
system.invalidoperationexception: unresolved assembly reference not allowed: windowsbase.
@ system.compiler.ir2md.getassemblyrefindex(assemblynode assembly)
@ system.compiler.ir2md.gettyperefindex(typenode type)
@ system.compiler.ir2md.visitreferencedtype(typenode type)
@ system.compiler.ir2md.visitmethod(method method)
@ system.compiler.ir2md.visit(node node)
@ system.compiler.ir2md.visitclass(class class)
@ system.compiler.ir2md.visit(node node)
@ system.compiler.ir2md.visitmodule(module module)
@ system.compiler.ir2md.setupmetadatawriter(string debugsymbolslocation)
@ system.compiler.ir2md.writepe(module module, string debugsymbolslocation, binarywriter writer)
@ system.compiler.writer.writepe(string location, boolean writedebugsymbols, module module, boolean delaysign, string keyfilename, string keyname)
@ system.compiler.module.writemodule(string location, boolean writedebugsymbols)
@ microsoft.contracts.foxtrot.driver.program.mikesarchitecture(assemblynode assemblynode, contractnodes contractnodes)
@ microsoft.contracts.foxtrot.driver.program.internalmain(string[] args)
elapsed time: 5465ms
c:\program files (x86)\microsoft\contracts\msbuild\v4.0\microsoft.codecontracts.targets(123,9): error msb3073: command ""c:\program files (x86)\microsoft\contracts\bin\ccrewrite" /level:4 /rewrite /libpaths:"c:\program files (x86)\microsoft\contracts\contracts;c:\program files (x86)\reference assemblies\microsoft\framework\.netframework\v4.0\;c:\users\janka jános\documents\visual studio 10\projects\vvmf.core\vvmf.core\bin\debug\ " "vvmf.core.wpf.mvvm.dll"" exited code -1.
of course, windowsbase added solution.
can check see windowsbase.dll on machine? in 1 of directories listed in /libpaths argument ccrewrite? if not, have add directory libpaths pane in code contracts part of property page. please let me know if works you. sorry problem!
DevLabs > Code Contracts
Comments
Post a Comment