CodeContracts
Roslynator
CodeContracts | Roslynator | |
---|---|---|
3 | 17 | |
850 | 2,972 | |
- | 0.8% | |
0.0 | 9.3 | |
over 5 years ago | 9 days ago | |
C# | C# | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
CodeContracts
-
Remembering Bell Labs as legendary idea factory prepares to leave N.J. home
compile-time part of system could support any assertion represented as a pure-function - think of it as C#'s take on Ada's assertions, improved tenfold, and it even shipped for a now-unsupported older version of C# and .NET: https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...
...and it was axed in .NET Core back in 2016 and hasn't been seen since: https://github.com/microsoft/CodeContracts/issues/409
Had Microsoft put more backing behind it, then C# could present itself as a language to supplant Ada in safety-critical applications, and replace C/C++ in other applications.
I have hope the feature will come back one-day - there are whole slews of bugs that can be eliminated (such as when passing EF entity types around with unintentionally null member-properties).
-
Lean4 helped Terence Tao discover a small bug in his recent paper
Code correctness is a lost art. I requirement to think in abstractions is what scares a lot of devs to avoid it. The higher abstraction language (formal specs) focus on a dedicated language to describe code, whereas lower abstractions (code contracts) basically replace validation logic with a better model.
C# once had Code Contracts[1]; a simple yet powerful way to make formal specifications. The contracts was checked at compile time using the Z3 SMT solver[2]. It was unfortunately deprecated after a few years[3] and once removed from the .NET Runtime it was declared dead.
The closest thing C# now have is probably Dafny[4] while the C# dev guys still try to figure out how to implement it directly in the language[5].
[1] https://www.microsoft.com/en-us/research/project/code-contra...
[2] https://github.com/Z3Prover/z3
[3] https://github.com/microsoft/CodeContracts
[4] https://github.com/dafny-lang/dafny
[5] https://github.com/dotnet/csharplang/issues/105
- #if WINDOWS : use GetAsncyKeyState
Roslynator
-
Roslynator VS Metalama - a user suggested alternative
2 projects | 7 Dec 2023
-
does anyone have a working csharp-language-server setup they can share?
There's also this project https://github.com/JosefPihrt/Roslynator that can add even more analyzers.
-
What do you think about formatting contents in parenthesis like contents in braces?
It does. Nearly every style guide I've seen for any language that allows this prefers this style. I personally prefer it when such structures are needed, but would suggest following it just for consistency and the practical benefits.
-
top 5 things every c# developer should know
Roslynator.Analyzers
-
How to write clear and robust unit tests: the dos and don'ts
The reason I say 'similar' above is that though you may treat it as production code, there are some things in the nature of writing tests that may require different coding standard to be enforced. A good example of this is the RCS1046 analyzer, enforcing names of asynchronous methods to be suffixed with 'Async'; in this case it would be acceptable to override this rule (with an .editorconfig for example) so that you're method name continues to describe the behaviour of the application, and we don't have tests named like public async Task My_descriptive_method_name_async().
-
Linting async method declarations
You can write Roslyn analyzer but you can also simply use this set of analyzers: https://github.com/JosefPihrt/Roslynator. It has analyzers for both async method not ending with Async and non-async methods ending with Async.
-
Is my code hard to read?
My suggestion is to look into installing Roslynator or Sonarlint. Both are free and work with either Visual Studio or VS Code. With them you can right click on your solution and Run Analysis and it will give you a list of "code smells" and automatic fixes for many of them. They are great tools for any dev.
-
Visual Studio vs. Jetbrains Rider Performance
Roslynator while not exactly as good as full R# does a pretty good job for the analysis and refactoring hints imo. Paired with Intellicode + NCrunch (paid) so far has been a good enough experience for us.
-
Which code convention would you choose between these two as best practice?
I prefer the second and roslynator would give RCS1124: Inline local variable1 for the first one.
-
What NuGet packages do you automatically add
Roslynator.Analyzers
What are some alternatives?
Git Diff Margin - Git Diff Margin displays live Git changes of the currently edited file on Visual Studio margin and scroll bar. Supports Visual Studio 2012 through Visual Studio 2022
StyleCopAnalyzers - An implementation of StyleCop rules using the .NET Compiler Platform
OzCode - Demos that show the power of OzCode
sonar-dotnet-vscode - Sonar Dotnet is an Visual Studio Code extensions to C#
Refactoring Essentials - Refactoring Essentials for Visual Studio
omnisharp-roslyn - OmniSharp server (HTTP, STDIO) based on Roslyn workspaces
Side-Waffle - A collection of Item- and Project Templates for Visual Studio
VSColorOutput - Color highlighting to Visual Studio's Build and Debug Output Windows
AxoCover - Nice and free .Net code coverage support for Visual Studio with OpenCover.
Web Essentials - Visual Studio extension
VsVIM - Vim Emulator Plugin for Visual Studio 2015+