c# - .NET Code Contracts - ProjectA.exe cannot find ProjectB.Contracts.dll when both are in same solution -

-

i have c# solution in vs2013, code contracts extension installed. in solution have application project (projecta) , class library project (projectb). projecta references projectb, , of projectb's public members have contracts associated them.

i can access of projectb's members projecta without issue, on 1 property getting filenotfoundexception, message "could not load file or assembly 'projectb.contracts, version=....' or 1 of dependencies."

here fusion log has say:

=== pre-bind state information ===

log: displayname = [solutionname].projectb.contracts, version=1.0.5953.23121, culture=neutral, publickeytoken=null (fully-specified)

log: appbase = [solutiondir]/[solutionname].projecta/bin/debug/

log: initial privatepath = null calling assembly : [solutionname].projectc, version=1.0.5953.23122, culture=neutral, publickeytoken=null.

xxx

log: bind starts in default load context.

log: using application configuration file: [mydocuments][solutionname][solutionname].projecta\bin\debug[solutionname].projecta.vshost.exe.config

log: using host configuration file:

log: using machine configuration file c:\windows\microsoft.net\framework64\v4.0.30319\config\machine.config.

log: policy not being applied reference @ time (private, custom, partial, or location-based assembly bind).

log: attempting download of new url [solutiondir]/[solutionname].projecta/bin/debug/[solutionname].projectb.contracts.dll.

log: attempting download of new url [solutiondir]/[solutionname].projecta/bin/debug/[solutionname].projectb.contracts/[solutionname].projectb.contracts.dll.

log: attempting download of new url [solutiondir]/[solutionname].projecta/bin/debug/[solutionname].projectb.contracts.exe.

log: attempting download of new url [solutiondir]/[solutionname].projecta/bin/debug/[solutionname].projectb.contracts/[solutionname].projectb.contracts.exe.

the references in solution standard framework libraries, other projects in solution, , 1 other first-party library (which references system.dll). i've tried cleaning , rebuilding projects in solution, other first-party library.

i confused several reasons.

  1. in output window, can see of projecta , projectb's references (and references) have been loaded.
  2. other seemingly similar methods , properties similar contracts not causing issues. also, i've been using code contracts months in several solutions , haven't run yet.
  3. shouldn't contract code recompiled projectb.dll? why projecta need know there .contracts library? (other intellisense , static analysis)

does know might going on here?

edit: projects in solution targeting .net 4.0 , "any cpu".

here few things tried didn't work:

on project settings projecta, on code contracts tab, tried adding ...projectb\bin\debug\codecontracts field extra contract library paths. did not change anything.

i tried manually adding reference projectb.contacts.dll. turned filenotfoundexception missingmethodexception. made me think issue perhaps due error code contracts rewriter. enter ilspy.

the contract causing issue in original source code:

contract.requires<argumentnullexception>(collection.all(x => x != null));

but had put in contract abbreviator method this:

public static class precondition {     [contractabbreviator]     public static void notisorhasnull<t>(ienumerable<t> collection){         contract.requires<argumentnullexception(collection != null,                "collection cannot null.");         contract.requires<argumentnullexception>(collection.all(x => x != null),              "collection cannot contain null.");     } }

and called in class this:

public class class1{     public void dostuff(ienumerable<t> collection){         precondition.notisorhasnull(collection);         foreach (var x in collection){             //stuff         }     } }

when viewing troublesome method call in ilspy, saw trying call instance method named class1.notisorhasnull, instead of static method precondition.notisorhasnull.

the solution:

i changed precondition class move linq expression own pure function, , change contract abbreviator call method.

public static class precondition {      [pure]     public static boolean collectioncontainsnull(ienumerable<t> collection){         contract.requires<argumentnullexception(collection != null);          if (typeof(t).isvaluetype)             return false;          return collection.any(x => object.equals(x, null));     }      [contractabbreviator]     public static void notisorhasnull<t>(ienumerable<t> collection){         contract.requires<argumentnullexception(collection != null,                "collection cannot null.");         contract.requires<argumentnullexception>(!collectioncontainsnull(collection)),              "collection cannot contain null.");     } }

now method call in class1 works , il looks correct in ilspy.

+1 ilspy!


Comments

Post a Comment

Popular posts from this blog

java - nested exception is org.hibernate.exception.SQLGrammarException: could not extract ResultSet Hibernate+SpringMVC -

-
i trying fetch records database , having above error this classs appropriate getters , setters public class user { private int id; private string username; private string password; private string email; i have create database , inserted data below configuration <bean id="datasource" class="org.apache.commons.dbcp2.basicdatasource" destroy-method="close"> <property name="driverclassname" value="com.mysql.jdbc.driver"/> <property name="url" value="jdbc:mysql://localhost:3306/usersdb"/> <property name="username" value="root"/> <property name="password" value=""/> </bean> this complete stacktrace severe: servlet.service() servlet [appservlet] in context path [/spring] threw exception [request processing failed; nested exception org.hibernate.exception.sqlgrammarexception: not ...
Read more

sql - Postgresql tables exists, but getting "relation does not exist" when querying -

-
Image
i have postgresql db number of tables. if query: select column_name information_schema.columns table_name="my_table"; i list of columns returned properly. however, when query: select * "my_table"; i error: (programmingerror) relation "my_table" not exist 'select *\n "my_table"\n' {} any thoughts on why can columns, can't query table? goal able query table. you have include schema if isnt public one select * <schema>."my_table" or can change default schema show search_path; set search_path my_schema; check table schema here select * information_schema.columns for example if table on default schema public both works ok select * parroquias_region select * public.parroquias_region but sectors need specify schema select * map_update.sectores_point
Read more

asp.net mvc - breakpoint on javascript in CSHTML? -

-
i have .cshtml file has javascript tag. within script tag have few lines of javascript. first line of javascript refers property in @viewbag. other javascript lines plain script without mvc related references. observation: can place breakpoints (visual studio 2015) on each of these javascript lines. however, breakpoints has white dot in center of breakpoint symbol (red circle) except line @viewbag reference (this particular line not have white dot in center). it seems breakpoint without white dot hit during run-time. question: can explain going on here? white dot mean? why plain red breakpoint line line hitting breakpoint? the visual studio debugger expecting debug actual server-side code within .cshtml file opposed client-side javascript within it. iirc, visual studio allow debug javascript code expected in internet explorer (and possibly edge), other browsers want use either third-party tool or developer tools (f12) within browser. an easy approach take advant...
Read more