Skip to main content



      Home
Home » Modeling » TMF (Xtext) » How Parse(Unparse(Model)) == Model?
How Parse(Unparse(Model)) == Model? [message #902300] Thu, 16 August 2012 17:05
Eclipse UserFriend
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:
  


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

Powered by FUDForum. Page generated in 0.06563 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top