3 analyzers - numerical, feasibility, infeasibility

Author: joaquimg

Project.toml

@@ -3,12 +3,13 @@ uuid = "d1179b25-476b-425c-b826-c7787f0fff83"
 version = "0.1.0"
 
 [deps]
-DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
+Dualization = "191a621a-6537-11e9-281d-650236a99e60"
 JuMP = "4076af6c-e467-56ae-b986-b466b2749572"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
-OrderedCollections = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"
 Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
 
 [compat]
+Dualization = "0.5.9"
+JuMP = "1.24.0"
 MathOptInterface = "1.37.0"

src/ModelAnalyzer.jl

@@ -4,4 +4,60 @@
 # in the LICENSE.md file or at https://opensource.org/licenses/MIT.
 
 module ModelAnalyzer
+
+abstract type AbstractIssue end
+
+abstract type AbstractData end
+
+abstract type AbstractAnalyzer end
+
+function summarize(io::IO, ::Type{T}; verbose = true) where {T<:AbstractIssue}
+    if verbose
+        return _verbose_summarize(io, T)
+    else
+        return _summarize(io, T)
+    end
+end
+
+function summarize(io::IO, issue::AbstractIssue; verbose = true)
+    if verbose
+        return _verbose_summarize(io, issue)
+    else
+        return _summarize(io, issue)
+    end
+end
+
+function summarize(
+    io::IO,
+    issues::Vector{T};
+    verbose = true,
+    max_issues = typemax(Int),
+) where {T<:AbstractIssue}
+    summarize(io, T, verbose = verbose)
+    print(io, "\n## Number of issues\n\n")
+    print(io, "Found ", length(issues), " issues")
+    print(io, "\n\n## List of issues\n\n")
+    for issue in first(issues, max_issues)
+        print(io, " * ")
+        summarize(io, issue, verbose = verbose)
+        print(io, "\n")
+    end
+    return
+end
+
+function summarize(data::AbstractData; kwargs...)
+    return summarize(stdout, data; kwargs...)
+end
+
+function analyze end
+function list_of_issues end
+function list_of_issue_types end
+
+function _verbose_summarize end
+function _summarize end
+
+include("numerical.jl")
+include("feasibility.jl")
+include("infeasibility.jl")
+
 end