2023-08-29 12:57:46 +02:00
|
|
|
"""
|
|
|
|
show(io::IO, n::Node)
|
|
|
|
|
|
|
|
Print a short string representation of the node to io.
|
|
|
|
"""
|
2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, n::Node)
|
2023-11-22 13:51:54 +01:00
|
|
|
return print(io, "Node(", task(n), ")")
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|
|
|
|
|
2023-08-29 12:57:46 +02:00
|
|
|
"""
|
|
|
|
show(io::IO, e::Edge)
|
|
|
|
|
|
|
|
Print a short string representation of the edge to io.
|
|
|
|
"""
|
2023-08-24 15:11:54 +02:00
|
|
|
function show(io::IO, e::Edge)
|
2023-08-25 10:48:22 +02:00
|
|
|
return print(io, "Edge(", e.edge[1], ", ", e.edge[2], ")")
|
2023-08-24 15:11:54 +02:00
|
|
|
end
|
2023-09-05 12:14:41 +02:00
|
|
|
|
|
|
|
"""
|
|
|
|
to_var_name(id::UUID)
|
|
|
|
|
|
|
|
Return the uuid as a string usable as a variable name in code generation.
|
|
|
|
"""
|
|
|
|
function to_var_name(id::UUID)
|
2023-10-12 17:51:03 +02:00
|
|
|
str = "_" * replace(string(id), "-" => "_")
|
|
|
|
return str
|
2023-09-05 12:14:41 +02:00
|
|
|
end
|