Hi, Following part of the OCL norm for package clause usage.
7.3.5 Package Context
The above context declaration is precise enough when the package in which
the Classifier belongs is clear from the environment. To specify explicitly
in which package invariant, pre or postcondition Constraints belong, these
constraints can be enclosed between 'package' and 'endpackage' statements.
The package statements have the syntax:
package Package::SubPackage
context X inv:
... some invariant ...
context X::operationName(..)
pre: ... some precondition ...
endpackage
An OCL file (or stream) may contain any number package statements, thus
allowing all invariant, preconditions, and postconditions to be written and
stored in one file. This file may co-exist with a UML model as a separate
entity.
FYI
Christophe
-----Message d'origine-----
De : [email protected]
[mailto:[email protected]]de la part de
[email protected]
Envoyé : lundi 20 avril 2009 13:05
À : [email protected]
Objet : Re: [Topcased-users] OCL and many EPackages
Hi ok i didn't know package instruction
i'm waiting for last modifications :)
regards
Tristan
[email protected] a écrit :
Hello,
OCL clause "package" then "endpackage" could help you to catch embedded
classifiers to dispose of completion on contexts.
Some enhancements on package navigation have been made for the next
version available on April 30th.
Send to us your complementary needs.
Regards
Christophe
-----Message d'origine-----
De : [email protected]
[mailto:[email protected]]de la part de
[email protected]
Envoyé : vendredi 17 avril 2009 12:03
À : [email protected]
Objet : Re: [Topcased-users] OCL and many EPackages
It's the problem i knew that each EPackage can be identify as a stand
alone meta model but i don't know how work OCL about this case :(
Regards
Tristan
[email protected] a écrit :
EMF will generate a different nsURI for each EPackage. So I think
you need to specify each nsURI, or probably better, use a single EPackage in
your model that contains all your EClasses. ;-)
Regards,
Jacques
[email protected] a écrit :
Hi !
I have designed a metamodel with some EPackages inside.
Metamodel A
+ Epackage AA
+ Eclass x
+ Epackage AB
+ EClass y
+ Epackage AC
+ EClass z
I've generated API with EMF and i wanted to write ocl rules.
If i reference the uri of my top level metamodel (in my example A)
in wizard i don't see in topcased editor auto completion dialog the EClasses
contained in my EPackages (for example x).
Is it a bug or is it normal ?
Regards
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
--
Jacques LESCOT
Project Manager
Eclipse Technical Expert
[email protected]
Standard : +33(0)5 61 00 52 90
Direct : +33(0)5 61 00 06 60
Mobile : +33(0)6 74 49 23 34
Fax : +33(0)5 61 00 51 46 Anyware Technologies
Lake Park
ZAC de l'Hers - Allée du Lac
BP 87216
31672 Labège Cedex
France
www.anyware-tech.com
This message and any attachments (the "Message") are confidential
and intended solely for the addressees.
Any unauthorized modification, edition, use or dissemination is
prohibited.
Neither Anyware Technologies nor its headquarters Wavecom shall be
liable for the Message if altered, changed, falsified or edited, diffused
without authorization.
------------------------------------------------------------------------
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users-------------
---------------------------------------------------------------
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
<<ATT00198.jpg>>
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
