| [QVTO] Example of a where-clause for a mapping operation [message #643264] |
Mon, 06 December 2010 10:19 |
 Tassilo Horn
Messages: 93
Registered: July 2009 |
Member |
|
|
Hi all,
I'm a bit curious about the application of where-clauses that can be
specified for mapping operations. Since the QVT-spec only defines them
by referencing the Relations language (i.e. the when and where clause to
a mapping correspond to a implicit relation with these clauses), I'm not
sure how they work.
The Relations example in the spec shows its usage as "to make this
relation hold, also the relation in the where has to hold", so it
provides a kind of explicit invocation of another relation. But with
mappings, I don't see how that concept matches...
Especially, since the where-clause is said to contain a postcondition,
what's the semantics of a mapping like
mapping Foo::bar() : Baz
where { false }
{ ... }
And since the QVTO implementation of the M2M project does not translate
to relations (I guess), is that feature supported at all?
If someone could provide an example for a where-clause (or a pointer to
an example), that would be great.
Bye,
Tassilo
--
Dipl.-Inform. Tassilo Horn | Room: B015
University of Koblenz-Landau, Campus Koblenz | Phone: +49 (261) 287-2745
Institute for Software Technology | Mail: horn@uni-koblenz.de
Universitätsstr. 1, 56070 Koblenz, Germany |
|
|
|
Powered by
FUDForum. Page generated in 0.02287 seconds
] 
Search
Help
Register
Login
Home
