Code Contracts Abbreviators do not work if placed in a separate assembly.

[voroninp]

We have moved frequent and common requirements to a separate assembly.
Contract.Requires<ArgumentNullException>(...) became just Requires.NotNull(...). so we have fewer typing in many places. Bu then we discovered that ccrewriter does not do its job. Abbreviators are simply ignored if they are called from another assembly.

[mike-barnett]

Have you generated a contract assembly for the one containing the abbreviators? And is that contract assembly found by the rewriter when it is writing the assembly that calls the abbreviator?

Thanks,

Mike

From: Pavel Voronin [mailto:notifications@github.com]
Sent: Tuesday, March 17, 2015 5:46 AM
To: Microsoft/CodeContracts
Subject: [CodeContracts] Code Contracts Abbreviators do not work if placed in a separate assembly. (#23)

We have moved frequent and common requirements to a separate assembly.
Contract.Requires(...) became just Requires.NotNull(...). so we have fewer typing in many places. Bu then we discovered that ccrewriter does not do its job. Abbreviators are simply ignored if they are called from another assembly.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/23.

[voroninp]

Mike, thank you. The option for building Contract Reference Assembly was None.
Now everything works fine.