9 lines
No EOL
338 B
Python
9 lines
No EOL
338 B
Python
from uuid import UUID
|
|
from concrete_syntax.textual_od import parser, renderer
|
|
from concrete_syntax.common import indent
|
|
|
|
# Clones an object diagram
|
|
def clone_od(state, m: UUID, mm: UUID):
|
|
# cheap-ass implementation: render and parse
|
|
cs = renderer.render_od(state, m, mm, hide_names=False)
|
|
return parser.parse_od(state, cs, mm) |