ReSharper 4.5 and Microsoft Code... :: JetBrains Developer Community

Up to Discussions in ReSharper Community

This Question is Possibly Answered

1 "correct" answer available (4 pts) 2 "helpful" answers available (2 pts)

6 Replies Last post: May 30, 2010 9:37 PM by Jakob Christensen

Alexander Nikitin

1 posts since
Sep 20, 2009

Currently Being Moderated

Sep 20, 2009 7:38 PM

ReSharper 4.5 and Microsoft Code Contracts

What should I do for the Resharper to pick up Contract.Assume/Require/Invariant as the not-null check?

Creating custom XML for Microsoft.Contracts.dll containing annotations like the following won't help.

Also, note that WYSIWYG editor in the forum wont display at all in Opera 10 and looks horribly corrupted in IE8 (can't get the code formatting to work properly at all)

member name="M:Microsoft.Contracts.Contract.Assume(System.Boolean)">

attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/>

parameter name="condition">

attribute ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)">

argument>0</argument>

attribute>

parameter>

member>

Tags: inspection, vs2008, code_contracts, code_annotations, nullcheck

Andrey Serebryansky

2,739 posts since
Jan 12, 2005

Currently Being Moderated

Sep 22, 2009 12:51 PM

in response to: Alexander Nikitin

Re: ReSharper 4.5 and Microsoft Code Contracts

Hello Alexander

Could you please attach your .xml file for Microsoft.Contracts.dll? Thank you!

Andrey Serebryansky

Support Engineer

JetBrains, Inc

http://www.jetbrains.com

"Develop with pleasure!"

Report Abuse

Leonardo Rocha

1 posts since
May 28, 2010

Currently Being Moderated

May 28, 2010 12:48 PM

in response to: Andrey Serebryansky

Re: ReSharper 4.5 and Microsoft Code Contracts

Hi Andrey,

I have the same problem as Mike ( in the same thread ) with Microsoft Code Contracts and ReSharper 5:

1. Would you send me the xml file that fix it or there's another solution?

2. How do I use the xml file?

Thanks,

Leo

Report Abuse

David Mann

23 posts since
Aug 7, 2003

Currently Being Moderated

Sep 22, 2009 5:34 PM

in response to: Alexander Nikitin

Re: ReSharper 4.5 and Microsoft Code Contracts

Editor works fine in Opera 10 if you go to site preferences and select identify as firefox. The site needs to not treat opera differently, as that is a real pain!

Report Abuse

Mike Strobel

Currently Being Moderated

Sep 22, 2009 8:04 PM

in response to: Alexander Nikitin

Re: ReSharper 4.5 and Microsoft Code Contracts

Hi Alexander,

I've attached the XML I created for use with the Microsoft Code Contracts

library. I hope it works for you.

Cheers,

Mike

"Alexander Nikitin" <no_reply@jetbrains.com> wrote in message

news:8944679.30591253461146978.JavaMail.clearspace@app8.labs.intellij.net...

What should I do for the Resharper to pick up
Contract.Assume/Require/Invariant as the not-null check?
Creating custom XML for Microsoft.Contracts.dll containing annotations
like the following won't help.

Also, note that WYSIWYG editor in the forum wont display at all in Opera
10 and looks horribly corrupted in IE8 (can't get the code formatting to
work properly at all)

<

member name="M:Microsoft.Contracts.Contract.Assume(System.Boolean)"><

attribute ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/><

parameter name="condition"><

attribute
ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"><

argument>0</argument></

attribute></

parameter></

member>

---
Original message URL:
http://www.jetbrains.net/devnet/message/5245532#5245532

Mike Strobel

Currently Being Moderated

Sep 23, 2009 2:08 AM

in response to: Mike Strobel

Re: ReSharper 4.5 and Microsoft Code Contracts

Apologies, it seems the attachment didn't survive the migration from the

newsgroups to the forums. Here is a link:

http://72.167.90.173/Microsoft.Contracts.xml.zip

Cheers,

Mike

"Mike Strobel" <mike.strobel@gmail.com> wrote in message

news:h9asj2$hti$1@is.intellij.net...

Hi Alexander,

I've attached the XML I created for use with the Microsoft Code Contracts
library. I hope it works for you.

Cheers,
Mike

"Alexander Nikitin" <no_reply@jetbrains.com> wrote in message
news:8944679.30591253461146978.JavaMail.clearspace@app8.labs.intellij.net...

>> What should I do for the Resharper to pick up

>> Contract.Assume/Require/Invariant as the not-null check?

>> Creating custom XML for Microsoft.Contracts.dll containing annotations

>> like the following won't help.

>> Also, note that WYSIWYG editor in the forum wont display at all in Opera

>> 10 and looks horribly corrupted in IE8 (can't get the code formatting to

>> work properly at all)

>> <

>> member name="M:Microsoft.Contracts.Contract.Assume(System.Boolean)"><

>> attribute

>> ctor="M:JetBrains.Annotations.AssertionMethodAttribute.#ctor"/><

>> parameter name="condition"><

>> attribute

>> ctor="M:JetBrains.Annotations.AssertionConditionAttribute.#ctor(JetBrains.Annotations.AssertionConditionType)"><

>> argument>0</argument></

>> attribute></

>> parameter></

>> member>

>> ---

>> Original message URL:

>> http://www.jetbrains.net/devnet/message/5245532#5245532

Jakob Christensen

215 posts since
Oct 7, 2004

Currently Being Moderated

May 30, 2010 9:37 PM

in response to: Alexander Nikitin

Re: ReSharper 4.5 and Microsoft Code Contracts

This StackOverflow article helped me a lot:

http://stackoverflow.com/questions/929859/resharper-possible-null-assignment-when-using-microsoft-contracts

--Jakob

Report Abuse

Go to original post

This Question is Possibly Answered

Sep 20, 2009 7:38 PM

ReSharper 4.5 and Microsoft Code Contracts

Actions

More Like This