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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Thu, 16 August 2012 21:05

Stefan Kuhn

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?

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Dec 03 23:21:20 GMT 2020

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter