Eclipse Community Forums: TMF (Xtext) » How Parse(Unparse(Model)) == Model?

Home » Modeling » TMF (Xtext) » How Parse(Unparse(Model)) == Model?

How Parse(Unparse(Model)) == Model? [message #902300]

Thu, 16 August 2012 17:05

Eclipse User

I found in the documentation following sentence:

"The contract of serialization says that a model which is saved (serialized) to its textual representation and then loaded (parsed) again yields a new model that is equal to the original model."
in short
Parse(Unparse(Model)) == Model

What's the foundation of this statement? Why does it hold? Is there any formal proof?

Previous Topic:	JvmIdentifiableElement
Next Topic:	Reload model after changing it in the background

Goto Forum:

-=] Back to Top [=-

Current Time: Mon Jul 07 22:29:24 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter