Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » TMF (Xtext) » How Parse(Unparse(Model)) == Model?
How Parse(Unparse(Model)) == Model? [message #902300] Thu, 16 August 2012 21:05
Stefan Kuhn is currently offline Stefan KuhnFriend
Messages: 8
Registered: July 2009
Junior Member
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: Thu Dec 03 23:21:20 GMT 2020

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

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

Back to the top