2023-08-29 12:57:46 +02:00
|
|
|
"""
|
|
|
|
show(io::IO, diff::Diff)
|
|
|
|
|
|
|
|
Pretty-print a [`Diff`](@ref). Called via print, println and co.
|
|
|
|
"""
|
2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, diff::Diff)
|
2023-08-25 10:48:22 +02:00
|
|
|
print(io, "Nodes: ")
|
|
|
|
print(io, length(diff.addedNodes) + length(diff.removedNodes))
|
2023-10-12 17:51:03 +02:00
|
|
|
print(io, ", Edges: ")
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, length(diff.addedEdges) + length(diff.removedEdges))
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|