Test.CSharp.ModelAnalyzer
0.0.29
dotnet add package Test.CSharp.ModelAnalyzer --version 0.0.29
NuGet\Install-Package Test.CSharp.ModelAnalyzer -Version 0.0.29
<PackageReference Include="Test.CSharp.ModelAnalyzer" Version="0.0.29">
<PrivateAssets>all</PrivateAssets>
<IncludeAssets>runtime; build; native; contentfiles; analyzers</IncludeAssets>
</PackageReference>
paket add Test.CSharp.ModelAnalyzer --version 0.0.29
#r "nuget: Test.CSharp.ModelAnalyzer, 0.0.29"
// Install Test.CSharp.ModelAnalyzer as a Cake Addin
#addin nuget:?package=Test.CSharp.ModelAnalyzer&version=0.0.29
// Install Test.CSharp.ModelAnalyzer as a Cake Tool
#tool nuget:?package=Test.CSharp.ModelAnalyzer&version=0.0.29
ModelAnalyzer
Roslyn-based analysis of class models with informal contracts.
How to install
To install this analyzer, in Visual Studio:
- Open menu
Tools
→NuGet Package Manager
→Manage NuGet Packages for Solution
. TheNuGet - Solution
window appears. - In the top right corner, make sure
Package Source
is selected to be eithernuget.org
orAll
. - Click the
Browse
tab and in the search prompt typeModelAnalyzer
. - A list of packages appears, one one them called
CSharp.ModelAnalyzer
. - Click to select this package and in the right pane check projects you want to be analyzed.
- Click the
Install
button.
How to uninstall
To uninstall this analyzer, in Visual Studio:
- Open menu
Tools
→NuGet Package Manager
→Manage NuGet Packages for Solution
. TheNuGet - Solution
window appears. - Click to select the
CSharp.ModelAnalyzer
package and in the right pane uncheck projects you no longer want to be analyzed. - Click the
Uninstall
button.
Model Analysis
This analyzer looks for inconsistencies by creating a model of a class from the source code. The model is basically a big mathematical proof of consistency. The proof is then analyzed by a theorem solver, and if found true it proves the source is consistent (in some abstract sense).
Caveat
A big caveat to what might look like magic is that this analyzer only supports a very restricted subset of C# (see below for a list). Anything that is not supported prevents the analysis from starting and displays a warning.
Learn more about Target Frameworks and .NET Standard.
This package has no dependencies.
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
0.0.29 | 392 | 1/28/2023 |
0.0.28 | 386 | 1/28/2023 |
0.0.27 | 389 | 1/28/2023 |
0.0.26 | 447 | 1/2/2023 |
0.0.25 | 360 | 12/29/2022 |
0.0.24 | 309 | 12/20/2022 |
0.0.23 | 377 | 12/19/2022 |
0.0.22 | 338 | 12/19/2022 |
0.0.21 | 304 | 12/15/2022 |
0.0.20 | 320 | 12/15/2022 |
0.0.19 | 267 | 12/15/2022 |
0.0.18 | 291 | 12/14/2022 |
0.0.17 | 304 | 12/14/2022 |
0.0.16 | 304 | 12/14/2022 |
0.0.15 | 291 | 12/14/2022 |
0.0.14 | 289 | 12/14/2022 |
0.0.13 | 290 | 12/14/2022 |
0.0.12 | 272 | 12/14/2022 |
0.0.11 | 314 | 12/14/2022 |
0.0.10 | 286 | 12/14/2022 |
0.0.9 | 273 | 12/13/2022 |
0.0.8 | 284 | 12/13/2022 |
0.0.7 | 313 | 12/13/2022 |
0.0.6 | 321 | 12/13/2022 |
0.0.5 | 319 | 12/13/2022 |
0.0.4 | 285 | 12/13/2022 |
Initial package.