SergeyTeplyakov ReSharperContractExtensions issues

SergeyTeplyakov / ReSharperContractExtensions

Set of extensions for R# that simplifies Design by Contract programming using Code Contracts.

MIT License

69 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Unlist 0.9.1.5 from ReSharper plugin gallery

#63 citizenmatt opened 8 years ago
2
Support for Resharper 2016.1

#62 bendup opened 8 years ago
3
Not working at all in ReSharper 10

#61 NameOfTheDragon closed 8 years ago
10
Correct misspelled "Contract"

#60 charlesbetros closed 9 years ago
1
nameof() is not recognized as valid constant

#59 remyblok closed 9 years ago
3
Add or update contract class for 'Interface' is broken

#58 tom-englert closed 3 years ago
5
Extension breaks R#'s (9.2) Quickfix functionality

#57 breki closed 9 years ago
12
Extension not working in ReSharper 9.2

#56 rancomarcus closed 9 years ago
6
For ReSharper 9 plugin is causing exception on every start. Duplicating confiugurable severity id 'Custom Warning for legacy contracts'

#55 van800 closed 9 years ago
2
CanBeNull / NotNull annotations support

#54 t-denis opened 9 years ago
3
Option page is not available in R# 9.1

#53 remyblok opened 9 years ago
1
Move extension's actions lower in the quick-fixes menu

#52 hazzik opened 9 years ago
0
[ContractInvariantMethod] should suppress CA1822

#51 tom-englert closed 3 years ago
2
ReSharper 9

#50 sliekens opened 9 years ago
25
Add Contract.Requires(!String.IsNullOrEmpty(arg)) action

#49 denwanke opened 10 years ago
5
False-positive "Preconditions in method with iterator block"

#48 denwanke closed 10 years ago
6
Version 0.9.0 causes a weird inspection "error"

#47 denwanke closed 10 years ago
2
Support for Indexed Properties

#46 sliekens closed 10 years ago
5
Create a fix that remove redundant precondition in overriden method

#45 SergeyTeplyakov opened 10 years ago
0
Warn if overriden method contains precondition

#44 SergeyTeplyakov opened 10 years ago
0
Bogus Malformed Method Contract Error

#43 mcetkovsky closed 10 years ago
4
Tool doesn't show an error for incompatible return type with Contract.Ensures in property

#42 SergeyTeplyakov closed 10 years ago
1
Attached attributes are separated by comma, but no following whitespace

#41 pinebit opened 10 years ago
1
Fix that will split precondition check and async method

#40 SergeyTeplyakov opened 10 years ago
0
Warn for using precondition in async method

#39 SergeyTeplyakov closed 10 years ago
1
Fix that split precondition check and method with iterator block

#38 SergeyTeplyakov opened 10 years ago
0
Warn for using precondition in iterator block

#37 SergeyTeplyakov closed 10 years ago
1
overidden methods shouldn't be able to add requires

#36 tankbob opened 10 years ago
1
Hides Copy Comments from base

#35 tankbob opened 10 years ago
2
Error for inconsistent Contract.Result and method return type

#34 SergeyTeplyakov closed 10 years ago
1
Generate contstructor for generated contract classes if necessary

#33 SergeyTeplyakov closed 10 years ago
0
Exclude ContractAbbreviation method from prohibited methods in the contract block

#32 SergeyTeplyakov closed 10 years ago
1
Set ExcludeFromCodeCoverageAttribute to contract classes

#31 pinebit closed 10 years ago
6
Quick fix for Contract.Requires/Ensures after EndContractBlock

#30 SergeyTeplyakov closed 10 years ago
0
Quick fix for Requiers after Ensures

#29 SergeyTeplyakov closed 10 years ago
0
Quick fix for malformed contract block

#28 SergeyTeplyakov closed 10 years ago
1
Treat Contract.EnsuresOnThrow as Contract.Ensures for any contract validation logic

#27 SergeyTeplyakov closed 10 years ago
1
Error for using Contract.Requires/Ensures or postcondition in invalid context

#26 SergeyTeplyakov closed 10 years ago
1
Warn for non-void return method in contract block

#25 SergeyTeplyakov closed 10 years ago
1
Create a quick fix that will move invalid statement out of the contract block

#24 SergeyTeplyakov closed 10 years ago
1
[Code Contract Bug] Access to the field treated as part of precondition

#23 SergeyTeplyakov opened 10 years ago
0
Warn for using Contract.Requires/Contract.Ensures in inner statements

#22 SergeyTeplyakov closed 10 years ago
1
Error when Contract.Requires/Ensures used after EndContractBlock

#21 SergeyTeplyakov closed 10 years ago
1
Warn for using Contract.Requires/Contract.Ensures in inner statements

#20 SergeyTeplyakov closed 10 years ago
1
Warn for inconsistent invariant

#19 SergeyTeplyakov opened 10 years ago
0
Warn for using event in precondition

#18 SergeyTeplyakov closed 10 years ago
1
Convert from if-throw to Contract.Requires skips method calls in message

#17 SergeyTeplyakov closed 10 years ago
0
BUG: CodeContract on Generic Interface

#16 Beaker73 closed 10 years ago
2
Error when contract validator method contains Contract.Requires/Ensures

#15 SergeyTeplyakov opened 10 years ago
2
Warn for using less accessible members in guards

#14 SergeyTeplyakov opened 10 years ago
0