Merge pull request #36 from AlgebraicJulia/llm/testshow

Test UWD show
AlgebraicJulia · Feb 2, 2024 · 4233ccd · 4233ccd
2 parents 849b244 + c923919
commit 4233ccd
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/test/uwd_examples.jl b/test/uwd_examples.jl
@@ -59,6 +59,15 @@ mexpr′ = readback(mexpr)
  # @test mexpr == mexpr′
 end
 
+@testset "UWD show" begin
+ @test sprint(show, u) == 
+ "{ R(x:X, y:Y)\n S(y:Y, z:Z)\n T(z:Z, y:Y, u) } where {x:X, z:Z}"
+ @test sprint(show, JSON3.read(JSON3.write(u), UWDTerm)) == 
+ "{ R(x:X, y:Y)\n S(y:Y, z:Z)\n T(z:Z, y:Y, u) } where {x:X, z:Z}"
+ @test sprint(show, mexpr) ==
+ "\"\"\"\nASKE Model Representation: rst_relationv0.1 :: UWDExpr \n modelreps.io/UWD\n\nA demo UWD showing generic relation composition\n\"\"\"\nUWD:\n{ R(x:X, y:Y)\n S(y:Y, z:Z)\n T(z:Z, y:Y, u) } where {x:X, z:Z}"
+end
+
 to_graphviz(uwd, box_labels=:name, junction_labels=:variable)
 
-display(uwd)
+display(uwd)