muMLE/transformation/cloner.py

8 lines
No EOL
296 B
Python

from uuid import UUID
from concrete_syntax.textual_od import parser, renderer
# 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)