test: test respecialize

Author: AayushSabharwal

test/basic_transformations.jl

@@ -1,5 +1,6 @@
 using ModelingToolkit, OrdinaryDiffEq, DataInterpolations, DynamicQuantities, Test
 using ModelingToolkitStandardLibrary.Blocks: RealInput, RealOutput
+using SymbolicUtils: symtype
 
 @independent_variables t
 D = Differential(t)
@@ -328,3 +329,57 @@ end
            D(x) ~ y]
     @test issetequal(equations(asys), eqs)
 end
+
+abstract type AbstractFoo end
+
+struct Bar <: AbstractFoo end
+struct Baz <: AbstractFoo end
+
+@testset "`respecialize`" begin
+    @parameters p::AbstractFoo p2(t)::AbstractFoo q[1:2]::AbstractFoo r
+    rp,
+    rp2 = let
+        only(@parameters p::Bar),
+        SymbolicUtils.term(operation(p2), arguments(p2)...; type = Baz)
+    end
+    @named sys1 = System(Equation[], t, [], [p, p2, q, r])
+
+    @test_throws ["completed systems"] respecialize(sys1)
+    @test_throws ["completed systems"] respecialize(sys1, [])
+    @test_throws ["split systems"] respecialize(complete(sys1; split = false))
+    @test_throws ["split systems"] respecialize(complete(sys1; split = false), [])
+
+    sys = complete(sys1)
+
+    @test_throws ["Parameter p", "associated value"] respecialize(sys)
+    @test_throws ["Parameter p", "associated value"] respecialize(sys, [p])
+
+    sys2 = respecialize(sys, [p => Bar()])
+    @test ModelingToolkit.iscomplete(sys2)
+    @test ModelingToolkit.is_split(sys2)
+    ps = ModelingToolkit.get_ps(sys2)
+    idx = findfirst(isequal(rp), ps)
+    @test defaults(sys2)[rp] == Bar()
+    @test symtype(ps[idx]) <: Bar
+    ic = ModelingToolkit.get_index_cache(sys2)
+    @test any(x -> x.type == Bar && x.length == 1, ic.nonnumeric_buffer_sizes)
+
+    defaults(sys)[p2] = Baz()
+    sys2 = respecialize(sys, [p => Bar()]; all = true)
+    @test ModelingToolkit.iscomplete(sys2)
+    @test ModelingToolkit.is_split(sys2)
+    ps = ModelingToolkit.get_ps(sys2)
+    idx = findfirst(isequal(rp2), ps)
+    @test defaults(sys2)[rp2] == Baz()
+    @test symtype(ps[idx]) <: Baz
+    ic = ModelingToolkit.get_index_cache(sys2)
+    @test any(x -> x.type == Baz && x.length == 1, ic.nonnumeric_buffer_sizes)
+    delete!(defaults(sys), p2)
+
+    @test_throws ["Numeric types cannot be respecialized"] respecialize(sys, [r => 1])
+    @test_throws ["array symbolics"] respecialize(sys, [q => Bar[Bar(), Bar()]])
+    @test_throws ["scalarized array"] respecialize(sys, [q[1] => Bar()])
+
+    @parameters foo::AbstractFoo
+    @test_throws ["does not exist"] respecialize(sys, [foo => Bar()])
+end