cleanup api

Author: joaquimg

src/ModelAnalyzer.jl

@@ -143,18 +143,14 @@ Return the value associated to a particular issue. The value is a number
 with a different meaning depending on the type of issue. For example, for
 some numerical issues, it can be the coefficient value.
 """
-function value(issue::AbstractIssue, ::MOI.ModelLike)
-    return value(issue)
-end
+function value end
 
 """
     values(issue::AbstractIssue)
 
 Return the values associated to a particular issue.
 """
-function values(issue::AbstractIssue, ::MOI.ModelLike)
-    return values(issue)
-end
+function values end
 
 """
     variable(issue::AbstractIssue)
@@ -197,9 +193,7 @@ end
 
 Return the set associated to a particular issue.
 """
-function set(issue::AbstractIssue, ::MOI.ModelLike)
-    return set(issue)
-end
+function set end
 
 function _verbose_summarize end
 

test/infeasibility.jl

@@ -481,6 +481,9 @@ function test_iis_interval_left()
     iis = ModelAnalyzer.constraints(ret[], model)
     @test length(iis) == 2
     @test Set(iis) == Set([c2, c1])
+    iis = ModelAnalyzer.constraints(ret[], JuMP.backend(model))
+    @test length(iis) == 2
+    @test Set(iis) == Set(JuMP.index.([c2, c1]))
     return
 end
 

test/numerical.jl

@@ -367,6 +367,7 @@ function test_dense_constraint()
     )
     @test length(ret) == 1
     @test ModelAnalyzer.constraint(ret[]) == JuMP.index(c)
+    @test ModelAnalyzer.constraint(ret[], JuMP.backend(model)) == JuMP.index(c)
     @test ModelAnalyzer.constraint(ret[], model) == c
     @test ModelAnalyzer.value(ret[]) == 10_000
     #
@@ -405,6 +406,7 @@ function test_small_matrix_coef()
     @test length(ret) == 1
     @test ModelAnalyzer.constraint(ret[], model) == c
     @test ModelAnalyzer.variable(ret[], model) == x
+    @test ModelAnalyzer.variable(ret[], JuMP.backend(model)) == JuMP.index(x)
     @test ModelAnalyzer.value(ret[]) == 1e-9
     #
     buf = IOBuffer()
@@ -713,6 +715,8 @@ function test_small_objective_coef_quad()
     )
     @test length(ret) == 1
     @test ModelAnalyzer.variables(ret[], model) == [x, x]
+    @test ModelAnalyzer.variables(ret[], JuMP.backend(model)) ==
+          JuMP.index.([x, x])
     @test_broken ModelAnalyzer.value(ret[]) == 1e-9 # 2e-9 TODO, what to return here
     #
     buf = IOBuffer()