Home » Modeling » EMF "Technology" (Ecore Tools, EMFatic, etc) » [Ecore Tools] Integration with EMF Validation and/or MDT OCL
[Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #530861] |
Sun, 02 May 2010 00:44 |
|
Hi Ecore Tools dev team,
First of all I want to congratulate you for the tool which keeps getting better every time
I'd like to ask you about the plans to integrate Ecore Tools with MDT OCL. Is this going to be done through the offered components in EMF Validation or is the component going to provide its own validation mechanism to work with OCL? You mention in the wiki plans to provide integration with EMF Validation, but I don't see any open bug for that; however 297650 talks about integration with org.eclipse.ocl. What is the goal of this integration? Is this documented anywhere?
Thanks a lot for your help!
-Juan
[Updated on: Sun, 02 May 2010 00:44] Report message to a moderator
|
|
|
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #530873 is a reply to message #530861] |
Sun, 02 May 2010 09:39 |
Ed Merks Messages: 33216 Registered: July 2009 |
Senior Member |
|
|
This is a multi-part message in MIME format.
--------------060100020905060507010101
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Juan,
Probably the new validation support added to EMF along with the OCL
project's exploitation of it will be of interest:
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
I think Ed Willink documented how to take advantage of that, but I
couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
"to" list of the reply.
Cheers,
Ed
Juan Cadavid wrote:
> Hi Ecore Tools dev team,
>
> First of all I want to congratulate you for the tool which keeps
> getting better every time :)
>
> I'd like to ask you about the plans to integrate Ecore Tools with MDT
> OCL. Is this going to be done through the offered components in EMF
> Validation or is the component going to provide its own validation
> mechanism to work with OCL? You mention in the wiki plans to provide
> integration with EMF Validation, but I don't see any open bug for
> that; however https://bugs.eclipse.org/297650 talks about integration
> with org.eclipse.ocl. What is the goal of this integration? Is this
> documented anywhere?
>
> Thanks a lot for your help!
>
> -Juan
--------------060100020905060507010101
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Juan,<br>
<br>
Probably the new validation support added to EMF along with the OCL
project's exploitation of it will be of interest:<a
href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701"><br>
</a>
<blockquote><a
href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701">https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701</a><br>
</blockquote>
I think Ed Willink documented how to take advantage of that, but I
couldn't find it on the OCL wiki, so I've added the OCL newsgroup to
the "to" list of the reply.<br>
<br>
Cheers,<br>
Ed<br>
<br>
<br>
Juan Cadavid wrote:
<blockquote cite="mid:hrihss$kmn$1@build.eclipse.org" type="cite">Hi
Ecore Tools dev team,
<br>
<br>
First of all I want to congratulate you for the tool which keeps
getting better every time :)
<br>
<br>
I'd like to ask you about the plans to integrate Ecore Tools with MDT
OCL. Is this going to be done through the offered components in EMF
Validation or is the component going to provide its own validation
mechanism to work with OCL? You mention in the wiki plans to provide
integration with EMF Validation, but I don't see any open bug for that;
however <a class="moz-txt-link-freetext" href="https://bugs.eclipse.org/297650">https://bugs.eclipse.org/297650</a> talks about integration with
org.eclipse.ocl. What is the goal of this integration? Is this
documented anywhere?
<br>
<br>
Thanks a lot for your help!
<br>
<br>
-Juan
<br>
</blockquote>
</body>
</html>
--------------060100020905060507010101--
Ed Merks
Professional Support: https://www.macromodeling.com/
|
|
|
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #531127 is a reply to message #530873] |
Mon, 03 May 2010 19:44 |
Ed Willink Messages: 7670 Registered: July 2009 |
Senior Member |
|
|
Hi Ed, Juan
The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
The first representation part is still valid.
The second editing part is not. It was written about six weeks ago since
when things have moved on a lot.
MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
editors for
- CompleteOCL which provides a OCL document to complement a meta-model
- OCLinEcore which provides a compound Ecore and OCL textual language
that may optional be loaded from/saved to an *.ecore file
- EssentialOCL a single expression for use in pop-ups
- OCLstdlib to define the OCL standard library
Watch this space/the Wiki for a revised write-up.
NB. The examples do not ship in the Helios Modeling EPP bundle, so you
need to load them from the MDT/OCL Update Site. Hopefully by Helios we
will have sorted out visibility through the Modeling Discovery UI.
Regards
Ed Willink
On 02/05/2010 10:39, Ed Merks wrote:
> Juan,
>
> Probably the new validation support added to EMF along with the OCL
> project's exploitation of it will be of interest:
> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>
> I think Ed Willink documented how to take advantage of that, but I
> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
> "to" list of the reply.
>
> Cheers,
> Ed
>
>
> Juan Cadavid wrote:
>> Hi Ecore Tools dev team,
>>
>> First of all I want to congratulate you for the tool which keeps
>> getting better every time :)
>>
>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>> OCL. Is this going to be done through the offered components in EMF
>> Validation or is the component going to provide its own validation
>> mechanism to work with OCL? You mention in the wiki plans to provide
>> integration with EMF Validation, but I don't see any open bug for
>> that; however https://bugs.eclipse.org/297650 talks about integration
>> with org.eclipse.ocl. What is the goal of this integration? Is this
>> documented anywhere?
>>
>> Thanks a lot for your help!
>>
>> -Juan
|
|
| |
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #532139 is a reply to message #531127] |
Fri, 07 May 2010 09:53 |
|
Hi Ed,
today I try to follow your wiki entry.
But I fails in the beginning.
After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
Example and try to open the ecore model with the OCLinEcore Editor.
I've got an event loop exception:
eclipse.buildId=I20100429-1549
java.version=1.6.0_17
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
Command-line arguments: -os win32 -ws win32 -arch x86
Error
Fri May 07 11:39:02 CEST 2010
Unhandled event loop exception
java.lang.AssertionError: Cyclic resolution of lazy links :
TypedTypeRefCS.type->TypedTypeRefCS.type
at
org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
at
org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
at
org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
at
org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
at
org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
at
org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
at
org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
at org.eclipse.ocl.examples...........
....
.....
......
Is it a bug, or what do I make wrong?
Greetings
Heiko
Am 03.05.2010 21:44, schrieb Ed Willink:
> Hi Ed, Juan
>
> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>
> The first representation part is still valid.
>
> The second editing part is not. It was written about six weeks ago since
> when things have moved on a lot.
>
> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
> editors for
>
> - CompleteOCL which provides a OCL document to complement a meta-model
> - OCLinEcore which provides a compound Ecore and OCL textual language
> that may optional be loaded from/saved to an *.ecore file
> - EssentialOCL a single expression for use in pop-ups
> - OCLstdlib to define the OCL standard library
>
> Watch this space/the Wiki for a revised write-up.
>
> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
> will have sorted out visibility through the Modeling Discovery UI.
>
> Regards
>
> Ed Willink
>
> On 02/05/2010 10:39, Ed Merks wrote:
>> Juan,
>>
>> Probably the new validation support added to EMF along with the OCL
>> project's exploitation of it will be of interest:
>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>
>> I think Ed Willink documented how to take advantage of that, but I
>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>> "to" list of the reply.
>>
>> Cheers,
>> Ed
>>
>>
>> Juan Cadavid wrote:
>>> Hi Ecore Tools dev team,
>>>
>>> First of all I want to congratulate you for the tool which keeps
>>> getting better every time :)
>>>
>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>> OCL. Is this going to be done through the offered components in EMF
>>> Validation or is the component going to provide its own validation
>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>> integration with EMF Validation, but I don't see any open bug for
>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>> documented anywhere?
>>>
>>> Thanks a lot for your help!
>>>
>>> -Juan
>
|
|
|
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #532266 is a reply to message #532139] |
Fri, 07 May 2010 18:02 |
Ed Willink Messages: 7670 Registered: July 2009 |
Senior Member |
|
|
Hi Heiko
I'm afraid that installing the Xtext editors is fraught with many
difficulties.
The underlying Xtext APIs changed between M6 and M7 so that an MDT/OCL
M7a is imminent to ensure M7 coherence.
Last night the M7 plugins were not yet in the staging area so installing
the trial M7a grabbed incompatible Xtext M6.
The load of *.ecore is limited to rather simple (no references to
another model) Ecore files. Bug already fixed, but not in M7a, which was
enough of a build trial without fixing bugs.
I'm afraid that in M7 the editors are a bit of a taster for treats in store.
Regards
Ed Willink
On 07/05/2010 10:53, Heiko wrote:
> Hi Ed,
> today I try to follow your wiki entry.
> But I fails in the beginning.
> After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
> Example and try to open the ecore model with the OCLinEcore Editor.
>
> I've got an event loop exception:
>
> eclipse.buildId=I20100429-1549
> java.version=1.6.0_17
> java.vendor=Sun Microsystems Inc.
> BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
> Command-line arguments: -os win32 -ws win32 -arch x86
>
>
> Error
> Fri May 07 11:39:02 CEST 2010
> Unhandled event loop exception
>
> java.lang.AssertionError: Cyclic resolution of lazy links :
> TypedTypeRefCS.type->TypedTypeRefCS.type
> at
> org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
>
> at
> org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
>
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
> at
> org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
>
> at
> org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
>
> at
> org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
>
> at org.eclipse.ocl.examples...........
>
> ...
> ....
> .....
>
>
> Is it a bug, or what do I make wrong?
>
>
> Greetings
>
> Heiko
>
>
> Am 03.05.2010 21:44, schrieb Ed Willink:
>> Hi Ed, Juan
>>
>> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>>
>> The first representation part is still valid.
>>
>> The second editing part is not. It was written about six weeks ago since
>> when things have moved on a lot.
>>
>> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
>> editors for
>>
>> - CompleteOCL which provides a OCL document to complement a meta-model
>> - OCLinEcore which provides a compound Ecore and OCL textual language
>> that may optional be loaded from/saved to an *.ecore file
>> - EssentialOCL a single expression for use in pop-ups
>> - OCLstdlib to define the OCL standard library
>>
>> Watch this space/the Wiki for a revised write-up.
>>
>> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
>> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
>> will have sorted out visibility through the Modeling Discovery UI.
>>
>> Regards
>>
>> Ed Willink
>>
>> On 02/05/2010 10:39, Ed Merks wrote:
>>> Juan,
>>>
>>> Probably the new validation support added to EMF along with the OCL
>>> project's exploitation of it will be of interest:
>>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>>
>>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>>
>>> I think Ed Willink documented how to take advantage of that, but I
>>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>>> "to" list of the reply.
>>>
>>> Cheers,
>>> Ed
>>>
>>>
>>> Juan Cadavid wrote:
>>>> Hi Ecore Tools dev team,
>>>>
>>>> First of all I want to congratulate you for the tool which keeps
>>>> getting better every time :)
>>>>
>>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>>> OCL. Is this going to be done through the offered components in EMF
>>>> Validation or is the component going to provide its own validation
>>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>>> integration with EMF Validation, but I don't see any open bug for
>>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>>> documented anywhere?
>>>>
>>>> Thanks a lot for your help!
>>>>
>>>> -Juan
>>
>
|
|
|
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #622549 is a reply to message #530873] |
Mon, 03 May 2010 19:44 |
Ed Willink Messages: 7670 Registered: July 2009 |
Senior Member |
|
|
Hi Ed, Juan
The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
The first representation part is still valid.
The second editing part is not. It was written about six weeks ago since
when things have moved on a lot.
MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
editors for
- CompleteOCL which provides a OCL document to complement a meta-model
- OCLinEcore which provides a compound Ecore and OCL textual language
that may optional be loaded from/saved to an *.ecore file
- EssentialOCL a single expression for use in pop-ups
- OCLstdlib to define the OCL standard library
Watch this space/the Wiki for a revised write-up.
NB. The examples do not ship in the Helios Modeling EPP bundle, so you
need to load them from the MDT/OCL Update Site. Hopefully by Helios we
will have sorted out visibility through the Modeling Discovery UI.
Regards
Ed Willink
On 02/05/2010 10:39, Ed Merks wrote:
> Juan,
>
> Probably the new validation support added to EMF along with the OCL
> project's exploitation of it will be of interest:
> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>
> I think Ed Willink documented how to take advantage of that, but I
> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
> "to" list of the reply.
>
> Cheers,
> Ed
>
>
> Juan Cadavid wrote:
>> Hi Ecore Tools dev team,
>>
>> First of all I want to congratulate you for the tool which keeps
>> getting better every time :)
>>
>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>> OCL. Is this going to be done through the offered components in EMF
>> Validation or is the component going to provide its own validation
>> mechanism to work with OCL? You mention in the wiki plans to provide
>> integration with EMF Validation, but I don't see any open bug for
>> that; however https://bugs.eclipse.org/297650 talks about integration
>> with org.eclipse.ocl. What is the goal of this integration? Is this
>> documented anywhere?
>>
>> Thanks a lot for your help!
>>
>> -Juan
|
|
| |
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #622853 is a reply to message #531127] |
Fri, 07 May 2010 09:53 |
techteam Messages: 55 Registered: September 2010 |
Member |
|
|
Hi Ed,
today I try to follow your wiki entry.
But I fails in the beginning.
After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
Example and try to open the ecore model with the OCLinEcore Editor.
I've got an event loop exception:
eclipse.buildId=I20100429-1549
java.version=1.6.0_17
java.vendor=Sun Microsystems Inc.
BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
Command-line arguments: -os win32 -ws win32 -arch x86
Error
Fri May 07 11:39:02 CEST 2010
Unhandled event loop exception
java.lang.AssertionError: Cyclic resolution of lazy links :
TypedTypeRefCS.type->TypedTypeRefCS.type
at
org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
at
org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
at
org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
at
org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
at
org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
at
org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
at
org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
at
org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
at org.eclipse.ocl.examples...........
....
.....
......
Is it a bug, or what do I make wrong?
Greetings
Heiko
Am 03.05.2010 21:44, schrieb Ed Willink:
> Hi Ed, Juan
>
> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>
> The first representation part is still valid.
>
> The second editing part is not. It was written about six weeks ago since
> when things have moved on a lot.
>
> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
> editors for
>
> - CompleteOCL which provides a OCL document to complement a meta-model
> - OCLinEcore which provides a compound Ecore and OCL textual language
> that may optional be loaded from/saved to an *.ecore file
> - EssentialOCL a single expression for use in pop-ups
> - OCLstdlib to define the OCL standard library
>
> Watch this space/the Wiki for a revised write-up.
>
> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
> will have sorted out visibility through the Modeling Discovery UI.
>
> Regards
>
> Ed Willink
>
> On 02/05/2010 10:39, Ed Merks wrote:
>> Juan,
>>
>> Probably the new validation support added to EMF along with the OCL
>> project's exploitation of it will be of interest:
>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>
>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>
>> I think Ed Willink documented how to take advantage of that, but I
>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>> "to" list of the reply.
>>
>> Cheers,
>> Ed
>>
>>
>> Juan Cadavid wrote:
>>> Hi Ecore Tools dev team,
>>>
>>> First of all I want to congratulate you for the tool which keeps
>>> getting better every time :)
>>>
>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>> OCL. Is this going to be done through the offered components in EMF
>>> Validation or is the component going to provide its own validation
>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>> integration with EMF Validation, but I don't see any open bug for
>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>> documented anywhere?
>>>
>>> Thanks a lot for your help!
>>>
>>> -Juan
>
|
|
|
Re: [Ecore Tools] Integration with EMF Validation and/or MDT OCL [message #622859 is a reply to message #532139] |
Fri, 07 May 2010 18:02 |
Ed Willink Messages: 7670 Registered: July 2009 |
Senior Member |
|
|
Hi Heiko
I'm afraid that installing the Xtext editors is fraught with many
difficulties.
The underlying Xtext APIs changed between M6 and M7 so that an MDT/OCL
M7a is imminent to ensure M7 coherence.
Last night the M7 plugins were not yet in the staging area so installing
the trial M7a grabbed incompatible Xtext M6.
The load of *.ecore is limited to rather simple (no references to
another model) Ecore files. Bug already fixed, but not in M7a, which was
enough of a build trial without fixing bugs.
I'm afraid that in M7 the editors are a bit of a taster for treats in store.
Regards
Ed Willink
On 07/05/2010 10:53, Heiko wrote:
> Hi Ed,
> today I try to follow your wiki entry.
> But I fails in the beginning.
> After installing Eclipse 3.6M7 and MDT/OCL 3.0M7 I generate the Library
> Example and try to open the ecore model with the OCLinEcore Editor.
>
> I've got an event loop exception:
>
> eclipse.buildId=I20100429-1549
> java.version=1.6.0_17
> java.vendor=Sun Microsystems Inc.
> BootLoader constants: OS=win32, ARCH=x86, WS=win32, NL=de_DE
> Command-line arguments: -os win32 -ws win32 -arch x86
>
>
> Error
> Fri May 07 11:39:02 CEST 2010
> Unhandled event loop exception
>
> java.lang.AssertionError: Cyclic resolution of lazy links :
> TypedTypeRefCS.type->TypedTypeRefCS.type
> at
> org.eclipse.xtext.linking.lazy.LazyLinkingResource.getEObjec t(LazyLinkingResource.java:76)
>
> at
> org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.getEObje ct(ResourceSetImpl.java:219)
>
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 202)
> at org.eclipse.emf.ecore.util.EcoreUtil.resolve(EcoreUtil.java: 262)
> at
> org.eclipse.emf.ecore.impl.BasicEObjectImpl.eResolveProxy(Ba sicEObjectImpl.java:1483)
>
> at
> org.eclipse.ocl.examples.xtext.base.baseCST.impl.TypedTypeRe fCSImpl.getType(TypedTypeRefCSImpl.java:96)
>
> at
> org.eclipse.ocl.examples.xtext.base.scoping.TypedTypeRefScop eAdapter.createContents(TypedTypeRefScopeAdapter.java:36)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.AbstractScopeAdapt er.getInclusiveInheritedContents(AbstractScopeAdapter.java:1 18)
>
> at
> org.eclipse.ocl.examples.xtext.base.scope.FilteredAccesses.a ddElementsOfScope(FilteredAccesses.java:58)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.addInheritedContents(ClassScopeAdapter.java:67)
>
> at
> org.eclipse.ocl.examples.xtext.oclinecore.scoping.ClassScope Adapter.createContents(ClassScopeAdapter.java:59)
>
> at org.eclipse.ocl.examples...........
>
> ...
> ....
> .....
>
>
> Is it a bug, or what do I make wrong?
>
>
> Greetings
>
> Heiko
>
>
> Am 03.05.2010 21:44, schrieb Ed Willink:
>> Hi Ed, Juan
>>
>> The write up is at http://wiki.eclipse.org/MDT/OCLinEcore
>>
>> The first representation part is still valid.
>>
>> The second editing part is not. It was written about six weeks ago since
>> when things have moved on a lot.
>>
>> MDT/OCL 3.0.0M7 (on Wednesday) will include Xtext-based 'example'
>> editors for
>>
>> - CompleteOCL which provides a OCL document to complement a meta-model
>> - OCLinEcore which provides a compound Ecore and OCL textual language
>> that may optional be loaded from/saved to an *.ecore file
>> - EssentialOCL a single expression for use in pop-ups
>> - OCLstdlib to define the OCL standard library
>>
>> Watch this space/the Wiki for a revised write-up.
>>
>> NB. The examples do not ship in the Helios Modeling EPP bundle, so you
>> need to load them from the MDT/OCL Update Site. Hopefully by Helios we
>> will have sorted out visibility through the Modeling Discovery UI.
>>
>> Regards
>>
>> Ed Willink
>>
>> On 02/05/2010 10:39, Ed Merks wrote:
>>> Juan,
>>>
>>> Probably the new validation support added to EMF along with the OCL
>>> project's exploitation of it will be of interest:
>>> <https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701>
>>>
>>> https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701
>>>
>>> I think Ed Willink documented how to take advantage of that, but I
>>> couldn't find it on the OCL wiki, so I've added the OCL newsgroup to the
>>> "to" list of the reply.
>>>
>>> Cheers,
>>> Ed
>>>
>>>
>>> Juan Cadavid wrote:
>>>> Hi Ecore Tools dev team,
>>>>
>>>> First of all I want to congratulate you for the tool which keeps
>>>> getting better every time :)
>>>>
>>>> I'd like to ask you about the plans to integrate Ecore Tools with MDT
>>>> OCL. Is this going to be done through the offered components in EMF
>>>> Validation or is the component going to provide its own validation
>>>> mechanism to work with OCL? You mention in the wiki plans to provide
>>>> integration with EMF Validation, but I don't see any open bug for
>>>> that; however https://bugs.eclipse.org/297650 talks about integration
>>>> with org.eclipse.ocl. What is the goal of this integration? Is this
>>>> documented anywhere?
>>>>
>>>> Thanks a lot for your help!
>>>>
>>>> -Juan
>>
>
|
|
|
Goto Forum:
Current Time: Thu Sep 19 04:43:41 GMT 2024
Powered by FUDForum. Page generated in 0.04055 seconds
|